| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin |
Functional and Nonfunctional Design Verification for Embedded Software Systems.  |
Advances in Computers  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico |
Automatic Requirement Extraction from Test Cases. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan |
Using formal specifications to support testing. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
formal methods, Software testing |
| 1 | Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin |
Validating Automotive Control Software Using Instrumentation-Based Verification. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Ackermann, Mikael Lindvall, Rance Cleaveland |
Recovering Views of Inter-System Interaction Behaviors. |
WCRE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Ackermann, Mikael Lindvall, Rance Cleaveland |
Towards Behavioral Reflexion Models. |
ISSRE |
2009 |
DBLP DOI BibTeX RDF |
behavior verification, Software engineering, software reliability, program comprehension, behavioral analysis |
| 1 | Arnab Ray, Rance Cleaveland |
Executable Specifications for Real-Time Distributed Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland |
Model-Based Verification of Automotive Control Software. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Gerald Lüttgen, V. Natarajan |
Priority and abstraction in process algebra. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland |
THERE AND BACK AGAIN: Lessons Learned on the Way to the Market. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bikram Sengupta, Rance Cleaveland |
Triggered Message Sequence Charts. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
refinement, scenarios, formal semantics, Message Sequence Charts, requirements modeling |
| 1 | Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha |
High-Confidence Medical Device Software and Systems. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
Healthcare technology, Medical software, Clinical software engineering |
| 1 | Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
Probabilistic I/O Automata: Theories of Two Equivalences. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations |
| 1 | Rance Cleaveland, Scott A. Smolka, Steve Sims |
An Instrumentation-Based Approach to Controller Model Validation. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Rance Cleaveland |
A Software Architectural Approach to Security by Design. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha |
Probabilistic temporal logics via the modal mu-calculus. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Rance Cleaveland, Arne Skou |
An Algebraic Theory Of Boundary Crossing Transitions. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dezhuang Zhang, Rance Cleaveland |
Fast Generic Model-Checking for Data-Based Systems. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dezhuang Zhang, Rance Cleaveland |
Efficient temporal-logic query checking for presburger systems. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
Presburger systems, on-the-fly symbolic model checking, query checking, model checking, formal methods |
| 1 | Bikram Sengupta, Rance Cleaveland |
An Integrated Framework for Scenarios and State Machines. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
refinement orderings, scenarios, state-machines, heterogeneous specifications |
| 1 | Dezhuang Zhang, Rance Cleaveland |
Fast On-the-Fly Parametric Real-Time Model Checking. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bikram Sengupta, Rance Cleaveland |
Executable Requirements Specifications Using Triggered Message Sequence Charts. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Rance Cleaveland |
Formal Modeling Of Middleware-based Distributed Systems. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hansel, Rance Cleaveland, Scott A. Smolka |
Distributed prototyping from validated specifications. |
Journal of Systems and Software |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Rance Cleaveland |
Unit verification: the CARA experience. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Formal methods, Abstraction, Process algebra, State minimization |
| 1 | Arnab Ray, Bikram Sengupta, Rance Cleaveland |
Secure Requirements Elicitation Through Triggered Message Sequence Charts. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
A Process-Algebraic Language for Probabilistic I/O Automata. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark |
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bikram Sengupta, Rance Cleaveland |
Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts. |
RE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bikram Sengupta, Rance Cleaveland |
TRIM: A Tool for Triggered Message Sequence Charts. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Rance Cleaveland |
Architectural Interaction Diagrams: AIDs for System Modeling. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Steve Sims |
Generic tools for verifying concurrent systems. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Hubert Garavel |
Foreword. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Gerald Lüttgen |
A Logical Process Calculus. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu |
High-confidence operating systems. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Tan, Rance Cleaveland |
Evidence-Based Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
diagnostic information, Model checking, temporal logic, mu-calculus |
| 1 | Bikram Sengupta, Rance Cleaveland |
Triggered message sequence charts. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
refinement orderings, scenario-based requirements, message sequence charts |
| 1 | Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka |
Hiding resources that can fail: An axiomatic perspective. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland |
Alternative Approaches to Symbolic Verification - Preface by the Section Editor. |
STTT |
2001 |
DBLP DOI BibTeX RDF |
Symbolic verification, Model checking, Formal methods, System verification, Deductive reasoning |
| 1 | David Hansel, Rance Cleaveland, Scott A. Smolka |
Distributed Prototyping from Validated Specifications. |
IEEE International Workshop on Rapid System Prototyping |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Tan, Rance Cleaveland |
Simulation Revisited. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville |
Automated Validation of Software Models. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Girish Bhat, Rance Cleaveland, Alex Groce |
Efficient Model Checking Via Büchi Tableau Automata. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Rance Cleaveland |
A Theory of Testing for Markovian Processes. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, S. Purushothaman Iyer |
Branching-Time Probalistic Model Checking. |
ICALP Satellite Workshops |
2000 |
DBLP BibTeX RDF |
|
| 1 | Rance Cleaveland, Xiaoqun Du, Scott A. Smolka |
GCCS: A Graphical Coordination Language for System Specification. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland |
A compositional approach to statecharts semantics. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
operational semantics, statecharts, compositionality |
| 1 | Rance Cleaveland, Gerald Lüttgen |
A Semantic Theory for Heterogeneous System Design. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Daniel Jackson |
Guest Editorial. |
Autom. Softw. Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen |
Testing Preorders for Probabilistic Processes. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Girish Bhat, Rance Cleaveland, Gerald Lüttgen |
A Practical Approach to Implementing Real-Time Semantics. |
Ann. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer |
The role of observations in probabilistic open systems. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland |
Pragmatics of Model Checking: An STTT Special Section. |
STTT |
1999 |
DBLP DOI BibTeX RDF |
Model checking, Temporal logic, State explosion, System verification |
| 1 | Xiaoqun Du, Scott A. Smolka, Rance Cleaveland |
Local Model Checking and Protocol Analysis. |
STTT |
1999 |
DBLP DOI BibTeX RDF |
Modal mu-calculus, Model checking, Real-time, Protocol verification, State explosion |
| 1 | Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland |
Statecharts Via Process Algebra. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland |
Temporal Process Logic (Abstract). |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland (eds.) |
Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings |
TACAS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland |
On the Evolution of Reactive Components: A Process-Algebraic Approach. |
FASE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer |
Probabilistic Temporal Logics via the Modal Mu-Calculus. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Gerald Lüttgen, V. Natarajan |
A Process Algebra with Distributed Priorities. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Michael W. Mislove, Philip S. Mulry |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky |
Praobabilistic Resource Failure in Real-Time Process Algebra. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart |
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
| 1 | K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka |
Infinite Probabilistic and Nonprobabilistic Testing. |
FSTTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr. |
Modeling and Verifying Active Structural Control Systems. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Tiziana Margaria, Bernhard Steffen |
Editorial. |
STTT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Gerald Lüttgen, Michael Mendler |
An Algebraic Theory of Multiple Clocks. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Girish Bhat, Rance Cleaveland, Gerald Lüttgen |
Dynamic Priorities for Modeling Real-Time. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen |
Modeling and Verifying Distributed Systems Using Priorities: A Case Study. |
Software - Concepts and Tools |
1996 |
DBLP BibTeX RDF |
|
| 1 | Rance Cleaveland, Scott A. Smolka |
Strategic Directions in Computing Research-Concurrency Working Group Report. |
Bulletin of the EATCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Rance Cleaveland |
Formality and Software Design. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Scott A. Smolka |
Strategic Directions in Concurrency Research. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland |
Semantic Theories and System Design. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Gerald Lüttgen, V. Natarajan |
A Process Algebra with Distributed Priorities. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky |
The Concurrency Factory Software Development Environment. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims |
Priorities for Modeling and Verifying Distributed Systems. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Girish Bhat, Rance Cleaveland |
Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Natarajan, Rance Cleaveland |
Predictability of real-time systems: a process-algebraic approach. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1996 |
DBLP DOI BibTeX RDF |
real time systems predictability, testing-based semantic preorder, process description language, TPL, activity-completion times, semantic preorder, must-preorder, optimality, process algebra, process algebra, variability, timing behavior |
| 1 | Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka |
A Theory of Testing for Soft Real-Time Processes. |
SEKE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky |
The Concurrency Factory: A Development Environment for Concurrent Systems. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Steve Sims |
The NCSU Concurrency Workbench. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Girish Bhat, Rance Cleaveland |
Efficient Model Checking via the Equational µ-Calculus. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Natarajan, Rance Cleaveland |
An Algebraic Theory of Process Efficiency. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ufuk Celikkan, Rance Cleaveland |
Generating Diagnostic Information for Behavioral Preorders. |
Distributed Computing |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Eric Madelaine, Steve Sims |
A Front-End Generator for Verification Tools. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen (eds.) |
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings |
TACAS |
1995 |
DBLP BibTeX RDF |
|
| 1 | V. Natarajan, Rance Cleaveland |
Divergence and Fair Testing. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Girish Bhat, Rance Cleaveland, Orna Grumberg |
Efficient On-the-Fly Model Checking for CTL* |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Wael M. Elseaidy, Rance Cleaveland |
A tool for modeling and verifying real-time systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
real-time systems verification, verification environment, graphical design la, Modechart, textually based language, Temporal CCS, system minimization, active structural control systems, real-time systems, formal verification, software tools, visual languages, equivalence checking, modeling tool |
| 1 | Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich |
Optimality in Abstractions of Model Checking |
SAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka |
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, James Riely |
Testing-Based Abstractions for Value-Passing Systems. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Daniel Yankelevich |
An Operational Framework for Value-Passing Processes. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr. |
Verifying an Intelligent Structural Control System: A Case Study. |
IEEE Real-Time Systems Symposium |
1994 |
DBLP BibTeX RDF |
|
| 1 | V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland |
Priority and Abstraction in Process Algebra. |
FSTTCS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Matthew Hennessy |
Testing Equivalence as a Bisimulation Equivalence. |
Formal Asp. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Joachim Parrow, Bernhard Steffen |
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
concurrency, process algebra, automatic verification, finite-state systems |
| 1 | Rance Cleaveland, Bernhard Steffen |
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. |
Formal Methods in System Design |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland |
Analysing Concurrent Systems Using the Concurrency Workbench. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland (eds.) |
CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings |
CONCUR |
1992 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")