Analysis and Applications of Receptive Safety Properties in Concurrent Systems (0)

Cached

Download Links

by Gilberto Matos
Citations:1 - 1 self

Active Bibliography

34 Formal Specification: a Roadmap – Axel Van Lamsweerde - 2000
4 Automated Computation of Decomposable Synchronization Conditions – Gilberto Matos, James Purtilo, Elizabeth White - 1997
1 Using Model Checking to Analyze Requirements and Designs – Joanne Atlee, Marsha Chechik, John Gannon - 1996
6 Tools and Techniques for the Design and Systematic Analysis of Real-Time Systems – Paul Zachary Kolano - 1999
9 Automatic Generation of Interactive Systems from Declarative Models – R. E. Kurt Stirewalt - 1997
106 Design of Embedded Systems: Formal Models, Validation, and Synthesis – S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli - 1999
Avionics Systems Requirements: A Comparison of RSML and SCR – Bruno Dutertre, Victoria Stavridou
118 Requirements Engineering in the Year 00: A Research Perspective – Axel van Lamsweerde - 2000
7 Formal Analysis of Early Requirements Specifications – Ariel Damián Fuxman - 2001
34 A Logic-Model Semantics for SCR Software Requirements – Joanne M. Atlee , Michael A. Buckley - 1996
15 Improving Efficiency of Symbolic Model Checking for State-Based System Requirements – William Chan, Richard J. Anderson, Paul Beame, David Notkin - 1998
4 Behavioral views for software requirements engineering – Ayaz Isazadeh - 1996
4 Specification Mutation for Test Generation and Analysis – Vadim Okun - 2004
3 A Run-time Environment for a Validation Language – Willem Conradie Visser - 1993
448 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997
12 Branching vs. linear time – semantical perspective – Sumit Nain, Moshe Y. Vardi
9 Automatic Analysis of Consistency between Implementations and Requirements – Marsha Chechik, John Gannon - 1995
20 Automatic Analysis of Consistency between Requirements and Designs – Marsha Chechik, John Gannon - 1996
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future – Nancy Leveson Mats, Jon Damon Reese - 1999