default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSEFM Workshops 2013: Madrid, Spain
- Steve Counsell, Manuel Núñez:
Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8368, Springer 2014, ISBN 978-3-319-05031-7
BEAT 2
- Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro
, Jorge A. Pérez, Gianluigi Zavattaro:
Towards Global and Local Types for Adaptation. 3-14 - Juliana Franco, Vasco Thudichum Vasconcelos:
A Concurrent Programming Language with Refined Session Types. 15-28 - Bogdan Aman, Gabriel Ciobanu:
Behavioural Types Inspired by Cellular Thresholds. 29-43 - Ross Horne, Timur Umarov:
Ensuring Faultless Communication Behaviour in A Commercial Cloud. 44-55 - Dimitrios Kouzapas, Anna Philippou:
A Typing System for Privacy. 56-68 - Giovanni Bernardi, Matthew Hennessy:
Compliance and Testing Preorders Differ. 69-81 - Nicholas Ng, Nobuko Yoshida, Wayne Luk:
Scalable Session Programming for Heterogeneous High-Performance Systems. 82-98
WS-FMDS 2013
- Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski:
A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data. 101-112 - Andreas Ibing:
SMT-Constrained Symbolic Execution for Eclipse CDT/Codan. 113-124 - Luis Llana, Rafael Martínez-Torres:
IOCO as a Simulation. 125-134 - Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva:
Modeling and Simulating Interaction Protocols Using Nested Petri Nets. 135-150 - Kent Inge Fagerland Simonsen:
PetriCode: A Tool for Template-Based Code Generation from CPN Models. 151-163
FM-RAIL-BOK 2013
- Alessandro Fantechi:
Twenty-Five Years of Formal Methods and Railways: What Next? 167-183 - Tom Maibaum:
What IS a BoK? Large - Extended Abstract -. 184-188 - Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams:
Verification of Scheme Plans Using CSP $$||$$ | | B. 189-204 - Anne E. Haxthausen, Jan Peleska, Ralf Pinger:
Applied Bounded Model Checking for Interlocking System Designs. 205-220 - Robert Abo, Laurent Voisin:
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO. 221-236 - Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani:
Validation of Railway Interlocking Systems by Formal Verification, A Case Study. 237-252 - Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick:
Verification of Solid State Interlocking Programs. 253-268
MoKMaSD 2013
- Paloma Cáceres, Carlos E. Cuesta, José María Cavero, Belén Vela, Almudena Sierra-Alonso:
Towards Knowledge Modeling for Sustainable Transport. 271-287 - Martin Kloos, Joris Hulstijn, Mamadou D. Seck, Marijn Janssen:
XBRL-Driven Business Process Improvement: A Simulation Study in the Accounting Domain. 288-305 - Alain Perez, Felix Larrinaga, Edward Curry:
The Role of Linked Data and Semantic-Technologies for Sustainability Idea Management. 306-312 - Suryana Setiawan, Antonio Cerone:
Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality. 313-328 - Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini:
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. 329-344 - Anna Philippou, Mauricio Toro:
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. 345-361 - Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli:
DISPAS: An Agent-Based Tool for the Management of Fishing Effort. 362-367
OpenCert 2013
- Peter T. Breuer, Jonathan P. Bowen:
Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky. 371-388 - Peter T. Breuer, Simon Pickin:
Soundness and Completeness of the NRB Verification Logic. 389-404 - Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
Analysis of FLOSS Communities as Learning Contexts. 405-416 - Jaap Boender, Sara Fernandes:
Small World Characteristics of FLOSS Distributions. 417-429
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-20 00:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
