Synthesising controllers from real-time specifications
ISSS '97 Proceedings of the 10th international symposium on System synthesis
The ProCoS Approach to Correct Systems
Real-Time Systems - Special issue on safety-critical systems
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
An Approach to the Specification and Verification of a Hardware Compilation Scheme
The Journal of Supercomputing
An algebraic hardware/software partitioning algorithm
Journal of Computer Science and Technology
Correct Real-Time Software for Programmable Logic Controllers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Hardware/Software Partitioning in Verilog
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Decomposing Real-Time Specifications
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Integration of Analog and Discrete Synchronous Design
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
The UniForM Workbench, a Universal Development Environment for Formal Methods
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A Formal Model of Real-Time Program Compilation
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
Proving make correct: I/O proofs in Haskell and clean
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Formal methods and hybrid real-time systems
Truth of Duration Calculus Formulae in Timed Frames
Fundamenta Informaticae
A relational approach to an algebraic community: from paul erdős to he jifeng
Theories of Programming and Formal Methods
Proving safety of traffic manoeuvres on country roads
Theories of Programming and Formal Methods
Towards a modeling language for cyber-physical systems
Theories of Programming and Formal Methods
| Hi-index | 0.00 |