Rance Cleaveland

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

Opacity for switched linear systems: Notions and characterization.

[BibT_eX]

[DOI]

Bhaskar Ramasubramanian

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

An extensible formal semantics for UML activity diagrams.

[BibT_eX]

[DOI]

CoRR, 2016

Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2016

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

A framework for opacity in linear systems.

[BibT_eX]

[DOI]

Bhaskar Ramasubramanian

Proceedings of the 2016 American Control Conference, 2016

A framework for decentralized opacity in linear systems.

[BibT_eX]

[DOI]

Bhaskar Ramasubramanian

Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015

Comparing model checkers for timed UML activity diagrams.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Security Assurance Cases for Medical Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Des. Test, 2015

An Extensible Operational Semantics for UML Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

UML-VT: A Formal Verification Environment for UML Activity Diagrams.

[BibT_eX]

[DOI]

John Mangino

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

2014

A menagerie of timed automata.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2014

The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix).

[BibT_eX]

[DOI]

CoRR, 2014

Formal verification of software-based medical devices considering medical guidelines.

[BibT_eX]

[DOI]

Marcus Vetter

Int. J. Comput. Assist. Radiol. Surg., 2014

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Assessing model-based testing: an empirical study conducted in industry.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

An analysis method for medical device security.

[BibT_eX]

[DOI]

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Generalized Synchronization Trees.

[BibT_eX]

[DOI]

James Ferlez

Proceedings of the Foundations of Software Science and Computation Structures, 2014

The Power of Proofs: New Algorithms for Timed Automata Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013

Integrating model checking and UML based model-driven development for embedded systems.

[BibT_eX]

[DOI]

Marcus Vetter

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Constructing safety assurance cases for medical devices.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

2011

Functional and Nonfunctional Design Verification for Embedded Software Systems.

[BibT_eX]

[DOI]

Charles P. Shelton

Chris Martin

Adv. Comput., 2011

Architecture Reconstruction and Analysis of Medical Device Software.

[BibT_eX]

[DOI]

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011

2010

Automatic Requirement Extraction from Test Cases.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Using formal specifications to support testing.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2009

Recovering Views of Inter-System Interaction Behaviors.

[BibT_eX]

[DOI]

Mikael Lindvall

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Validating Automotive Control Software Using Instrumentation-Based Verification.

[BibT_eX]

[DOI]

Iris Morschhaeuser

Charles P. Shelton

Chris Martin

Proceedings of the ASE 2009, 2009

Towards Behavioral Reflexion Models.

[BibT_eX]

[DOI]

Mikael Lindvall

Proceedings of the ISSRE 2009, 2009

2008

Model-Based Verification of Automotive Control Software.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Priority and abstraction in process algebra.

[BibT_eX]

[DOI]

Inf. Comput., 2007

Executable Specifications for Real-Time Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

THERE AND BACK AGAIN: Lessons Learned on the Way to the Market.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Triggered Message Sequence Charts.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

High-Confidence Medical Device Software and Systems.

[BibT_eX]

[DOI]

Computer, 2006

Probabilistic I/O Automata: Theories of Two Equivalences.

[BibT_eX]

[DOI]

Eugene W. Stark

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

A Software Architectural Approach to Security by Design.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

An Instrumentation-Based Approach to Controller Model Validation.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005

Probabilistic temporal logics via the modal mu-calculus.

[BibT_eX]

[DOI]

Murali Narasimha

Theor. Comput. Sci., 2005

Fast On-the-Fly Parametric Real-Time Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Efficient temporal-logic query checking for presburger systems.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

An Integrated Framework for Scenarios and State Machines.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Executable Requirements Specifications Using Triggered Message Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2005

Fast Generic Model-Checking for Data-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Unit verification: the CARA experience.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

Distributed prototyping from validated specifications.

[BibT_eX]

[DOI]

David Hansel

J. Syst. Softw., 2004

An Algebraic Theory Of Boundary Crossing Transitions.

[BibT_eX]

[DOI]

Arne Skou

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Formal Modeling Of Middleware-based Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

Secure Requirements Elicitation Through Triggered Message Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2004

2003

The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems.

[BibT_eX]

[DOI]

Eugene W. Stark

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Architectural Interaction Diagrams: AIDs for System Modeling.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

A Process-Algebraic Language for Probabilistic I/O Automata.

[BibT_eX]

[DOI]

Eugene W. Stark

Proceedings of the CONCUR 2003, 2003

TRIM: A Tool for Triggered Message Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Generic tools for verifying concurrent systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2002

A Logical Process Calculus.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002

Foreword.

[BibT_eX]

[DOI]

Hubert Garavel

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

High-confidence operating systems.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Evidence-Based Model Checking.

[BibT_eX]

[DOI]

Li Tan

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Alternative Approaches to Symbolic Verification - Preface by the Section Editor.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2001

Hiding resources that can fail: An axiomatic perspective.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2001

Simulation Revisited.

[BibT_eX]

[DOI]

Li Tan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Automated Validation of Software Models.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Efficient Model Checking Via Büchi Tableau Automata.

[BibT_eX]

[DOI]

Alex Groce

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

Equivalence and Preorder Checking for Finite-State Systems.

[BibT_eX]

[DOI]

Oleg Sokolsky

Proceedings of the Handbook of Process Algebra, 2001

Priority in Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Process Algebra, 2001

2000

Practical techniques for the design, specification, verification, and implementation of concurrent systems.

[BibT_eX]

[DOI]

Philip M. Lewis

ACM SIGSOFT Softw. Eng. Notes, 2000

Specification formalisms for component-based concurrent systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

A compositional approach to statecharts semantics.

[BibT_eX]

[DOI]

Michael von der Beeck

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Branching-Time Probalistic Model Checking.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

A Semantic Theory for Heterogeneous System Design.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

GCCS: A Graphical Coordination Language for System Specification.

[BibT_eX]

[DOI]

Xiaoqun Du

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

A Theory of Testing for Markovian Processes.

[BibT_eX]

[DOI]

Marco Bernardo

Proceedings of the CONCUR 2000, 2000

1999

Local Model Checking and Protocol Analysis.

[BibT_eX]

[DOI]

Xiaoqun Du

Int. J. Softw. Tools Technol. Transf., 1999

Pragmatics of Model Checking: An STTT Special Section.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 1999

Testing Preorders for Probabilistic Processes.

[BibT_eX]

[DOI]

Inf. Comput., 1999

Guest Editorial.

[BibT_eX]

[DOI]

Daniel Jackson

Autom. Softw. Eng., 1999

A Practical Approach to Implementing Real-Time Semantics.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1999

On the Evolution of Reactive Components: A Process-Algebraic Approach.

[BibT_eX]

[DOI]

Markus Müller-Olm

Proceedings of the Fundamental Approaches to Software Engineering, 1999

Statecharts Via Process Algebra.

[BibT_eX]

[DOI]

Michael von der Beeck

Proceedings of the CONCUR '99: Concurrency Theory, 1999

Temporal Process Logic (Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

A Process Algebra with Distributed Priorities.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

The role of observations in probabilistic open systems.

[BibT_eX]

[DOI]

Murali Narasimha

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

Infinite Probabilistic and Nonprobabilistic Testing.

[BibT_eX]

[DOI]

K. Narayan Kumar

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems.

[BibT_eX]

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

Praobabilistic Resource Failure in Real-Time Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Editorial.

[BibT_eX]

[DOI]

Tiziana Margaria

Int. J. Softw. Tools Technol. Transf., 1997

Modeling and Verifying Active Structural Control Systems.

[BibT_eX]

[DOI]

Wael M. Elseaidy

John W. Baugh Jr.

Sci. Comput. Program., 1997

Preface.

[BibT_eX]

[DOI]

Michael W. Mislove

Philip S. Mulry

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Dynamic Priorities for Modeling Real-Time.

[BibT_eX]

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

An Algebraic Theory of Multiple Clocks.

[BibT_eX]

[DOI]

Michael Mendler

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Modeling and Verifying Distributed Systems Using Priorities: A Case Study.

[BibT_eX]

Softw. Concepts Tools, 1996

Strategic Directions in Computing Research-Concurrency Working Group Report.

[BibT_eX]

Bull. EATCS, 1996

Strategic Directions in Concurrency Research.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Formality and Software Design.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Semantic Theories and System Design.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

The Concurrency Factory Software Development Environment.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Priorities for Modeling and Verifying Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

A Theory of Testing for Soft Real-Time Processes.

[BibT_eX]

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Predictability of real-time systems: a process-algebraic approach.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

An Algebraic Theory of Process Efficiency.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1996

Efficient Model Checking via the Equational µ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1996

The NCSU Concurrency Workbench.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

The Concurrency Factory: A Development Environment for Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Generating Diagnostic Information for Behavioral Preorders.

[BibT_eX]

[DOI]

Ufuk Celikkan

Distributed Comput., 1995

A Front-End Generator for Verification Tools.

[BibT_eX]

[DOI]

Eric Madelaine

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

Optimality in Abstractions of Model Checking

[BibT_eX]

[DOI]

Daniel Yankelevich

Proceedings of the Static Analysis, 1995

Efficient On-the-Fly Model Checking for CTL*

[BibT_eX]

[DOI]

Orna Grumberg

Proceedings of the Proceedings, 1995

A tool for modeling and verifying real-time systems.

[BibT_eX]

[DOI]

Wael M. Elseaidy

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Divergence and Fair Testing.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

1994

Verifying an Intelligent Structural Control System: A Case Study.

[BibT_eX]

[DOI]

Wael M. Elseaidy

John W. Baugh Jr.

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

An Operational Framework for Value-Passing Processes.

[BibT_eX]

[DOI]

Daniel Yankelevich

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Priority and Abstraction in Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Specification of Parallel Algorithms, 1994

Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '94, 1994

Testing-Based Abstractions for Value-Passing Systems.

[BibT_eX]

[DOI]

James Riely

Proceedings of the CONCUR '94, 1994

1993

The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems.

[BibT_eX]

[DOI]

Joachim Parrow

ACM Trans. Program. Lang. Syst., 1993

A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1993

Testing Equivalence as a Bisimulation Equivalence.

[BibT_eX]

[DOI]

Matthew Hennessy

Formal Aspects Comput., 1993

RTSL: a language for real-time schedulability analysis.

[BibT_eX]

[DOI]

Andre N. Fredette

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Analysing Concurrent Systems Using the Concurrency Workbench.

[BibT_eX]

[DOI]

Proceedings of the Functional Programming, 1993

1992

Computing Diagnostic Test for Incorrect Processes.

[BibT_eX]

Ufuk Celikkan

Proceedings of the Protocol Specification, 1992

Testing Preorders for Probabilistic Processes.

[BibT_eX]

[DOI]

Amy E. Zwarico

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

GDR: A Visualization Tool for Graph Algorithms.

[BibT_eX]

[DOI]

Matthias F. Stallmann

Prashant Hebbar

Proceedings of the Computational Support for Discrete Mathematics, 1992

Faster Model Checking for the Modal Mu-Calculus.

[BibT_eX]

[DOI]

Marion Klein

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

A Theory of Testing for Real-Time

[BibT_eX]

[DOI]

Amy E. Zwarico

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Computing Behavioural Relations, Logically.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

1990

Priorities in Process Algebras

[BibT_eX]

[DOI]

Matthew Hennessy

Inf. Comput., 1990

Tableau-Based Model Checking in the Propositional Mu-Calculus.

[BibT_eX]

[DOI]

Acta Informatica, 1990

When is "Partial" Adequate? A Logic-Based Proof Technique Using Partial Specifications

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

On Automatically Distinguishing Inequivalent Processes.

[BibT_eX]

[DOI]

Proceedings of the Computer-Aided Verification, 1990

A Preorder for Partial Process Specifications.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '90, 1990

On Automatically Explaining Bisimulation Inequivalence.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

A Semantics Based Verification Tool for Finite State Systems.

[BibT_eX]

Joachim Parrow

Proceedings of the Protocol Specification, 1989

The Concurrency Workbench.

[BibT_eX]

[DOI]

Joachim Parrow

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

Type theory and concurrency.

[BibT_eX]

[DOI]