Search results for "FMCO"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)	Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers	FMCO	2013	DBLP DOI BibTeX RDF
1	Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)	Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures	FMCO	2013	DBLP DOI BibTeX RDF
1	Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini	Automatic Inference of Bounds on Resource Consumption.	FMCO	2012	DBLP DOI BibTeX RDF
1	Olga Gadyatskaya, Fabio Massacci	Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract.	FMCO	2012	DBLP DOI BibTeX RDF
1	Marko van Dooren, Dave Clarke 0001, Bart Jacobs 0002	Subobject-Oriented Programming.	FMCO	2012	DBLP DOI BibTeX RDF
1	Valérie Issarny, Amel Bennaceur	Composing Distributed Systems: Overcoming the Interoperability Challenge.	FMCO	2012	DBLP DOI BibTeX RDF
1	Ilham W. Kurnia, Arnd Poetzsch-Heffter	Verification of Open Concurrent Object Systems.	FMCO	2012	DBLP DOI BibTeX RDF
1	Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli	Formal Aspects of Free and Open Source Software Components - A Short Survey.	FMCO	2012	DBLP DOI BibTeX RDF
1	Einar Broch Johnsen	Separating Cost and Capacity for Load Balancing in ABS Deployment Models.	FMCO	2012	DBLP DOI BibTeX RDF
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	Reiner Hähnle	The Abstract Behavioral Specification Language: A Tutorial Introduction.	FMCO	2012	DBLP DOI BibTeX RDF
1	Amel Bennaceur, Valérie Issarny, Richard Johansson, Alessandro Moschitti, Romina Spalazzese, Daniel Sykes	Automatic Service Categorisation through Machine Learning in Emergent Middleware.	FMCO	2011	DBLP DOI BibTeX RDF
1	Basel Katt, Matthias Gander, Ruth Breu, Michael Felderer	Enhancing Model Driven Security through Pattern Refinement Techniques.	FMCO	2011	DBLP DOI BibTeX RDF
1	Lars Schor, Hoeseok Yang, Iuliana Bacivarov, Lothar Thiele	Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems.	FMCO	2011	DBLP DOI BibTeX RDF
1	Matthias Gander, Basel Katt, Michael Felderer, Ruth Breu	Towards a Model- and Learning-Based Framework for Security Anomaly Detection.	FMCO	2011	DBLP DOI BibTeX RDF
1	Marco Aldinucci, Sonia Campa, Peter Kilpatrick, Fabio Tordini, Massimo Torquati	An Abstract Annotation Model for Skeletons.	FMCO	2011	DBLP DOI BibTeX RDF
1	Kevin Hammond, Marco Aldinucci, Christopher Brown 0002, Francesco Cesarini, Marco Danelutto, Horacio González-Vélez, Peter Kilpatrick, Rainer Keller, Michael Rossbory, Gilad Shainer	The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems.	FMCO	2011	DBLP DOI BibTeX RDF
1	Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa	Modeling Application-Level Management of Virtualized Resources in ABS.	FMCO	2011	DBLP DOI BibTeX RDF
1	Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis	Component Assemblies in the Context of Manycore.	FMCO	2011	DBLP DOI BibTeX RDF
1	Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen	Synthesis-Based Variability Control: Correctness by Construction.	FMCO	2011	DBLP DOI BibTeX RDF
1	Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong	HATS Abstract Behavioral Specification: The Architectural View.	FMCO	2011	DBLP DOI BibTeX RDF
1	Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza, Eric Flamand, Jean-Pierre Krimm, Julien Mottin, Lars Schor, Pratyush Kumar, Hoeseok Yang, Devesh B. Chokshi, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano	PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status.	FMCO	2011	DBLP DOI BibTeX RDF
1	Rocco De Nicola, Gian-Luigi Ferrari 0002, Michele Loreti, Rosario Pugliese	A Language-Based Approach to Autonomic Computing.	FMCO	2011	DBLP DOI BibTeX RDF
1	Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini	Managing Adaptivity in Parallel Systems.	FMCO	2011	DBLP DOI BibTeX RDF
1	Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli	ASCENS: Engineering Autonomic Service-Component Ensembles.	FMCO	2011	DBLP DOI BibTeX RDF
1	Leigh Griffin, Peter Elger, Eamonn de Leastar	Project Zeppelin: A Modern Web Application Development Framework.	FMCO	2011	DBLP DOI BibTeX RDF
1	Christopher Brown 0002, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner, Tino Breddin	Paraphrasing: Generating Parallel Programs Using Refactoring.	FMCO	2011	DBLP DOI BibTeX RDF
1	Sylvain Durand, Suzanne Lesecq, Edith Beigné, Christian Fabre, Lionel Vincent, Diego Puschini	Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints.	FMCO	2011	DBLP DOI BibTeX RDF
1	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	A Survey on Basic Connectors and Buffers.	FMCO	2011	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	Rickard Svenningsson, Henrik Eriksson, Jonny Vinter, Martin Törngren	Generic Fault Modelling for Fault Injection.	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	Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi 0001, Jaco van de Pol, Osmar Marchi dos Santos	Automated Verification of Executable UML Models.	FMCO	2010	DBLP DOI BibTeX RDF
1	Arnd Hartmanns	Model-Checking and Simulation for Stochastic Timed Systems.	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	Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos	Model-Based Analysis Tools for Component Synthesis.	FMCO	2010	DBLP DOI BibTeX RDF
1	Dave Clarke 0001, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte	Variability Modelling in the ABS Language.	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	Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer 0002, Rudolf Schlatte, Martin Steffen	ABS: A Core Language for Abstract Behavioral Specification.	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	Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch	Orchestration under Security Constraints.	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	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	Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi 0001	Towards the UML-Based Formal Verification of Timed Systems.	FMCO	2010	DBLP DOI BibTeX RDF
1	Renato Silva, Michael J. Butler	Shared Event Composition/Decomposition in Event-B.	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	Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer 0002, Arnd Poetzsch-Heffter	A Component Model for the ABS Language.	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	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, 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	Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein 0001, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann 0001, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer	The Credo Methodology - (Extended Version).	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	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Abstract Certification of Global Non-interference in Rewriting Logic.	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	Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan	A Framework for Reasoning on Component Composition.	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 0001, Simon J. Thompson	Property-Based Testing - The ProTest Project.	FMCO	2009	DBLP DOI BibTeX RDF
1	Natallia Kokash, Christian Krause 0001, Erik P. de Vink	Verification of Context-Dependent Channel-Based Service Models.	FMCO	2009	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	Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky	Patterns for Refinement Automation.	FMCO	2009	DBLP DOI BibTeX RDF
1	Asieh Salehi Fathabadi, Michael J. Butler	Applying Event-B Atomicity Decomposition to a Multi Media Protocol.	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	Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (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	Osmar Marchi dos Santos, Jim Woodcock 0001, Richard F. Paige, Steve King 0001	The Use of Model Transformation in the INESS Project.	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	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	Neil Walkinshaw, John Derrick	Incrementally Discovering Testable Specifications from Program Executions.	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	Natallia Kokash, Farhad Arbab	Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems.	FMCO	2008	DBLP DOI BibTeX RDF
1	Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda 0001	Session-Based Compilation Framework for Multicore Programming.	FMCO	2008	DBLP DOI BibTeX RDF
1	Christel Baier, Tobias Blechmann 0001, Joachim Klein 0001, Sascha Klüppelholz	Formal Verification for Components and Connectors.	FMCO	2008	DBLP DOI BibTeX RDF
1	Mats Neovius, Kaisa Sere	Formal Modular Modelling of Context-Awareness.	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	concolic execution, Creol, Model-based testing, conformance testing, Maude
1	Ludovic Henrio, Florian Kammüller, Marcela Rivera	An Asynchronous Distributed Component Model and Its Semantics.	FMCO	2008	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 DOI 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	Stefan Hallerstede	Incremental System Modelling in Event-B.	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	Richard Bubel, Reiner Hähnle, Benjamin Weiß 0001	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	Michael Leuschel	Towards Demonstrably Correct Compilation of Java Byte Code.	FMCO	2008	DBLP DOI BibTeX RDF
1	Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert	BML and Related Tools.	FMCO	2008	DBLP DOI BibTeX RDF
1	Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller 0001, Alexander J. Summers	Universe Types for Topology and Encapsulation.	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	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	Simon Bliudze, Joseph Sifakis	Causal Semantics for the Algebra of Connectors.	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	Dave Clarke 0001	Coordination: Reo, Nets, and Logic.	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	Lennart Beringer, Martin Hofmann 0001, Mariela Pavlova	Certification Using the Mobius Base Logic.	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 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	Denis Caromel, Ludovic Henrio, Eric Madelaine	Active Objects and Distributed Components: Theory and Implementation.	FMCO	2007	DBLP DOI BibTeX RDF
1	David Aspinall 0001, Patrick Maier 0001, Ian Stark	Safety Guarantees from Explicit Resource Management.	FMCO	2007	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	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 DOI BibTeX RDF
1	Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop	Links: Web Programming Without Tiers.	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	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

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