Search results for "FMCO"

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

Publications at "FMCO"( http://dblp.L3S.de/Venues/FMCO )