Conferences in DBLP
Rocco De Nicola , Daniele Gorla , Rosario Pugliese Pattern Matching over a Dynamic Network of Tuple Spaces. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:1-14 [Conf ] Einar Broch Johnsen , Olaf Owe , Isabelle Simplot-Ryl A Dynamic Class Construct for Asynchronous Concurrent Objects. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:15-30 [Conf ] Philippe Bidinger , Alan Schmitt , Jean-Bernard Stefani An Abstract Machine for the Kell Calculus. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:31-46 [Conf ] Lucia Acciai , Michele Boreale XPi: A Typed Process Calculus for XML Messaging. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:47-66 [Conf ] Holger Rasch , Heike Wehrheim Checking the Validity of Scenarios in UML Models. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:67-82 [Conf ] Marcel Kyas An Extended Type System for OCL Supporting Templates and Transformations. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:83-98 [Conf ] Rodrigo Ramos , Augusto Sampaio , Alexandre Mota A Semantics for UML-RT Active Classes via Mapping into Circus. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:99-114 [Conf ] Fabio Martinelli Towards an Integrated Formal Analysis for Security and Trust. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:115-130 [Conf ] Ricardo Corin , Gaetano Di Caprio , Sandro Etalle , Stefania Gnesi , Gabriele Lenzini , Corrado Moiso A Formal Security Analysis of an OSA/Parlay Authentication Interface. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:131-146 [Conf ] Martín López Nores , José J. 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. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:147-162 [Conf ] Renaud Pawlak , Laurence Duchien , Lionel Seinturier CompAr: Ensuring Safe Around Advice Composition. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:163-178 [Conf ] Hoang Truong Guaranteeing Resource Bounds for Component Software. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:179-194 [Conf ] Andreas Roth Specification and Verification of Encapsulation in Java Programs. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:195-210 [Conf ] Koushik Sen , Grigore Rosu , Gul Agha Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:211-226 [Conf ] Alberto Verdejo , Narciso Martí-Oliet , Tomás Robles , Joaquín Salvachúa , Luis Llana , Margarita Bradley Transforming Information in RDF to Rewriting Logic. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:227-242 [Conf ] Wolfgang Reisig Modeling- and Analysis Techniques for Web Services and Business Processes. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:243-258 [Conf ] Nadia Busi , Luca Padovani A Distributed Implementation of Mobile Nets as Mobile Agents. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:259-274 [Conf ] Pawel T. Wojciechowski , Olivier Rütti On Correctness of Dynamic Protocol Update. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:275-289 [Conf ] Rolf Hennicker , Matthias Ludwig Property-Driven Development of a Coordination Model for Distributed Simulations. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:290-305 [Conf ] Sibusisiwe Chiyangwa , Marta Z. Kwiatkowska A Timing Analysis of AODV. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:306-321 [Conf ]