Synthesising controllers from real-time specifications
ISSS '97 Proceedings of the 10th international symposium on System synthesis
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
A Process Algebra for Real-Time Programs
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Real-Time Constraints Through the ProCoS Layers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
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)
Formal Methods for the International Space Station ISS
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Decomposing Real-Time Specifications
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
UniForM Perspectives for Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
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
Automated synthesis of Ladder automation circuits based on state-diagrams
Advances in Engineering Software
On the use of organisation modelling techniques to address biological organisation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Model-Based Implementation of Real-Time Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Automated synthesis of Ladder automation circuits based on state-diagrams
Advances in Engineering Software
Integrated behavior models for factory automation systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Translatable finite state time machine
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Verification and implementation of software for dependable controllers
International Journal of Critical Computer-Based Systems
Automatic code generation for PLC controllers
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Automated evaluation of coordination approaches
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
| Hi-index | 0.00 |