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)
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Conformance Testing Techniques for Timed Systems
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Formal Design of Distributed Control Systems with Lustre
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Computer-assisted assume/guarantee reasoning with VeriSoft
Proceedings of the 25th International Conference on Software Engineering
Specification-Based Testing for Real-Time Reactive Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Test Purposes: Adapting the Notion of Specification to Testing
Proceedings of the 16th IEEE international conference on Automated software engineering
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
Property-Oriented Test Generation from UML Statecharts
Proceedings of the 19th IEEE international conference on Automated software engineering
Structural test coverage criteria for lustre programs
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Translating discrete-time simulink to lustre
ACM Transactions on Embedded Computing Systems (TECS)
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
EPspectra: a formal toolkit for developing DSP software applications
Theory and Practice of Logic Programming
Virtual execution of AADL models via a translation into synchronous programs
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Automatic generation of test data generators for synchronous programs: Lutess V2
Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting
Towards Mutation Analysis for Lustre Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying and Executing Reactive Scenarios With Lutin
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Communication with Synchronized Environments
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Executable Contracts for Incremental Prototypes of Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Test Selection Strategies for Lustre Descriptions in GATeL
Electronic Notes in Theoretical Computer Science (ENTCS)
Running-modes of real-time systems: a case-study with mode-automata
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Structural test coverage criteria for integration testing of LUSTRE/SCADE programs
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Integrated tool for testing timed systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Conformance testing of real-time component based systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
A new approach in model-based testing: designing test models in TTCN-3
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
A comparison of distributed test generation techniques
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Argos: an automaton-based synchronous language
Computer Languages
Modeling Communication with Synchronized Environments
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Efficient coverage of parallel and hierarchical stateflow models for test case generation
Software Testing, Verification & Reliability
| Hi-index | 0.00 |