Conferences in DBLP
Mario Coppo , Mariangiola Dezani-Ciancaglini , Nobuko Yoshida Asynchronous Session Types and Progress for Object Oriented Languages. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:1-31 [Conf ] Wolfgang Ahrendt , Bernhard Beckert , Reiner Hähnle , Peter H. Schmitt KeY: A Formal Method for Object-Oriented Systems. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:32-43 [Conf ] L. Ruhai Cai , Jeremy S. Bradbury , Jürgen Dingel Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:44-58 [Conf ] John Mullins , Raveca Oarga Model Checking of Extended OCL Constraints on UML Models in SOCLe. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:59-75 [Conf ] Gregor Engels , Christian Soltenborn , Heike Wehrheim Analysis of UML Activities Using Dynamic Meta Modeling. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:76-90 [Conf ] Adrián Riesco , Alberto Verdejo Distributed Applications Implemented in Maude with Parameterized Skeletons. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:91-106 [Conf ] Mark Hills , Grigore Rosu On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:107-121 [Conf ] Peter Csaba Ölveczky , Stian Thorvaldsen Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:122-140 [Conf ] Pascal Poizat , Gwen Salaün Adaptation of Open Component-Based Systems. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:141-156 [Conf ] Arnd Poetzsch-Heffter , Jan Schäfer A Representation-Independent Behavioral Semantics for Object-Oriented Components. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:157-173 [Conf ] Cristian Prisacariu , Gerardo Schneider A Formal Language for Electronic Contracts. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:174-189 [Conf ] Ludovic Henrio , Florian Kammüller A Mechanized Model of the Theory of Objects. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:190-205 [Conf ] Philippe Bidinger , Adriana B. Compagnoni Pict Correctness Revisited. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:206-220 [Conf ] Holger Grandy , Kurt Stenzel , Wolfgang Reif A Refinement Method for Java Programs. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:221-235 [Conf ] Thomas Ruhroth , Heike Wehrheim Refactoring Object-Oriented Specifications with Data and Processes. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:236-251 [Conf ] Frank S. de Boer A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:252-268 [Conf ] Marco Bernardo , Luca Padovani Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:269-284 [Conf ] Minyoung Kim , Mark-Oliver Stehr , Carolyn L. Talcott , Nikil D. Dutt , Nalini Venkatasubramanian A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:285-300 [Conf ] Sun Meng , Farhad Arbab On Resource-Sensitive Timed Component Connectors. [Citation Graph (0, 0)][DBLP ] FMOODS, 2007, pp:301-316 [Conf ]