The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rance Cleaveland: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rance Cleaveland
    Tableau-Based Model Checking in the Propositional Mu-Calculus. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1989, v:27, n:8, pp:725-747 [Journal]
  2. Rance Cleaveland, Joachim Parrow, Bernhard Steffen
    The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1993, v:15, n:1, pp:36-72 [Journal]
  3. Rance Cleaveland, Matthew Hennessy
    Testing Equivalence as a Bisimulation Equivalence. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:11-23 [Conf]
  4. Rance Cleaveland, Joachim Parrow, Bernhard Steffen
    The Concurrency Workbench. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:24-37 [Conf]
  5. Girish Bhat, Rance Cleaveland, Alex Groce
    Efficient Model Checking Via Büchi Tableau Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:38-52 [Conf]
  6. Ufuk Celikkan, Rance Cleaveland
    Generating Diagnostic Information for Behavioral Preorders. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:370-383 [Conf]
  7. Rance Cleaveland
    On Automatically Explaining Bisimulation Inequivalence. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:364-372 [Conf]
  8. Rance Cleaveland, Marion Klein, Bernhard Steffen
    Faster Model Checking for the Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:410-422 [Conf]
  9. Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
    The Concurrency Factory: A Development Environment for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:398-401 [Conf]
  10. Rance Cleaveland, Bernhard Steffen
    A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:48-58 [Conf]
  11. Rance Cleaveland, Steve Sims
    The NCSU Concurrency Workbench. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:394-397 [Conf]
  12. Bikram Sengupta, Rance Cleaveland
    TRIM: A Tool for Triggered Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:106-109 [Conf]
  13. Li Tan, Rance Cleaveland
    Evidence-Based Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:455-470 [Conf]
  14. Arnab Ray, Rance Cleaveland
    A Software Architectural Approach to Security by Design. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2006, pp:83-86 [Conf]
  15. Marco Bernardo, Rance Cleaveland
    A Theory of Testing for Markovian Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:305-319 [Conf]
  16. Rance Cleaveland
    Temporal Process Logic (Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:1- [Conf]
  17. Rance Cleaveland, Gerald Lüttgen, Michael Mendler
    An Algebraic Theory of Multiple Clocks. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:166-180 [Conf]
  18. Rance Cleaveland, Gerald Lüttgen, V. Natarajan
    A Process Algebra with Distributed Priorities. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:34-49 [Conf]
  19. Rance Cleaveland, James Riely
    Testing-Based Abstractions for Value-Passing Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:417-432 [Conf]
  20. Rance Cleaveland, Bernhard Steffen
    A Preorder for Partial Process Specifications. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:141-151 [Conf]
  21. Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
    Statecharts Via Process Algebra. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:399-414 [Conf]
  22. Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky
    Praobabilistic Resource Failure in Real-Time Process Algebra. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:389-404 [Conf]
  23. Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
    A Process-Algebraic Language for Probabilistic I/O Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:189-203 [Conf]
  24. Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
    Probabilistic I/O Automata: Theories of Two Equivalences. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:343-357 [Conf]
  25. Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka
    Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:497-512 [Conf]
  26. Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
    GCCS: A Graphical Coordination Language for System Specification. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:284-298 [Conf]
  27. Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland
    On the Evolution of Reactive Components: A Process-Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:161-175 [Conf]
  28. Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart
    TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:457-467 [Conf]
  29. Girish Bhat, Rance Cleaveland, Gerald Lüttgen
    Dynamic Priorities for Modeling Real-Time. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:321-336 [Conf]
  30. Dezhuang Zhang, Rance Cleaveland
    Fast Generic Model-Checking for Data-Based Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:83-97 [Conf]
  31. Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer
    Probabilistic Temporal Logics via the Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:288-305 [Conf]
  32. Rance Cleaveland, Gerald Lüttgen
    A Semantic Theory for Heterogeneous System Design. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:312-324 [Conf]
  33. K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka
    Infinite Probabilistic and Nonprobabilistic Testing. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:209-220 [Conf]
  34. V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland
    Priority and Abstraction in Process Algebra. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1994, pp:217-230 [Conf]
  35. Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico
    Testing Preorders for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:708-719 [Conf]
  36. Rance Cleaveland, Bernhard Steffen
    Computing Behavioural Relations, Logically. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:127-138 [Conf]
  37. Rance Cleaveland, S. Purushothaman Iyer
    Branching-Time Probalistic Model Checking. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:487-500 [Conf]
  38. V. Natarajan, Rance Cleaveland
    Divergence and Fair Testing. [Citation Graph (0, 0)][DBLP]
    ICALP, 1995, pp:648-659 [Conf]
  39. Bikram Sengupta, Rance Cleaveland
    Executable Requirements Specifications Using Triggered Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2005, pp:482-493 [Conf]
  40. Arnab Ray, Bikram Sengupta, Rance Cleaveland
    Secure Requirements Elicitation Through Triggered Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2004, pp:273-282 [Conf]
  41. Wael M. Elseaidy, Rance Cleaveland
    A tool for modeling and verifying real-time systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:70-0 [Conf]
  42. Arnab Ray, Rance Cleaveland
    Architectural Interaction Diagrams: AIDs for System Modeling. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:396-407 [Conf]
  43. Bikram Sengupta, Rance Cleaveland
    An Integrated Framework for Scenarios and State Machines. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:366-385 [Conf]
  44. Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville
    Automated Validation of Software Models. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:91-0 [Conf]
  45. Dezhuang Zhang, Rance Cleaveland
    Efficient temporal-logic query checking for presburger systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:24-33 [Conf]
  46. Girish Bhat, Rance Cleaveland
    Efficient Model Checking via the Equational µ-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:304-312 [Conf]
  47. Girish Bhat, Rance Cleaveland, Orna Grumberg
    Efficient On-the-Fly Model Checking for CTL* [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:388-397 [Conf]
  48. Rance Cleaveland, Matthew Hennessy
    Priorities in Process Algebras [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:193-202 [Conf]
  49. Rance Cleaveland, Bernhard Steffen
    When is ``Partial'' Adequate? A Logic-Based Proof Technique Using Partial Specifications [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:440-449 [Conf]
  50. Rance Cleaveland, Amy E. Zwarico
    A Theory of Testing for Real-Time [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:110-119 [Conf]
  51. V. Natarajan, Rance Cleaveland
    An Algebraic Theory of Process Efficiency. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:63-72 [Conf]
  52. Rance Cleaveland
    Analysing Concurrent Systems Using the Concurrency Workbench. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:129-144 [Conf]
  53. Rance Cleaveland, Daniel Yankelevich
    An Operational Framework for Value-Passing Processes. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:326-338 [Conf]
  54. Rance Cleaveland, Joachim Parrow, Bernhard Steffen
    A Semantics Based Verification Tool for Finite State Systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:287-302 [Conf]
  55. Ufuk Celikkan, Rance Cleaveland
    Computing Diagnostic Test for Incorrect Processes. [Citation Graph (0, 0)][DBLP]
    PSTV, 1992, pp:263-277 [Conf]
  56. Bikram Sengupta, Rance Cleaveland
    Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:95-104 [Conf]
  57. David Hansel, Rance Cleaveland, Scott A. Smolka
    Distributed Prototyping from Validated Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2001, pp:97-102 [Conf]
  58. Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
    Verifying an Intelligent Structural Control System: A Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1994, pp:271-275 [Conf]
  59. V. Natarajan, Rance Cleaveland
    Predictability of real-time systems: a process-algebraic approach. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1996, pp:82-0 [Conf]
  60. Dezhuang Zhang, Rance Cleaveland
    Fast On-the-Fly Parametric Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
    RTSS, 2005, pp:157-166 [Conf]
  61. Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich
    Optimality in Abstractions of Model Checking [Citation Graph (0, 0)][DBLP]
    SAS, 1995, pp:51-63 [Conf]
  62. Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka
    A Theory of Testing for Soft Real-Time Processes. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:474-479 [Conf]
  63. Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
    A compositional approach to statecharts semantics. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2000, pp:120-129 [Conf]
  64. Bikram Sengupta, Rance Cleaveland
    Triggered message sequence charts. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:167-176 [Conf]
  65. Girish Bhat, Rance Cleaveland
    Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:107-126 [Conf]
  66. Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims
    Priorities for Modeling and Verifying Distributed Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:278-297 [Conf]
  67. Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
    The Concurrency Factory Software Development Environment. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:391-395 [Conf]
  68. Rance Cleaveland, Eric Madelaine, Steve Sims
    A Front-End Generator for Verification Tools. [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:153-173 [Conf]
  69. Li Tan, Rance Cleaveland
    Simulation Revisited. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:480-495 [Conf]
  70. Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark
    The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:431-436 [Conf]
  71. Girish Bhat, Rance Cleaveland, Gerald Lüttgen
    A Practical Approach to Implementing Real-Time Semantics. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:7, n:, pp:127-155 [Journal]
  72. Rance Cleaveland, Daniel Jackson
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:1, pp:5-6 [Journal]
  73. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:4, pp:33-38 [Journal]
  74. Rance Cleaveland
    Semantic Theories and System Design. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:41- [Journal]
  75. Rance Cleaveland
    Formality and Software Design. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:117- [Journal]
  76. Rance Cleaveland, Scott A. Smolka
    Strategic Directions in Concurrency Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4, pp:607-625 [Journal]
  77. Ufuk Celikkan, Rance Cleaveland
    Generating Diagnostic Information for Behavioral Preorders. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1995, v:9, n:2, pp:61-75 [Journal]
  78. Rance Cleaveland, Scott A. Smolka
    Strategic Directions in Computing Research-Concurrency Working Group Report. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1996, v:60, n:, pp:97-122 [Journal]
  79. Rance Cleaveland, Hubert Garavel
    Foreword. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
  80. Rance Cleaveland, Gerald Lüttgen
    A Logical Process Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  81. Rance Cleaveland, Michael W. Mislove, Philip S. Mulry
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal]
  82. Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer
    The role of observations in probabilistic open systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
  83. Arnab Ray, Rance Cleaveland
    Formal Modeling Of Middleware-based Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:21-37 [Journal]
  84. Arnab Ray, Rance Cleaveland, Arne Skou
    An Algebraic Theory Of Boundary Crossing Transitions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:69-88 [Journal]
  85. Rance Cleaveland, Matthew Hennessy
    Testing Equivalence as a Bisimulation Equivalence. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1993, v:5, n:1, pp:1-20 [Journal]
  86. Rance Cleaveland, Bernhard Steffen
    A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1993, v:2, n:2, pp:121-147 [Journal]
  87. Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen
    Testing Preorders for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:154, n:2, pp:93-148 [Journal]
  88. Rance Cleaveland, Matthew Hennessy
    Priorities in Process Algebras [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1990, v:87, n:1/2, pp:58-77 [Journal]
  89. Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka
    Hiding resources that can fail: An axiomatic perspective. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:3-13 [Journal]
  90. David Hansel, Rance Cleaveland, Scott A. Smolka
    Distributed prototyping from validated specifications. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2004, v:70, n:3, pp:275-298 [Journal]
  91. Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
    Modeling and Verifying Active Structural Control Systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:99-122 [Journal]
  92. Rance Cleaveland, Steve Sims
    Generic tools for verifying concurrent systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:39-47 [Journal]
  93. Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen
    Modeling and Verifying Distributed Systems Using Priorities: A Case Study. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:2, pp:50-62 [Journal]
  94. Rance Cleaveland
    Alternative Approaches to Symbolic Verification - Preface by the Section Editor. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:3, pp:247-249 [Journal]
  95. Rance Cleaveland
    Pragmatics of Model Checking: An STTT Special Section. [Citation Graph (0, 0)][DBLP]
    STTT, 1999, v:2, n:3, pp:208-218 [Journal]
  96. Rance Cleaveland, Tiziana Margaria, Bernhard Steffen
    Editorial. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:1-5 [Journal]
  97. Xiaoqun Du, Scott A. Smolka, Rance Cleaveland
    Local Model Checking and Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    STTT, 1999, v:2, n:3, pp:219-241 [Journal]
  98. Arnab Ray, Rance Cleaveland
    Unit verification: the CARA experience. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:4, pp:351-369 [Journal]
  99. Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha
    Probabilistic temporal logics via the modal mu-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:2-3, pp:316-350 [Journal]
  100. Rance Cleaveland, Gerald Lüttgen, V. Natarajan
    A Process Algebra with Distributed Priorities. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:227-258 [Journal]
  101. Bikram Sengupta, Rance Cleaveland
    Triggered Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:587-607 [Journal]
  102. Rance Cleaveland
    THERE AND BACK AGAIN: Lessons Learned on the Way to the Market. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:1- [Conf]
  103. Rance Cleaveland, Gerald Lüttgen, V. Natarajan
    Priority and abstraction in process algebra. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:9, pp:1426-1458 [Journal]

  104. Towards Behavioral Reflexion Models. [Citation Graph (, )][DBLP]


  105. Validating Automotive Control Software Using Instrumentation-Based Verification. [Citation Graph (, )][DBLP]


  106. High-confidence operating systems. [Citation Graph (, )][DBLP]


  107. Recovering Views of Inter-System Interaction Behaviors. [Citation Graph (, )][DBLP]


  108. An Instrumentation-Based Approach to Controller Model Validation. [Citation Graph (, )][DBLP]


  109. Model-Based Verification of Automotive Control Software. [Citation Graph (, )][DBLP]


  110. Using formal specifications to support testing. [Citation Graph (, )][DBLP]


  111. Executable Specifications for Real-Time Distributed Systems. [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.030secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002