Abstract is missing.
- Combining Theorem Proving and Model Checking through Symbolic AnalysisNatarajan Shankar. 1-16 [doi]
- Verification Is Experimentation!Ed Brinksma. 17-24 [doi]
- Compositional Performance Analysis Using Probabilistic I/O AutomataEugene W. Stark. 25-28 [doi]
- Formal Models for Communication-Based DesignAlberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno. 29-47 [doi]
- Programming Access Control: The KLAIM ExperienceRocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese. 48-65 [doi]
- Exploiting Hierarchical Structure for Efficient Formal VerificationRajeev Alur. 66-68 [doi]
- From Process Calculi to Process FrameworksPhilippa Gardner. 69-88 [doi]
- Verification Using Tabled Logic ProgrammingC. R. Ramakrishnan. 89-91 [doi]
- Open Systems in Reactive Environments: Control and SynthesisOrna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi. 92-107 [doi]
- Model Checking with Finite Complete Prefixes Is PSPACE-CompleteKeijo Heljanko. 108-122 [doi]
- Verifying Quantitative Properties of Continuous Probabilistic Timed AutomataMarta Z. Kwiatkowska, Gethin J. Norman, Roberto Segala, Jeremy Sproston. 123-137 [doi]
- The Impressive Power of StopwatchesFranck Cassez, Kim Guldstrand Larsen. 138-152 [doi]
- Optimizing Büchi AutomataKousha Etessami, Gerard J. Holzmann. 153-167 [doi]
- Generalized Model Checking: Reasoning about Partial State SpacesGlenn Bruns, Patrice Godefroid. 168-182 [doi]
- Reachability Analysis for Some Models of Infinite-State Transition SystemsOscar H. Ibarra, Tevfik Bultan, Jianwen Su. 183-198 [doi]
- Process SpacesRadu Negulescu. 199-213 [doi]
- Failure Semantics for the Exchange of Information in Multi-Agent SystemsFrank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer. 214-228 [doi]
- Proof-Outlines for Threads in JavaErika Ábrahám-Mumm, Frank S. de Boer. 229-242 [doi]
- Deriving Bisimulation Congruences for Reactive SystemsJames J. Leifer, Robin Milner. 243-258 [doi]
- Bisimilarity Congruences for Open Terms and Term Graphs via Tile LogicRoberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari. 259-274 [doi]
- Process Languages for Rooted Eager BisimulationIrek Ulidowski, Shoji Yuen. 275-289 [doi]
- Action ContractionArend Rensink. 290-304 [doi]
- A Theory of Testing for Markovian ProcessesMarco Bernardo, Rance Cleaveland. 305-319 [doi]
- Reasoning about Probabilistic Lossy Channel SystemsParosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson. 320-333 [doi]
- Weak Bisimulation for Probabilistic SystemsAnna Philippou, Insup Lee, Oleg Sokolsky. 334-349 [doi]
- Nondeterminism and Probabilistic Choice: Obeying the LawsMichael W. Mislove. 350-364 [doi]
- Secrecy and Group CreationLuca Cardelli, Giorgio Ghelli, Andrew D. Gordon. 365-379 [doi]
- On the Reachability Problem in Cryptographic ProtocolsRoberto M. Amadio, Denis Lugiez. 380-394 [doi]
- Secure Information Flow for Concurrent ProcessesJan Jürjens. 395-409 [doi]
- LP Deadlock Checking Using Partial Order DependenciesVictor Khomenko, Maciej Koutny. 410-425 [doi]
- Pomsets for Local Trace Languages - Recognizability, Logic & Petri NetsDietrich Kuske, Rémi Morin. 426-441 [doi]
- Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor ArcsPaolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna. 442-457 [doi]
- The Control of Synchronous SystemsLuca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang. 458-473 [doi]
- Typing Non-uniform Concurrent ObjectsAntónio Ravara, Vasco Thudichum Vasconcelos. 474-488 [doi]
- An Implicitly-Typed Deadlock-Free Process CalculusNaoki Kobayashi, Shin Saito, Eijiro Sumii. 489-503 [doi]
- Typed Mobile ObjectsMichele Bugliesi, Giuseppe Castagna, Silvia Crafa. 504-520 [doi]
- Synthesizing Distributed Finite-State Systems from MSCsMadhavan Mukund, K. Narayan Kumar, Milind A. Sohoni. 521-535 [doi]
- Emptiness Is Decidable for Asynchronous Cellular MachinesDietrich Kuske. 536-551 [doi]
- Revisiting Safety and Liveness in the Context of FailuresBernadette Charron-Bost, Sam Toueg, Anindya Basu. 552-565 [doi]
- Well-Abstracted Transition SystemsAlain Finkel, S. Purushothaman Iyer, Grégoire Sutre. 566-580 [doi]
- A Unifying Approach to Data-IndependenceRanko Lazic, David Nowak. 581-595 [doi]
- Chi Calculus with MismatchYuxi Fu, Zhenrong Yang. 596-610 [doi]