Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th TACAS 2002: Grenoble, France (Part of ETAPS 2002)
- Joost-Pieter Katoen, Perdita Stevens:
Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2280, Springer 2002, ISBN 3-540-43419-4
Invited Contributions
- Michael R. Lowry:
Software Construction and Analysis Tools for Future Space Missions. 1-19 - Daniel Jackson:
Alloy: A New Technology for Software Modelling. 20
Real-Time and Probabilistic Systems
- Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero:
Improving the Verification of Timed Systems Using Influence Information. 21-36 - Joël Ouaknine:
Digitisation and Full Abstraction for Dense-Time Model Checking. 37-51 - Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. 52-66
Scheduling
- Elena Fersman, Paul Pettersson
, Wang Yi:
Timed Automata with Asynchronous Processes: Schedulability and Decidability. 67-82 - Hojung Cha, Rhan Ha:
Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems. 83-97 - K. Subramani:
An Analysis of Zero-Clairvoyant Scheduling. 98-112 - Yasmina Abdeddaïm, Oded Maler:
Preemptive Job-Shop Scheduling Using Stopwatch Automata. 113-126
Miscellaneous
- Horst F. Wedde, Arnim Wedig:
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems. 127-141 - Kevin Backhouse:
A Functional Semantics of Attribute Grammars. 142-157
Software Verification
- Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Relative Completeness of Abstraction Refinement for Software Model Checking. 158-172 - Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
Towards the Automated Verification of Multithreaded Java Programs. 173-187 - Fabrice Bouquet, Bruno Legeard, Fabien Peureux:
CLPS-B - A Constraint Solver for B. 188-204 - Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha:
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. 205-220
Infinite-State and Parametic Systems
- Marco Bozzano, Giorgio Delzanno:
Beyond Parameterized Verification. 221-235 - Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan:
Resource-Constrained Model Checking of Recursive Programs. 236-250 - E. Allen Emerson, Vineet Kahlon:
Model Checking Large-Scale and Parameterized Resource Allocation Systems. 251-265
Model Checking: Logics and Algorithms
- Patrice Godefroid, Sarfraz Khurshid:
Exploring Very Large State Spaces Using Genetic Algorithms. 266-280 - Radu Mateescu:
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. 281-295 - Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar:
The ForSpec Temporal Logic: A New Temporal Property-Specification Language. 296-211 - HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi:
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. 312-326
Model Checking and Testing
- Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural:
A Temporal Logic Based Theory of Test Coverage and Generation. 327-341 - Klaus Havelund, Grigore Rosu:
Synthesizing Monitors for Safety Properties. 342-356 - Alex Groce, Doron A. Peled, Mihalis Yannakakis:
Adaptive Model Checking. 357-370
Partial-Order and Simulation Techniques
- Keijo Heljanko, Victor Khomenko, Maciej Koutny:
Parallelisation of the Petri Net Unfolding Algorithm. 371-385 - Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou:
Black Box Unfolding with Local First Search. 386-400 - Doron Bustan, Orna Grumberg:
Applicability of Fair Simulation. 401-414 - Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Simulation as Coarsest Partition Problem. 415-430
Debugging with Model Checking
- Elsa L. Gunter, Doron A. Peled:
Temporal Debugging for Concurrent Systems. 431-444 - HoonSang Jin, Kavita Ravi, Fabio Somenzi:
Fate and Free Will in Error Traces. 445-459
Tool Papers
- Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi:
TIMES - A Tool for Modelling and Implementation of Embedded Systems. 460-464 - Frédéric Lang:
Compositional Verification Using SVL Scripts. 465-469 - Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva:
STG: A Symbolic Test Generation Tool. 470-475 - Christian Stehno:
Real-Time Systems Design with PEP. 476-480
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
