default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th FMOODS 2005: Athens, Greece
- Martin Steffen, Gianluigi Zavattaro:
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science 3535, Springer 2005, ISBN 3-540-26181-8
Invited Talk
- Rocco De Nicola
, Daniele Gorla, Rosario Pugliese:
Pattern Matching over a Dynamic Network of Tuple Spaces. 1-14
Models and Calculi
- Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl:
A Dynamic Class Construct for Asynchronous Concurrent Objects. 15-30 - Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani:
An Abstract Machine for the Kell Calculus. 31-46 - Lucia Acciai, Michele Boreale:
XPi: A Typed Process Calculus for XML Messaging. 47-66
UML
- Holger Rasch, Heike Wehrheim:
Checking the Validity of Scenarios in UML Models. 67-82 - Marcel Kyas:
An Extended Type System for OCL Supporting Templates and Transformations. 83-98 - Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
A Semantics for UML-RT Active Classes via Mapping into Circus. 99-114
Security
- Fabio Martinelli:
Towards an Integrated Formal Analysis for Security and Trust. 115-130 - Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso:
A Formal Security Analysis of an OSA/Parlay Authentication Interface. 131-146
Composition and Verification
- Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Ana Belén Barragáns-Martínez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer:
Tracing Integration Analysis in Component-Based Formal Specifications. 147-162 - Renaud Pawlak, Laurence Duchien, Lionel Seinturier:
CompAr: Ensuring Safe Around Advice Composition. 163-178 - Hoang Truong:
Guaranteeing Resource Bounds for Component Software. 179-194
Analysis of Java Programs
- Andreas Roth:
Specification and Verification of Encapsulation in Java Programs. 195-210 - Koushik Sen, Grigore Rosu, Gul Agha:
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. 211-226
Web Services
- Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley:
Transforming Information in RDF to Rewriting Logic. 227-242 - Wolfgang Reisig:
Modeling- and Analysis Techniques for Web Services and Business Processes. 243-258 - Nadia Busi, Luca Padovani:
A Distributed Implementation of Mobile Nets as Mobile Agents. 259-274
Specification and Verification
- Pawel T. Wojciechowski, Olivier Rütti:
On Correctness of Dynamic Protocol Update. 275-289 - Rolf Hennicker, Matthias Ludwig:
Property-Driven Development of a Coordination Model for Distributed Simulations. 290-305 - Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska:
A Timing Analysis of AODV. 306-321
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-22 19:05 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:
