Abstract is missing.
- Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper)Tevfik Bultan. 1-4 [doi]
- Formal Analysis of a Distributed Algorithm for Tracking ProgressMartín Abadi, Frank McSherry, Derek Gordon Murray, Thomas L. Rodeheffer. 5-19 [doi]
- A Case Study in Formal Verification Using Multiple Explicit HeapsWojciech Mostowski. 20-34 [doi]
- Parameterized Verification of Track Topology Aggregation ProtocolsSergio Feo Arenis, Bernd Westphal. 35-49 [doi]
- Monitoring Networks through Multiparty Session TypesLaura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida. 50-65 [doi]
- Semantic Subtyping for Objects and ClassesOrnela Dardha, Daniele Gorla, Daniele Varacca. 66-82 [doi]
- Polymorphic Types for Leak Detection in a Session-Oriented Functional LanguageViviana Bono, Luca Padovani, Andrea Tosatto. 83-98 [doi]
- Passive Testing with Asynchronous CommunicationsRobert M. Hierons, Mercedes G. Merayo, Manuel Núñez. 99-113 [doi]
- Input-Output Conformance Simulation (iocos) for Model Based TestingCarlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres. 114-129 [doi]
- Model Checking Distributed Systems against Temporal-Epistemic SpecificationsAndreas Griesmayer, Alessio Lomuscio. 130-145 [doi]
- Formal Verification of Distributed Branching Multiway Synchronization ProtocolsHugues Evrard, Frédéric Lang. 146-160 [doi]
- An Abstract Framework for Deadlock Prevention in BIPPaul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket. 161-177 [doi]
- Bounded Model Checking of Graph Transformation Systems via SMT SolvingTobias Isenberg 0002, Dominik Steenken, Heike Wehrheim. 178-192 [doi]
- Verification of Directed Acyclic Ad Hoc NetworksParosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine. 193-208 [doi]
- Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy ChannelsJay Thakkar, Aditya Kanade, Rajeev Alur. 209-224 [doi]
- Asynchronously Communicating Visibly Pushdown SystemsDomagoj Babic, Zvonimir Rakamaric. 225-241 [doi]
- A Timed Component Algebra for ServicesBenoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes. 242-257 [doi]
- Probabilistic Analysis of the Quality CalculusHanne Riis Nielson, Flemming Nielson. 258-272 [doi]
- May-Happen-in-Parallel Based Deadlock Analysis for Concurrent ObjectsAntonio Flores-Montoya, Elvira Albert, Samir Genaim. 273-288 [doi]
- Lintent: Towards Security Type-Checking of Android ApplicationsMichele Bugliesi, Stefano Calzavara, Alvise Spanò. 289-304 [doi]
- Honesty by TypingMassimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino. 305-320 [doi]