| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.) |
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers  |
FMCO  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter |
A Component Model for the ABS Language. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen |
Application of Model-Checking Technology to Controller Synthesis. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi |
Towards the UML-Based Formal Verification of Timed Systems. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov |
Improving the Usability of Specification Languages and Methods for Annotation-Based Verification. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn |
The Hierarchical Compositional Interchange Format. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos |
Model-Based Analysis Tools for Component Synthesis. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Groza, Marius Minea |
Customizing Protocol Specifications for Detecting Resource Exhaustion and Guessing Attacks. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin F. Snook, Vitaly Savicks, Michael J. Butler |
Verification of UML Models by Translation to UML-B. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Rümmer |
Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen |
Testing Real-Time Systems under Uncertainty. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David von Oheimb, Sebastian Mödersheim |
ASLan++ - A Formal Security Specification Language for Distributed Systems. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bubel, Reiner Hähnle, Ran Ji |
Program Specialization via a Software Verification Tool. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.) |
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rickard Svenningsson, Henrik Eriksson, Jonny Vinter, Martin Törngren |
Generic Fault Modelling for Fault Injection. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ina Schaefer, Dilian Gurov, Siavash Soleimanifard |
Compositional Algorithmic Verification of Software Product Lines. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos |
Automated Verification of Executable UML Models. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen |
ABS: A Core Language for Abstract Behavioral Specification. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Renato Silva, Michael Butler |
Shared Event Composition/Decomposition in Event-B. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnd Hartmanns |
Model-Checking and Simulation for Stochastic Timed Systems. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte |
Variability Modelling in the ABS Language. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch |
Orchestration under Security Constraints. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher |
Mutation-Based Test Case Generation for Simulink Models. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Asieh Salehi Fathabadi, Michael Butler |
Applying Event-B Atomicity Decomposition to a Multi Media Protocol. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Joost-Pieter Katoen |
The How and Why of Interactive Markov Chains. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Willibald Krenn, Rupert Schlick, Bernhard K. Aichernig |
Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn |
Model-Based Mutation Testing of Hybrid Systems. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bubel, Reiner Hähnle, Ran Ji |
Interleaving Symbolic Execution and Partial Evaluation. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote |
Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King |
The Use of Model Transformation in the INESS Project. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky |
Patterns for Refinement Automation. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan |
A Framework for Reasoning on Component Composition. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Eric Madelain (eds.) |
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar |
Abstract Certification of Global Non-interference in Rewriting Logic. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer |
The Credo Methodology - (Extended Version). |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Natallia Kokash, Christian Krause, Erik P. de Vink |
Verification of Context-Dependent Channel-Based Service Models. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson |
Property-Based Testing - The ProTest Project. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Walkinshaw, John Derrick |
Incrementally Discovering Testable Specifications from Program Executions. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. |
FMCO |
2009 |
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, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures |
FMCO |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marco Aldinucci, Marco Danelutto, Peter Kilpatrick |
Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
autonomic computing, program modelling, rewriting, performance tuning, non-functional concerns |
| 1 | Christine Mayr, Uwe Zdun, Schahram Dustdar |
Reusable Architectural Decision Model for Model and Metadata Repositories. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bubel, Reiner Hähnle, Benjamin Weiß |
Abstract Interpretation of Symbolic Execution with Explicit State Updates. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cansado, Eric Madelaine |
Specification and Verification for Grid Component-Based Applications: From Models to Tools. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Henrio, Florian Kammüller, Marcela Rivera |
An Asynchronous Distributed Component Model and Its Semantics. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert |
BML and Related Tools. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel |
Towards Demonstrably Correct Compilation of Java Byte Code. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Kyas, Einar Broch Johnsen |
A Real-Time Extension of Creol for Modelling Biomedical Sensors. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Natallia Kokash, Farhad Arbab |
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam |
Conformance Testing of Distributed Concurrent Systems with Executable Designs. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
Creol, Model-based testing, conformance testing, Maude, concolic execution |
| 1 | Mats Neovius, Kaisa Sere |
Formal Modular Modelling of Context-Awareness. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda |
Session-Based Compilation Framework for Multicore Programming. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz |
Formal Verification for Components and Connectors. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hallerstede |
Incremental System Modelling in Event-B. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie |
The MOBIUS Proof Carrying Code Infrastructure. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers |
Universe Types for Topology and Encapsulation. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas |
An Object-Oriented Component Model for Heterogeneous Nets. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis |
Multiple Viewpoint Contract-Based Specification and Design. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke |
Coordination: Reo, Nets, and Logic. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Mahdi Jaghoori |
Coordinating Object Oriented Components Using Data-Flow Networks. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye |
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Caromel, Ludovic Henrio, Eric Madelaine |
Active Objects and Distributed Components: Theory and Implementation. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bliudze, Joseph Sifakis |
Causal Semantics for the Algebra of Connectors. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart Beringer, Martin Hofmann, Mariela Pavlova |
Certification Using the Mobius Base Logic. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini |
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall, Patrick Maier, Ian Stark |
Safety Guarantees from Explicit Resource Management. |
FMCO |
2007 |
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, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures |
FMCO |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lars Frantzen, Jan Tretmans |
Model-Based Testing of Environmental Conformance of Components. |
FMCO |
2006 |
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, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures |
FMCO |
2006 |
DBLP 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 | Marjan Sirjani |
Rebeca: Theory, Applications, and Tools. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
Rebeca, Distributed Systems, Model Checking, Concurrency, Abstraction, Actors, Compositional Verification |
| 1 | Bertrand Jeannet, Thierry Jéron, Vlad Rusu |
Model-Based Test Selection for Infinite-State Reactive Systems. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Karl Krukow, Mogens Nielsen |
Towards a Formal Framework for Computational Trust. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker |
Learning Meets Verification. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop |
Links: Web Programming Without Tiers. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt |
Verifying Object-Oriented Programs with KeY: A Tutorial. |
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 | Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida |
Bounded Session Types for Object Oriented Languages. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia |
On Recursion, Replication and Scope Mechanisms in Process Calculi. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Donkervoet, Gul Agha |
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnd Poetzsch-Heffter, Jan Schäfer |
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 | Jan Jürjens |
Model-Based Security Engineering with UML: Introducing Security Aspects. |
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 | Michael Barnett, 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 | Edmund M. Clarke, Natasha Sharygina, Nishant Sinha |
Program Compatibility Approaches. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, 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 | 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 | Kung-Kiu Lau, Mario Ornaghi, Zheng Wang |
A Software Component Model and Its Preliminary Formalisation. |
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 | Wan 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 | 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 | 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 | 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 BibTeX RDF |
|
| 1 | Orna Grumberg |
Abstraction and Refinement in Model Checking. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi |
Separation Results Via Leader Election Problems. |
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 | Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen |
The Pragmatics of STAIRS. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")