FMCO

Keyphrases

Publications

volume 7866, 2013

Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures FMCO 7866 (2013)

volume 7542, 2013

Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers FMCO 7542 (2013)

2012

Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Formal Aspects of Free and Open Source Software Components - A Short Survey. FMCO (2012)
Valérie Issarny, Amel Bennaceur
Composing Distributed Systems: Overcoming the Interoperability Challenge. FMCO (2012)
Olga Gadyatskaya, Fabio Massacci
Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract. FMCO (2012)
Einar Broch Johnsen
Separating Cost and Capacity for Load Balancing in ABS Deployment Models. FMCO (2012)
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)
Reiner Hähnle
The Abstract Behavioral Specification Language: A Tutorial Introduction. FMCO (2012)
Ilham W. Kurnia, Arnd Poetzsch-Heffter
Verification of Open Concurrent Object Systems. FMCO (2012)
Marko van Dooren, Dave Clarke, Bart Jacobs
Subobject-Oriented Programming. FMCO (2012)

volume 6957, 2012

Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers FMCO 6957 (2012)

2011

2010

volume 6286, 2010

Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers FMCO 6286 (2010)