Abstract is missing.
- Towards Global and Local Types for AdaptationMario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro. 3-14 [doi]
- A Concurrent Programming Language with Refined Session TypesJuliana Franco, Vasco Thudichum Vasconcelos. 15-28 [doi]
- Behavioural Types Inspired by Cellular ThresholdsBogdan Aman, Gabriel Ciobanu. 29-43 [doi]
- Ensuring Faultless Communication Behaviour in A Commercial CloudRoss Horne, Timur Umarov. 44-55 [doi]
- A Typing System for PrivacyDimitrios Kouzapas, Anna Philippou. 56-68 [doi]
- Compliance and Testing Preorders DifferGiovanni Bernardi, Matthew Hennessy. 69-81 [doi]
- Scalable Session Programming for Heterogeneous High-Performance SystemsNicholas Ng, Nobuko Yoshida, Wayne Luk. 82-98 [doi]
- A Supervisor Synthesis Tool for Finite Nondeterministic Automata with DataAleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski. 101-112 [doi]
- SMT-Constrained Symbolic Execution for Eclipse CDT/CodanAndreas Ibing. 113-124 [doi]
- IOCO as a SimulationLuis Llana, Rafael Martínez-Torres. 125-134 [doi]
- Modeling and Simulating Interaction Protocols Using Nested Petri NetsMirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva. 135-150 [doi]
- PetriCode: A Tool for Template-Based Code Generation from CPN ModelsKent Inge Fagerland Simonsen. 151-163 [doi]
- Twenty-Five Years of Formal Methods and Railways: What Next?Alessandro Fantechi. 167-183 [doi]
- What IS a BoK? Large - Extended Abstract -Tom Maibaum. 184-188 [doi]
- Verification of Scheme Plans Using CSP $$||$$ | | BPhillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, Helen Treharne, Matthew Trumble, David M. Williams. 189-204 [doi]
- Applied Bounded Model Checking for Interlocking System DesignsAnne Elisabeth Haxthausen, Jan Peleska, Ralf Pinger. 205-220 [doi]
- Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADORobert Abo, Laurent Voisin. 221-236 [doi]
- Validation of Railway Interlocking Systems by Formal Verification, A Case StudyAndrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani. 237-252 [doi]
- Verification of Solid State Interlocking ProgramsPhillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick. 253-268 [doi]
- Towards Knowledge Modeling for Sustainable TransportPaloma Cáceres, Carlos E. Cuesta, José María Cavero, Belén Vela, Almudena Sierra-Alonso. 271-287 [doi]
- XBRL-Driven Business Process Improvement: A Simulation Study in the Accounting DomainMartin Kloos, Joris Hulstijn, Mamadou Seck, Marijn Janssen. 288-305 [doi]
- The Role of Linked Data and Semantic-Technologies for Sustainability Idea ManagementAlain Perez, Felix Larrinaga, Edward Curry. 306-312 [doi]
- Stochastic Modelling of Seasonal Migration Using Rewriting Systems with SpatialitySuryana Setiawan, Antonio Cerone. 313-328 [doi]
- A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsRoberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini. 329-344 [doi]
- Process Ordering in a Process Calculus for Spatially-Explicit Ecological ModelsAnna Philippou, Mauricio Toro. 345-361 [doi]
- DISPAS: An Agent-Based Tool for the Management of Fishing EffortPierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli. 362-367 [doi]
- Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily RiskyPeter T. Breuer, Jonathan P. Bowen. 371-388 [doi]
- Soundness and Completeness of the NRB Verification LogicPeter T. Breuer, Simon Pickin. 389-404 [doi]
- Analysis of FLOSS Communities as Learning ContextsSara Fernandes, Antonio Cerone, Luís Soares Barbosa. 405-416 [doi]
- Small World Characteristics of FLOSS DistributionsJaap Boender, Sara Fernandes. 417-429 [doi]