Abstract is missing.
- Guiding Distributed Systems Synthesis with Language-Based Security PoliciesAndrew Myers. 1 [doi]
- Termination Analysis of Java BytecodeElvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini. 2-18 [doi]
- Sessions and Pipelines for Structured Service ProgrammingMichele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti. 19-38 [doi]
- Modular Preservation of Safety Properties by Cookie-Based DoS-Protection WrappersRohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan. 39-58 [doi]
- Behavioural Theory at Work: Program Transformations in a Service-Centred CalculusLuís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos. 59-77 [doi]
- Mechanizing a Correctness Proof for a Lock-Free Concurrent StackJohn Derrick, Gerhard Schellhorn, Heike Wehrheim. 78-95 [doi]
- Symbolic Step Encodings for Object Based Communicating State MachinesJori Dubrovin, Tommi A. Junttila, Keijo Heljanko. 96-112 [doi]
- Modeling and Model Checking Software Product LinesAlexander Gruler, Martin Leucker, Kathrin D. Scheidemann. 113-131 [doi]
- Semantic Foundations and Inference of Non-null AnnotationsLaurent Hubert, Thomas P. Jensen, David Pichardie. 132-149 [doi]
- Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model CheckingMichael Katelman, José Meseguer, Jennifer C. Hou. 150-169 [doi]
- A Minimal Set of Refactoring Rules for Object-ZTim McComb, Graeme Smith. 170-184 [doi]
- Formal Modeling of a Generic Middleware to Ensure Invariant PropertiesXavier Renault, Jérôme Hugues, Fabrice Kordon. 185-200 [doi]
- CoBoxes: Unifying Active Objects and Structured HeapsJan Schäfer, Arnd Poetzsch-Heffter. 201-219 [doi]
- VeriCool: An Automatic Verifier for a Concurrent Object-Oriented LanguageJan Smans, Bart Jacobs 0002, Frank Piessens. 220-239 [doi]
- A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate LanguageDries Vanoverberghe, Frank Piessens. 240-258 [doi]