sign in · help · news · about ·

BibSonomy :: author :: Cleaveland ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(127)

<< < 1 | 2 | 3 > >>

When is ``Partial'' Adequate? A Logic-Based Proof Technique Using Partial Specifications
Rance Cleaveland, and Bernhard Steffen LICS, page 440-449. IEEE Computer Society, (1990)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Priorities in Process Algebras
Rance Cleaveland, and Matthew Hennessy LICS, page 193-202. IEEE Computer Society, (1988)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Efficient On-the-Fly Model Checking for CTL*
Girish Bhat, Rance Cleaveland, and Orna Grumberg LICS, page 388-397. IEEE Computer Society, (1995)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
A Theory of Testing for Real-Time
Rance Cleaveland, and Amy E. Zwarico LICS, page 110-119. IEEE Computer Society, (1991)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Efficient Model Checking via the Equational µ-Calculus.
Girish Bhat, and Rance Cleaveland LICS, page 304-312. IEEE Computer Society, (1996)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
An Algebraic Theory of Process Efficiency.
V. Natarajan, and Rance Cleaveland LICS, page 63-72. IEEE Computer Society, (1996)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Formality and Software Design.
Rance Cleaveland ACM Comput. Surv. 28(4es):117 (1996)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Strategic Directions in Concurrency Research.
Rance Cleaveland, and Scott A. Smolka ACM Comput. Surv. 28(4):607-625 (1996)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Semantic Theories and System Design.
Rance Cleaveland ACM Comput. Surv. 28(4es):41 (1996)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Modeling and Verifying Active Structural Control Systems.
Wael M. Elseaidy, Rance Cleaveland, and John W. Baugh Jr. Sci. Comput. Program. 29(1-2):99-122 (1997)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
Generic tools for verifying concurrent systems.
Rance Cleaveland, and Steve Sims Sci. Comput. Program. 42(1):39-47 (2002)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
Implementing mathematics with the Nuprl proof development system.
Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, Todd B. Knoblock, N. P. Mendler, Prakash Panangaden, James T. Sasaki, and Scott F. Smith Prentice Hall, (1986)
to dblp by dblp on Aug 26, 2011, 12:00 AM
BibTeX
Using formal specifications to support testing.
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, and Hussein Zedan ACM Comput. Surv. (2009)
to engineering formal methods myown software specifications support testing by jpbowen and 1 other user on Aug 1, 2011, 7:39 PM
URL | BibTeX
Testing Preorders for Probabilistic Processes.
Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, and Shoji Yuen Inf. Comput. 154(2):93-148 (1999)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Priorities in Process Algebras
Rance Cleaveland, and Matthew Hennessy Inf. Comput. 87(1/2):58-77 (July 1990)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
A Process-Algebraic Language for Probabilistic I/O Automata.
Eugene W. Stark, Rance Cleaveland, and Scott A. Smolka CONCUR, volume 2761 of Lecture Notes in Computer Science, page 189-203. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems.
Dezhuang Zhang, Rance Cleaveland, and Eugene W. Stark TACAS, volume 2619 of Lecture Notes in Computer Science, page 431-436. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Evidence-Based Model Checking.
Li Tan, and Rance Cleaveland CAV, volume 2404 of Lecture Notes in Computer Science, page 455-470. Springer, (2002)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
Efficient Model Checking Via Büchi Tableau Automata.
Girish Bhat, Rance Cleaveland, and Alex Groce CAV, volume 2102 of Lecture Notes in Computer Science, page 38-52. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Simulation Revisited.
Li Tan, and Rance Cleaveland TACAS, volume 2031 of Lecture Notes in Computer Science, page 480-495. Springer, (2001)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper