| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dries Vanoverberghe, Frank Piessens |
A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language.  |
FMOODS  |
2008 |
DBLP DOI BibTeX RDF |
security policy enforcement, inline reference monitor |
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access |
| 1 | Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko |
Symbolic Step Encodings for Object Based Communicating State Machines. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Katelman, José Meseguer 0001, Jennifer C. Hou |
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Hubert, Thomas P. Jensen, David Pichardie |
Semantic Foundations and Inference of Non-null Annotations. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Smans, Bart Jacobs 0002, Frank Piessens |
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos |
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Carl A. Gunter, José Meseguer 0001, Ravinder Shankesi, Mahesh Viswanathan 0001 |
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti |
Sessions and Pipelines for Structured Service Programming. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Frank S. de Boer (eds.) |
Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim McComb, Graeme Smith 0001 |
A Minimal Set of Refactoring Rules for Object-Z. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schäfer 0002, Arnd Poetzsch-Heffter |
CoBoxes: Unifying Active Objects and Structured Heaps. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Gruler, Martin Leucker, Kathrin Danielle Scheidemann |
Modeling and Model Checking Software Product Lines. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew C. Myers |
Guiding Distributed Systems Synthesis with Language-Based Security Policies. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Renault, Jérôme Hugues, Fabrice Kordon |
Formal Modeling of a Generic Middleware to Ensure Invariant Properties. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini |
Termination Analysis of Java Bytecode. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
Asynchronous Session Types and Progress for Object Oriented Languages. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
Probabilistic Formal Methods, Resource Management, Statistical Analysis, Cross-layer Optimization |
| 1 | Philippe Bidinger, Adriana B. Compagnoni |
Pict Correctness Revisited. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Henrio, Florian Kammüller |
A Mechanized Model of the Theory of Objects. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Hills 0001, Grigore Rosu |
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
model checking, analysis, object-oriented languages, language design, rewriting logic |
| 1 | Peter Csaba Ölveczky, Stian Thorvaldsen |
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Poizat, Gwen Salaün |
Adaptation of Open Component-Based Systems. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Farhad Arbab |
On Resource-Sensitive Timed Component Connectors. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
Resource-Sensitive Timed Constraint Automata, Simulation, Coordination, Constraint Automata |
| 1 | Marco Bernardo 0001, Luca Padovani |
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Prisacariu, Gerardo Schneider |
A Formal Language for Electronic Contracts. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Mullins, Raveca Oarga |
Model Checking of Extended OCL Constraints on UML Models in SOCLe. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001, Alberto Verdejo |
Distributed Applications Implemented in Maude with Parameterized Skeletons. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
distributed applications, parameterization, Maude, Algorithmic skeletons |
| 1 | Marcello M. Bonsangue, Einar Broch Johnsen (eds.) |
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel |
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer |
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ruhroth, Heike Wehrheim |
Refactoring Object-Oriented Specifications with Data and Processes. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Engels, Christian Soltenborn, Heike Wehrheim |
Analysis of UML Activities Using Dynamic Meta Modeling. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
DMM, UML, verification, semantics, behavior |
| 1 | Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt |
KeY: A Formal Method for Object-Oriented Systems. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Grandy, Kurt Stenzel, Wolfgang Reif |
A Refinement Method for Java Programs. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnd Poetzsch-Heffter, Jan Schäfer 0002 |
A Representation-Independent Behavioral Semantics for Object-Oriented Components. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He 0001 |
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Jouault, Jean Bézivin |
KM3: A DSL for Metamodel Specification. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
The Bisimulation Proof Method: Enhancements and Open Problems. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Harmen Kastenberg, Anneke Kleppe, Arend Rensink |
Defining Object-Oriented Execution Semantics Using Graph Transformations. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe |
Type-Safe Runtime Class Upgrades in Creol. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro |
Separating Distribution from Coordination and Computation as Architectural Dimensions. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Heeseok Choi, Keunhyuk Yeom, Youhee Choi, Mikyeong Moon |
An Approach to Quality Achievement at the Architectural Level: AQUA. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, Andreas Grüner, Martin Steffen |
Abstract Interface Behavior of Object-Oriented Languages with Monitors. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
oo languages, thread-based concurrency, observable behavior, monitors, open systems, formal semantics |
| 1 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001 |
Transformation Laws for UML-RT. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen |
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Iulian Ober, Susanne Graf, David Lesens |
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux |
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Enrique Cuesta Quintero, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano |
Temporal Superimposition of Aspects for Dynamic Software Architecture. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Gwen Salaün |
Synchronizing Behavioural Mismatch in Software Composition. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002 |
Security Issues in Service Composition. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Heike Wehrheim (eds.) |
Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Ehrig, Jochen Malte Küster, Gabriele Taentzer, Jessica Winkelmann |
Generating Instance Models from Meta Models. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Poizat, Jean-Claude Royer, Gwen Salaün |
Bounded Analysis and Decomposition for Behavioural Descriptions of Components. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Guidi, Roberto Lucchi |
Mobility Mechanisms in Service Oriented Computing. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Grigore Rosu, Gul Agha |
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Renaud Pawlak, Laurence Duchien, Lionel Seinturier |
CompAr: Ensuring Safe Around Advice Composition. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Steffen, Gianluigi Zavattaro (eds.) |
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang Truong 0001 |
Guaranteeing Resource Bounds for Component Software. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Reisig |
Modeling- and Analysis Techniques for Web Services and Business Processes. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Busi, Luca Padovani |
A Distributed Implementation of Mobile Nets as Mobile Agents. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles 0001, Joaquín Salvachúa, Luis Llana, Margarita Bradley |
Transforming Information in RDF to Rewriting Logic. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
Semantic Web, formal methods, RDF, rewriting logic, Maude |
| 1 | Lucia Acciai, Michele Boreale |
XPi: A Typed Process Calculus for XML Messaging. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Roth 0002 |
Specification and Verification of Encapsulation in Java Programs. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli |
Towards an Integrated Formal Analysis for Security and Trust. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl |
A Dynamic Class Construct for Asynchronous Concurrent Objects. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001 |
A Semantics for UML-RT Active Classes via Mapping into Circus. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
model transformations, method integration, UML-RT, Circus |
| 1 | Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani |
An Abstract Machine for the Kell Calculus. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Rasch, Heike Wehrheim |
Checking the Validity of Scenarios in UML Models. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Kyas |
An Extended Type System for OCL Supporting Templates and Transformations. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska |
A Timing Analysis of AODV. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
Pattern Matching over a Dynamic Network of Tuple Spaces. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel T. Wojciechowski, Olivier Rütti |
On Correctness of Dynamic Protocol Update. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Hennicker, Matthias Ludwig 0002 |
Property-Driven Development of a Coordination Model for Distributed Simulations. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso |
A Formal Security Analysis of an OSA/Parlay Authentication Interface. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
Formal Verification of Security, OSA/Parlay API, Industrial Test Case |
| 1 | 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. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Colin, Xavier Thirioux, Marc Pantel |
Temporal Logic Based Static Analysis for Non-uniform Behaviours. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nirman Kumar, Koushik Sen, José Meseguer 0001, Gul Agha |
A Rewriting Based Model for Probabilistic Distributed Object Systems. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
Rewrite theory, probability, nondeterminism, actors, Maude |
| 1 | Bart Jacobs 0001 |
Java's Integral Types in PVS. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David H. Akehurst, John Derrick, A. Gill Waters |
Design and Verification of Distributed Multi-media Systems. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Prinz 0001, Martin von Löwis |
Engineering the SDL Formal Language Definition. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
Security, Sensor Networks, Wireless Communication, Formal Analysis |
| 1 | Heike Wehrheim |
Inheritance of Temporal Logic Properties. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Proof Scores in the OTS/CafeOBJ Method. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
observational transition system, proof scores, the NSLPK authentication protocol, verification, Algebraic specification, CafeOBJ |
| 1 | Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro |
A Calculus for Long-Running Transactions. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Pierik, Frank S. de Boer |
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Rasch, Heike Wehrheim |
Checking Consistency in UML Diagramms: Classes and State Machines. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederic Tronel, Frédéric Lang, Hubert Garavel |
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Luís Dotti, Luciana Foss, Leila Ribeiro 0001, Osmar Marchi dos Santos |
Verification of Distributed Object-Based Systems. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Paula Lüdtke Ferreira, Leila Ribeiro 0001 |
Towards Object-Oriented Graphs and Grammars. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Bidinger, Jean-Bernard Stefani |
The Kell Calculus: Operational Semantics and Type System. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Najm, Uwe Nestmann, Perdita Stevens (eds.) |
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Eisenbach, Vladimir Jurisic, Chris Sadler |
Managing the Evolution of .NET Programs. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
New Operators for the TURTLE Real-Time UML Profile. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Latella, Mieke Massink |
On Mobility Extensions of UML Statecharts. A Pragmatic Approach. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
Inductive Proof Outlines for Monitors in Java. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Taylor, Eerke A. Boiten, John Derrick |
Interpreting ODP Viewpoint Specification: Observations from a Case Study. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Yanjie Wang, Chris George |
Supporting Collaborative Design. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license