Verification of a production cell controller using symbolic timing diagrams
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Proving the correctness of reactive systems using sized types
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hardware synthesis from requirement specifications
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
ICSE '97 Proceedings of the 19th international conference on Software engineering
Synthesising controllers from real-time specifications
ISSS '97 Proceedings of the 10th international symposium on System synthesis
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
A distributed object-oriented framework for dependable multiparty interactions
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation
Formal Methods in System Design
Classification schemes to aid in the analysis of real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Implementing LTL model checking with net unfoldings
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
On the construction of a domain language for a class of reactive systems
High integrity software
A refinement-based approach to deriving train controllers
High integrity software
Using virtual reality to validate system models
High integrity software
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Proof assistance for real-time systems using an interactive theorem prover
Theoretical Computer Science
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Mode-automata: a new domain-specific construct for the development of safe critical systems
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
A Case Study in Statistical Testing of Reusable Concurrent Objects
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Task.o object modeling approach for robot workcell programming
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Decomposing Real-Time Specifications
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Net Reductions for LTL Model-Checking
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Generalizing Action Systems to Hybrid Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Model Checking Generic Container Implementations
Selected Papers from the International Seminar on Generic Programming
MATOU: An Implementation of Mode-Automata
CC '00 Proceedings of the 9th International Conference on Compiler Construction
Encoding Abstract State Machines in PVS
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Towards Automated Proof of Fail-Safe Behaviour
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Continuous action systems as a model for hybrid systems
Nordic Journal of Computing
Code synthesis for timed automata
Nordic Journal of Computing
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A "Coming and Going" Approach to Specification Construction: A Scenario
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A Graphical Language for Specifying and Analyzing Real-Time Systems
Integrated Computer-Aided Engineering
Synthesis of live behaviour models
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Combining symbolic representations for solving timed games
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Visual temporal logic as a rapid prototyping tool
Computer Languages
Synthesis of event-based controllers: a software engineering challenge
Proceedings of the 34th International Conference on Software Engineering
| Hi-index | 0.00 |