Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synthesising controllers from real-time specifications
ISSS '97 Proceedings of the 10th international symposium on System synthesis
Providing automated support to deductive analysis of time critical systems
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
A software synthesis tool for distributed embedded system design
Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
IEEE Transactions on Computers
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proof assistance for real-time systems using an interactive theorem prover
Theoretical Computer Science
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Applying RT-Z to Develop Safety-Critical Systems
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
A Framework for Embedded Real-Time System Design
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
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)
Decomposing Real-Time Specifications
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Constructing Test Automata from Graphical Real-Time Requirements
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Introducing Object Validation and Navigation in Software Process to Improve Software Quality
PROFES '02 Proceedings of the 4th International Conference on Product Focused Software Process Improvement
Real-Time Synchronised Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Confessions of a formal methodist
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Requirements interaction management
ACM Computing Surveys (CSUR)
A general framework for reasoning about change
New Generation Computing
Analysis of VME-Bus communication protocol - RTCP-net approach
Real-Time Systems
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Cooperability In Train Control Systems: Specification Of Scenarios Using Open Nets
Journal of Integrated Design & Process Science
Recognition of action meeting videos using timed automata
Machine Graphics & Vision International Journal
Early quality monitoring in the development of real-time reactive systems
Journal of Systems and Software
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Development of Safety-Critical Systems with RTCP-Nets Support
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
A Topology Based Approach for Context-Awareness in Smart Environments
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
A Metric Encoding for Bounded Model Checking
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Verification of Web Services with Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards increased road safety: real-time decision making for driverless city vehicles
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Towards a tool for generating aspects from MEDL and PEDL specifications for runtime verification
RV'07 Proceedings of the 7th international conference on Runtime verification
Formal specification of wireless and pervasive healthcare applications
ACM Transactions on Embedded Computing Systems (TECS)
A theory of sampling for continuous-time metric temporal logic
ACM Transactions on Computational Logic (TOCL)
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Automatic translation of WS-CDL choreographies to timed automata
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Analysis and verification of time requirements applied to the web services composition
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A comparison of formal real-time specification languages
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Bounded satisfiability checking of metric temporal logic specifications
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
| Hi-index | 0.01 |
From the Publisher:Focusing on formal methods, this book offers a complete coverage of new developments with emphasis on practical application. Starting with a survey of formal methods for real-time systems, topics include program specification, formal methods, analyzing, and design of real-time systems. The book is essential reading for developers of safety critical systems and researchers in the field.