Search results for "CTL"

Found 822 publication records. Showing 822 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Michael Huth 0001, Marta Z. Kwiatkowska	Quantitative Analysis and Model Checking.	LICS	1997	DBLP DOI BibTeX RDF
9	Jean-Michel Ilié, Khalil Ajami	Model Checking Through Symbolic Reachability Graph.	TAPSOFT	1997	DBLP DOI BibTeX RDF
9	Amir Pnueli, Elad Shahar	A Platform for Combining Deductive with Algorithmic Verification.	CAV	1996	DBLP DOI BibTeX RDF
9	Ernst W. Biersack, Frédéric Thiesse	Statistical Admission Control in Video Servers with Variable Bit-Rate Streams and Constant Time Length Retrieva.	EUROMICRO	1996	DBLP DOI BibTeX RDF	statistical admission control, constant time length retrieval, server disk, statistical service guarantee, deterministic service guarantee, quality of service, performance evaluation, video servers, network servers, disk storage, variable bit rate streams, I/O bandwidth
9	Roope Kaivola	Axiomatising Extended Computation Tree Logic.	CAAP	1996	DBLP DOI BibTeX RDF
9	Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi	A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking.	CONCUR	1996	DBLP DOI BibTeX RDF
9	Javier Esparza, Astrid Kiehn	On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes.	CAV	1995	DBLP DOI BibTeX RDF
9	Ahmed Bouajjani, Rachid Echahed, Peter Habermehl	Verifying Infinite State Processes with Sequential and Parallel Composition.	POPL	1995	DBLP DOI BibTeX RDF
9	Martín Abadi, Stephan Merz	An Abstract Account of Composition.	MFCS	1995	DBLP DOI BibTeX RDF
9	Birgit Tausend	A Guided Tour Through Hypothesis Spaces in ILP.	ECML	1995	DBLP DOI BibTeX RDF
9	Parosh Aziz Abdulla, Bengt Jonsson 0001	Undecidable Verification Problems for Programs with Unreliable Channels.	ICALP	1994	DBLP DOI BibTeX RDF
9	François Laroussinie, Philippe Schnoebelen	A Hierarchy of Temporal Logics with Past (Extended Abstract).	STACS	1994	DBLP DOI BibTeX RDF
9	Ahmed Bouajjani, Rachid Echahed, Riadh Robbana	Verification of Nonregular Temporal Properties for Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
9	Birgit Tausend	Representing Biases for Inductive Logic Programming.	ECML	1994	DBLP DOI BibTeX RDF
9	Susanne Graf, Claire Loiseaux	A Tool for Symbolic Program Verification and Abstration.	CAV	1993	DBLP DOI BibTeX RDF
9	Alessandro Fantechi, Stefania Gnesi, V. Perticaroli	An Expressive Logic for Basic Process Algebra.	MFCS	1993	DBLP DOI BibTeX RDF
9	Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima	Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic.	CAV	1992	DBLP DOI BibTeX RDF
9	Orna Grumberg, David E. Long	Model Checking and Modular Verification.	CONCUR	1991	DBLP DOI BibTeX RDF
9	Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima	Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity.	CAV	1990	DBLP DOI BibTeX RDF
9	Rocco De Nicola, Frits W. Vaandrager	Action versus State based Logics for Transition Systems.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
9	Edmund M. Clarke, Anca Browne, Robert P. Kurshan	A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata.	CAAP	1990	DBLP DOI BibTeX RDF
9	E. Allen Emerson, Tom Sadler, Jai Srinivasan	Efficient Temporal Reasoning.	POPL	1989	DBLP DOI BibTeX RDF

Displaying result #801 - #822 of 822 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9]