default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th FORTE / 12th FMOODS 2010: Amsterdam, The Netherlands
- John Hatcliff, Elena Zucca:
Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6117, Springer 2010, ISBN 978-3-642-13463-0
Invited Talk
- Gerard J. Holzmann:
Formal Software Verification: How Close Are We? 1
Formal UML Modeling
- Artur Boronat
, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo:
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. 2-16 - Frank Alexander Kraemer, Peter Herrmann:
Reactive Semantics for Distributed UML Activities. 17-31
Components and Architecture
- Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay:
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. 32-46 - Peter Csaba Ölveczky, Artur Boronat, José Meseguer:
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. 47-62 - Robert M. Hierons, Manuel Núñez:
Testing Probabilistic Distributed Systems. 63-77 - Juan José Pardo, Manuel Núñez, M. Carmen Ruiz:
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. 78-86 - Laura Bocchi, Emilio Tuosto:
Testing Attribute-Based Transactions in SOC. 87-94
Joint DisCoTec Session
- Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. 95-109
Timed Process Algebra
- Anton Wijs:
Forgetting the Time in Timed Process Algebra. 110-124 - Ernesto Posse, Jürgen Dingel:
Theory and Implementation of a Real-Time Extension to the pi-Calculus. 125-139
Timed and Hybrid Automata
- F. Javier Crespo, Alberto de la Encina, Luis Llana:
Fuzzy-Timed Automata. 140-154 - Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta:
Model Checking of Hybrid Systems Using Shallow Synchronization. 155-169
Program Logics and Analysis
- Jan Smans, Bart Jacobs, Frank Piessens:
Heap-Dependent Expressions in Separation Logic. 170-185 - Pietro Ferrara:
Static Type Analysis of Pattern Matching by Abstract Interpretation. 186-200
Reasoning about Distributed Systems
- Yongyuth Permpoontanalarp:
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols. 201-215 - Péter Bokor, Marco Serafini, Neeraj Suri:
On Efficient Models for Model Checking Message-Passing Distributed Protocols. 216-223 - Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino:
Logics for Contravariant Simulations. 224-231
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 2024-12-08 01:36 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:
