Works matching DE "FORMAL methods (Computer science)"
Results: 132
Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2008, v. 36, n. 11/12, p. 1180, doi. 10.1007/s00170-006-0924-5
- By:
- Publication type:
- Article
Bringing Coq into the World of GCM Distributed Applications.
- Published in:
- International Journal of Parallel Programming, 2014, v. 42, n. 4, p. 643, doi. 10.1007/s10766-013-0264-7
- By:
- Publication type:
- Article
Specification and Verification in Integrated Model of Distributed Systems (IMDS).
- Published in:
- Computers (2073-431X), 2018, v. 7, n. 4, p. 65, doi. 10.3390/computers7040065
- By:
- Publication type:
- Article
A modular formal semantics for Ptolemy.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 834, doi. 10.1017/S0960129512000278
- By:
- Publication type:
- Article
Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 675, doi. 10.1017/S0960129513000145
- By:
- Publication type:
- Article
A formal approach to collaborative modelling and co-simulation for embedded systems.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 726, doi. 10.1017/S0960129512000242
- By:
- Publication type:
- Article
Correct‐by‐construction specification to verified code.
- Published in:
- Journal of Software: Evolution & Process, 2018, v. 30, n. 10, p. N.PAG, doi. 10.1002/smr.1959
- By:
- Publication type:
- Article
Quantitative and qualitative safety analysis of a hemodialysis machine with S#.
- Published in:
- Journal of Software: Evolution & Process, 2018, v. 30, n. 5, p. 1, doi. 10.1002/smr.1942
- By:
- Publication type:
- Article
A systematic literature reviewof the use of formalmethods in medical software systems.
- Published in:
- Journal of Software: Evolution & Process, 2018, v. 30, n. 5, p. 1, doi. 10.1002/smr.1943
- By:
- Publication type:
- Article
Process and progress of requirement formalization in Software Engineering.
- Published in:
- INGENIARE - Revista Chilena de Ingeniería, 2020, v. 28, n. 3, p. 411
- By:
- Publication type:
- Article
Certification of open-source software: A role for formal methods?
- Published in:
- Computer Systems Science & Engineering, 2010, v. 25, n. 3, p. 273
- By:
- Publication type:
- Article
LATTICED SIMULATION RELATIONS AND GAMES.
- Published in:
- International Journal of Foundations of Computer Science, 2010, v. 21, n. 2, p. 167, doi. 10.1142/S0129054110007192
- By:
- Publication type:
- Article
ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES.
- Published in:
- International Journal of Foundations of Computer Science, 2010, v. 21, n. 2, p. 191, doi. 10.1142/S0129054110007209
- By:
- Publication type:
- Article
P SYSTEMS WITH SINGLE PASSENGER CARRIERS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1227, doi. 10.1142/S0129054107005273
- By:
- Publication type:
- Article
Testing Pre and Post Conditions with Predicate Logic for Database Components.
- Published in:
- CURIE Journal, 2009, v. 2, n. 3, p. 53
- By:
- Publication type:
- Article
Towards Interaction Reliability in Concurrent Applications.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 1, p. 1, doi. 10.7561/SACS.2012.1.1
- By:
- Publication type:
- Article
Concurrency and Interaction in Complex Systems.
- Published in:
- Scientific Annals of Computer Science, 2011, v. 21, n. 1, p. 1
- By:
- Publication type:
- Article
The Right Fidelity: Representations That Speed Up Innovation Processes.
- Published in:
- Design Management Journal, 2015, v. 10, n. 1, p. 14, doi. 10.1111/dmj.12019
- By:
- Publication type:
- Article
A Method to Analyze Predicate Transition Nets Using SPIN Model Checker.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 9/10, p. 1455, doi. 10.1142/S021819401740006X
- By:
- Publication type:
- Article
A COMPREHENSIVE SURVEY OF PETRI NET MODELING IN SOFTWARE ENGINEERING.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2013, v. 23, n. 5, p. 589, doi. 10.1142/S021819401340010X
- By:
- Publication type:
- Article
FORMAL ANALYSIS OF UML 2.0 ACTIVITIES USING GRAPH TRANSFORMATION SYSTEMS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 5, p. 679, doi. 10.1142/S0218194010004918
- By:
- Publication type:
- Article
PROOF SCORE APPROACH TO ANALYSIS OF ELECTRONIC COMMERCE PROTOCOLS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 2, p. 253, doi. 10.1142/S0218194010004712
- By:
- Publication type:
- Article
MODELING AND ANALYSIS OF PERFORMANCE ASPECTS FOR SOFTWARE ARCHITECTURE:: A UML-BASED APPROACH.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2006, v. 16, n. 3, p. 347, doi. 10.1142/S0218194006002835
- By:
- Publication type:
- Article
Component-Based Verification in a Synchronous Setting.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2001, v. 11, n. 2, p. 181, doi. 10.1142/S0218194001000463
- By:
- Publication type:
- Article
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 1999, v. 9, n. 2, p. 233, doi. 10.1142/S0218194099000152
- By:
- Publication type:
- Article
Automated formal verification for flexible manufacturing systems.
- Published in:
- Journal of Intelligent Manufacturing, 2014, v. 25, n. 5, p. 1181, doi. 10.1007/s10845-013-0760-z
- By:
- Publication type:
- Article
Tool Support for Estimating the Memory Usage of Mobile Phone Software.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 531, doi. 10.1007/s10009-006-0012-z
- By:
- Publication type:
- Article
Formal and experimental validation approaches in HCI systems design based on a shared event B model.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 547, doi. 10.1007/s10009-006-0008-8
- By:
- Publication type:
- Article
Experiences applying formal approaches in the development of swarm-based space exploration systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 587, doi. 10.1007/s10009-006-0027-5
- By:
- Publication type:
- Article
Special Section on “Leveraging Formal Methods”.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 467, doi. 10.1007/s10009-006-0028-4
- By:
- Publication type:
- Article
Putting it all together – Formal verification of the VAMP.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 411, doi. 10.1007/s10009-006-0204-6
- By:
- Publication type:
- Article
Formally specifying CARA in Java.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 331, doi. 10.1007/s10009-003-0124-7
- By:
- Publication type:
- Article
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 320, doi. 10.1007/s10009-003-0137-2
- By:
- Publication type:
- Article
Unit verification: the CARA experience.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 351, doi. 10.1007/s10009-003-0134-5
- By:
- Publication type:
- Article
Formal methods software engineering for the CARA system.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 301, doi. 10.1007/s10009-003-0113-x
- By:
- Publication type:
- Article
Supertotal Function Definition in Mathematics and Software Engineering.
- Published in:
- IEEE Transactions on Software Engineering, 2000, v. 26, n. 7, p. 662, doi. 10.1109/32.859534
- By:
- Publication type:
- Article
Selected Papers from the Second IFIP Int'l Conference on Formal Method for Open Object Based Distributed Systems, 1997.
- Published in:
- IEEE Transactions on Software Engineering, 2000, v. 26, n. 7, p. 577, doi. 10.1109/TSE.2000.859528
- By:
- Publication type:
- Article
A Theory-Based Representation for Object-Orianted Domain Models.
- Published in:
- IEEE Transactions on Software Engineering, 2000, v. 26, n. 6, p. 500, doi. 10.1109/32.852740
- By:
- Publication type:
- Article
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms.
- Published in:
- IEEE Transactions on Software Engineering, 1999, v. 25, n. 5, p. 651, doi. 10.1109/32.815324
- By:
- Publication type:
- Article
Data minimisation in communication protocols: a formal analysis framework and application to identity management.
- Published in:
- International Journal of Information Security, 2014, v. 13, n. 6, p. 529, doi. 10.1007/s10207-014-0235-z
- By:
- Publication type:
- Article
Specifying and implementing privacy-preserving cryptographic protocols.
- Published in:
- International Journal of Information Security, 2008, v. 7, n. 6, p. 395, doi. 10.1007/s10207-008-0057-y
- By:
- Publication type:
- Article
CSL4P: A Contract Specification Language for Platforms.
- Published in:
- Systems Engineering, 2017, v. 20, n. 3, p. 220, doi. 10.1002/sys.21386
- By:
- Publication type:
- Article
A Review of the Methods for the Dependability Assessment of WSNs: Towards a New Approach.
- Published in:
- Adhoc & Sensor Wireless Networks, 2016, v. 33, n. 1-4, p. 223
- By:
- Publication type:
- Article
A Tale of Two Maps: Analysis of the London Underground "Diagram".
- Published in:
- Ergonomics in Design, 2013, v. 21, n. 3, p. 7, doi. 10.1177/1064804613489125
- By:
- Publication type:
- Article
An empirical study of test generation with BETA.
- Published in:
- Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0048-1
- By:
- Publication type:
- Article
Experience of using a lightweight formal specification method for a commercial embedded system product line.
- Published in:
- Requirements Engineering, 2005, v. 10, n. 2, p. 161, doi. 10.1007/s00766-004-0209-1
- By:
- Publication type:
- Article
Specifying and analyzing early requirements in Tropos.
- Published in:
- Requirements Engineering, 2004, v. 9, n. 2, p. 132, doi. 10.1007/s00766-004-0191-7
- By:
- Publication type:
- Article
A formal method for improving the transient behaviour of a non-linear flexible link.
- Published in:
- Mathematical & Computer Modelling of Dynamical Systems, 2011, v. 17, n. 1, p. 3, doi. 10.1080/13873954.2010.537508
- By:
- Publication type:
- Article
Removing dead transitions in timed-arc Petri nets.
- Published in:
- Mathematical & Computer Modelling of Dynamical Systems, 2009, v. 15, n. 1, p. 69, doi. 10.1080/13873950802416332
- By:
- Publication type:
- Article
Formal Specification of QoS Negotiation in ODP System.
- Published in:
- International Journal of Electrical & Computer Engineering (2088-8708), 2017, v. 7, n. 4, p. 2045, doi. 10.11591/ijece.v7i4.pp2045-2053
- By:
- Publication type:
- Article