|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 517 occurrences of 260 keywords
|
|
|
Results
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] |
|