Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marjan Sirjani |
Rebeca: Theory, Applications, and Tools. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
Rebeca, Distributed Systems, Model Checking, Concurrency, Abstraction, Actors, Compositional Verification |
1 | Vladimiro Sassone, Karl Krukow, Mogens Nielsen |
Towards a Formal Framework for Computational Trust. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Cyrille Artho, Armin Biere, Shinichi Honiden |
Exhaustive Testing of Exception Handlers with Enforcer. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Jeannet, Thierry Jéron, Vlad Rusu |
Model-Based Test Selection for Infinite-State Reactive Systems. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lars Frantzen, Jan Tretmans |
Model-Based Testing of Environmental Conformance of Components. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida |
Bounded Session Types for Object Oriented Languages. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Leucker |
Learning Meets Verification. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet |
JACK - A Tool for Validation of Security and Behaviour of Java Applications. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (eds.) |
Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Größer, Christel Baier |
Partial Order Reduction for Markov Decision Processes: A Survey. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dino Distefano, Joost-Pieter Katoen, Arend Rensink |
Safety and Liveness in Concurrent Pointer Programs. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Dams, Kedar S. Namjoshi |
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan Komenda, Jan H. van Schuppen |
Control of Modular and Distributed Discrete-Event Systems. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Davide Sangiorgi |
Beyond Bisimulation: The "up-to" Techniques. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Poetzsch-Heffter, Jan Schäfer 0002 |
Modular Specification of Encapsulated Object-Oriented Components. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Lubos Brim, Ivana Cerná |
Cluster-Based LTL Model Checking of Large Systems. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll |
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael Barnett 0001, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs 0002, K. Rustan M. Leino |
Boogie: A Modular Reusable Verifier for Object-Oriented Programs. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gian-Luigi Ferrari 0002, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto |
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Maria Grazia Vigliotti, Iain Phillips 0001, Catuscia Palamidessi |
Separation Results Via Leader Election Problems. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg |
Abstraction and Refinement in Model Checking. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn |
Smallfoot: Modular Automatic Assertion Checking with Separation Logic. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen |
The Pragmatics of STAIRS. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kung-Kiu Lau, Mario Ornaghi, Zheng Wang 0015 |
A Software Component Model and Its Preliminary Formalisation. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Natasha Sharygina, Nishant Sinha 0001 |
Program Compatibility Approaches. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens |
Model-Based Security Engineering with UML: Introducing Security Aspects. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Cointe, Hervé Albin-Amiot, Simon Denier |
From (Meta) Objects to Aspects: A Java and AspectJ Point of View. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen |
Observability, Connectivity, and Replay in a Sequential Calculus of Classes. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Eugenio Moggi |
Program Generation and Components. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luís Soares Barbosa |
A Perspective on Component Refinement. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Michele Loreti |
MoMo: A Modal Logic for Reasoning About Mobility. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball |
A Theory of Predicate-Complete Test Coverage and Generation. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Probabilistic Linda-Based Coordination Languages. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Einar Broch Johnsen, Olaf Owe |
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li |
rCOS: Refinement of Component and Object Systems. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (eds.) |
Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen |
Priced Timed Automata: Algorithms and Applications. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám |
A Fully Abstract Semantics for UML Components. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | David A. Naumann |
Assertion-Based Encapsulation, Object Invariants and Simulations. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Wilhelm |
Timing Analysis and Timing Predictability. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski |
Games with Secure Equilibria. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Gößler, Joseph Sifakis |
Priority Systems. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote, Tim A. C. Willemse |
A Checker for Modal Formulae for Processes with Data. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
First Order Modal -Calculus, First Order Boolean Equation Systems, Data-Dependent Systems, Model Checking, Infinite State Systems, CRL |
1 | Heike Wehrheim |
Preserving Properties Under Change. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Razvan Diaconescu |
Behavioural Specification for Hierarchical Object Composition. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Sheyner, Jeannette M. Wing |
Tools for Generating and Analyzing Attack Graphs. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, Antónia Lopes |
CommUnity on the Move: Architectures for Distribution and Mobility. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001, Riccardo Pucella |
TulaFale: A Security Tool for Web Services. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jan A. Bergstra |
Machine Function Based Control Code Algebras. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jochen Malte Küster, Gregor Engels |
Consistency Management Within Model-Based Object-Oriented Development of Components. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger, Robert F. Stärk |
Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog |
On the Verification of Cooperating Traffic Agents. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Natalia Ioustinova, Natalia Sidorova, Martin Steffen |
Synchronous Closing and Flow Analysis for Model Checking Timed Systems. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Jézéquel, Olivier Defour, Noël Plouzeau |
An MDA Approach to Tame Component Based Software Development. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (eds.) |
Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Gurevich, Benjamin Rossman, Wolfram Schulte |
Semantic Essence of AsmL. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Cees Pierik |
How to Cook a Complete Hoare Logic for Your Pet OO Language. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jan J. M. M. Rutten |
An Application of Stream Calculus to Signal Flow Graphs. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva |
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Pattinson, Martin Wirsing |
Making Components Move: A Separation of Concerns Approach. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hayco de Jong, Paul Klint |
ToolBus: The Next Generation. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Hooman, Jaco van de Pol |
Equivalent Semantic Models for a Distributed Dataspace Architecture. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Brannon Batson, Leslie Lamport |
High-Level Specifications: Lessons from Industry. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gian-Luigi Ferrari 0002, Ugo Montanari, Roberto Raggi, Emilio Tuosto |
From Co-algebraic Specifications to Implementation: The Mihda Toolkit. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Rüdiger Olderog, Heike Wehrheim |
Specification and Inheritance in CSP-OZ. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
failure divergence semantics, safety and liveness properties, model-checking, CSP, inheritance, Object-Z, FDR |
1 | Juha Plosila, Kaisa Sere, Marina Waldén |
Design with Asynchronously Communicating Components. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Joseph Kiniry, Martijn Warnier |
Java Program Verification Challenges. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok |
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Rumpe |
Model-Based Testing of Object-Oriented Systems. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Gößler, Joseph Sifakis |
Composition for Component-Based Modeling. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
A Tool-Supported Proof System for Multithreaded Java. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh |
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Bernd Westphal |
Live and Let Die: LSC-Based Verification of UML-Models. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Karine Arnout, Bertrand Meyer 0001 |
Finding Implicit Contracts in .NET Components. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
Design by ContractTM, Library design, Implicit contracts, Contract Wizard, Metadata, Reuse, Eiffel, .NET |
1 | Oscar Nierstrasz, Franz Achermann |
A Calculus for Modeling Software Components. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Perdita Stevens, Jennifer Tenzer |
Games for UML Software Design. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab |
Abstract Behavior Types: A Foundation Model for Components and Their Composition. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Emil Sekerinski |
Concurrent Object-Oriented Programs: From Specification to Code. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Sol Efroni, Irun R. Cohen |
Reactive Animation. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|