Abstract is missing.
- Formal Software Verification: How Close Are We?Gerard J. Holzmann. 1 [doi]
- Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision PlanningArtur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo. 2-16 [doi]
- Reactive Semantics for Distributed UML ActivitiesFrank Alexander Kraemer, Peter Herrmann. 17-31 [doi]
- Statistical Abstraction and Model-Checking of Large Heterogeneous SystemsAnanda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay. 32-46 [doi]
- Formal Semantics and Analysis of Behavioral AADL Models in Real-Time MaudePeter Csaba Ölveczky, Artur Boronat, José Meseguer. 47-62 [doi]
- Testing Probabilistic Distributed SystemsRobert M. Hierons, Manuel Núñez. 63-77 [doi]
- Specification and Testing of E-Commerce Agents Described by Using UIOLTSsJuan José Pardo, Manuel Núñez, M. Carmen Ruiz. 78-86 [doi]
- Testing Attribute-Based Transactions in SOCLaura Bocchi, Emilio Tuosto. 87-94 [doi]
- Grouping Nodes in Wireless Sensor Networks Using Coalitional Game TheoryFatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham. 95-109 [doi]
- Forgetting the Time in Timed Process AlgebraAnton Wijs. 110-124 [doi]
- Theory and Implementation of a Real-Time Extension to the ::::pi::::-CalculusErnesto Posse, Jürgen Dingel. 125-139 [doi]
- Fuzzy-Timed AutomataF. Javier Crespo, Alberto de la Encina, Luis Llana. 140-154 [doi]
- Model Checking of Hybrid Systems Using Shallow SynchronizationLei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta. 155-169 [doi]
- Heap-Dependent Expressions in Separation LogicJan Smans, Bart Jacobs, Frank Piessens. 170-185 [doi]
- Static Type Analysis of Pattern Matching by Abstract InterpretationPietro Ferrara. 186-200 [doi]
- On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic ProtocolsYongyuth Permpoontanalarp. 201-215 [doi]
- On Efficient Models for Model Checking Message-Passing Distributed ProtocolsPéter Bokor, Marco Serafini, Neeraj Suri. 216-223 [doi]
- Logics for Contravariant SimulationsIgnacio Fábregas, David de Frutos-Escrig, Miguel Palomino. 224-231 [doi]