For some weeks now, the dblp team has been receiving an exceptionally high number of support and error correction requests from the community. While we are grateful and happy to process all incoming emails, please assume that it will currently take us several weeks to read and address your request. Most importantly, please refrain from sending your request multiple times. This will not advance your issue and will only complicate and extend the time required to address it. Thank you for your understanding.

Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

default search action

combined dblp search
author search
venue search
publication search

ask others

32nd FORTE / 14th FMOODS 2012: Stockholm, Sweden

> Home > Conferences and Workshops > FORTE
> Home > Conferences and Workshops > FMOODS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/forte/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2012
Holger Giese, Grigore Rosu:
Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Lecture Notes in Computer Science 7273, Springer 2012, ISBN 978-3-642-30792-8
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/LienhardtLMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/LienhardtLMS12
Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
A Reversible Abstract Machine and Its Space Overhead. 1-17
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/JohnsonM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/JohnsonM12
Taylor T. Johnson, Sayan Mitra:
A Small Model Theorem for Rectangular Hybrid Automata Networks. 18-34
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/AlbertFG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AlbertFG12
Elvira Albert, Antonio Flores-Montoya, Samir Genaim:
Analysis of May-Happen-in-Parallel in Concurrent Objects. 35-51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/AmanCK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AmanCK12
Bogdan Aman, Gabriel Ciobanu, Maciej Koutny:
Behavioural Equivalences over Migrating Processes with Timers. 52-66
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/KlaiD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KlaiD12
Kais Klai, Jörg Desel:
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. 67-83
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/KindermannJN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KindermannJN12
Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä:
Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata. 84-100
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/PrabhakarV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/PrabhakarV12
Pavithra Prabhakar, Mahesh Viswanathan:
Conformance Testing of Boolean Programs with Multiple Faults. 101-117
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/BensalemBQS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BensalemBQS12
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. 118-134
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/CeroneH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CeroneH12
Andrea Cerone, Matthew Hennessy:
Modelling Probabilistic Wireless Networks - (Extended Abstract). 135-151
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/MilushevBC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/MilushevBC12
Dimiter Milushev, Wim Beck, Dave Clarke:
Noninterference via Symbolic Execution. 152-168
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/Romero-HernandezF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Romero-HernandezF12
David Romero-Hernández, David de Frutos-Escrig:
Defining Distances for All Process Semantics. 169-185
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/BartheCDPR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BartheCDPR12
Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas:
Secure Multi-Execution through Static Program Transformation. 186-202
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/DelahayeFHLN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DelahayeFHLN12
Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Synchronous Interface Theories and Time Triggered Scheduling. 203-218
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/TasharofiKLLMA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/TasharofiKLLMA12
Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha:
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. 219-234
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/DelzannoSZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DelzannoSZ12
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
Verification of Ad Hoc Networks with Node and Communication Failures. 235-250
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/EarleF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/EarleF12
Clara Benac Earle, Lars-Åke Fredlund:
Verification of Timed Erlang Programs Using McErlang. 251-267

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.