2012 share record
persistent URL:
Suzana Andova , Mark G. J. van den Brand , Luc J. P. Engelen , Tom Verhoeff : MDE Basics with a DSL Focus. SFM 2012 : 21-57 share record
persistent URL:
Steffen Becker : Model Transformations in Non-functional Analysis. SFM 2012 : 263-289 share record
persistent URL:
Petra Brosch , Gerti Kappel , Philip Langer , Martina Seidl , Konrad Wieland , Manuel Wimmer : An Introduction to Model Versioning. SFM 2012 : 336-398 share record
persistent URL:
Jordi Cabot , Martin Gogolla : Object Constraint Language (OCL): A Definitive Guide. SFM 2012 : 58-90 share record
persistent URL:
Guido de Caso , Víctor A. Braberman , Diego Garbervetsky , Sebastián Uchitel : Abstractions for Validation in Action. SFM 2012 : 192-218 share record
persistent URL:
Vittorio Cortellessa , Antinisca Di Marco , Catia Trubiani : Software Performance Antipatterns: Modeling and Analysis. SFM 2012 : 290-335 share record
persistent URL:
Holger Giese , Leen Lambers , Basil Becker , Stephan Hildebrandt , Stefan Neumann , Thomas Vogel , Sebastian Wätzoldt : Graph Transformations for MDE, Adaptation, and Models at Runtime. SFM 2012 : 137-191 share record
persistent URL:
Dorina C. Petriu , Mohammad Alhaj , Rasha Tawhid : Software Performance Modeling. SFM 2012 : 219-262 share record
persistent URL:
Davide Di Ruscio , Romina Eramo , Alfonso Pierantonio : Model Transformations. SFM 2012 : 91-136 share record
persistent URL:
Bran Selic : The Less Well Known UML - A Short User Guide. SFM 2012 : 1-20 export record
dblp key:
conf/sfm/VallecilloGBWH12 share record
persistent URL:
Antonio Vallecillo , Martin Gogolla , Loli Burgueño , Manuel Wimmer , Lars Hamann : Formal Specification and Testing of Model Transformations. SFM 2012 : 399-437 share record
persistent URL:
Marco Bernardo , Vittorio Cortellessa , Alfonso Pierantonio : Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Lecture Notes in Computer Science 7320, Springer 2012 , ISBN 978-3-642-30981-6 [contents] 2011 share record
persistent URL:
Christel Baier , Joachim Klein , Sascha Klüppelholz : Modeling and Verification of Components and Connectors. SFM 2011 : 114-147 share record
persistent URL:
Antonia Bertolino , Antonello Calabrò , Felicita Di Giandomenico , Nicola Nostro : Dependability and Performance Assessment of Dynamic CONNECTed Systems. SFM 2011 : 350-392 share record
persistent URL:
Gordon S. Blair , Massimo Paolucci , Paul Grace , Nikolaos Georgantas : Interoperability in Complex Distributed Systems. SFM 2011 : 1-26 share record
persistent URL:
Dave Clarke , Nikolay Diakov , Reiner Hähnle , Einar Broch Johnsen , Ina Schaefer , Jan Schäfer , Rudolf Schlatte , Peter Y. H. Wong : Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM 2011 : 417-457 share record
persistent URL:
Gabriele Costa , Valérie Issarny , Fabio Martinelli , Ilaria Matteucci , Rachid Saadi : Security and Trust. SFM 2011 : 393-416 share record
persistent URL:
Vojtech Forejt , Marta Z. Kwiatkowska , Gethin Norman , David Parker : Automated Verification Techniques for Probabilistic Systems. SFM 2011 : 53-113 export record
dblp key:
conf/sfm/GiannakopoulouP11 share record
persistent URL:
Dimitra Giannakopoulou , Corina S. Pasareanu : Context Synthesis. SFM 2011 : 191-216 export record
dblp key:
conf/sfm/GraceGBBCIPSSS11 share record
persistent URL:
Paul Grace , Nikolaos Georgantas , Amel Bennaceur , Gordon S. Blair , Franck Chauvel , Valérie Issarny , Massimo Paolucci , Rachid Saadi , Bertrand Souville , Daniel Sykes : The CONNECT Architecture. SFM 2011 : 27-52 share record
persistent URL:
Paola Inverardi , Romina Spalazzese , Massimo Tivoli : Application-Layer Connector Synthesis. SFM 2011 : 148-190 share record
persistent URL:
Valérie Issarny , Amel Bennaceur , Yérom-David Bromberg : Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability. SFM 2011 : 217-255 share record
persistent URL:
Bengt Jonsson : Learning of Automata Models Extended with Data. SFM 2011 : 327-349 share record
persistent URL:
Jan Jürjens , Martín Ochoa , Holger Schmidt , Loïc Marchal , Siv Hilde Houmb , Shareeful Islam : Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. SFM 2011 : 504-526 share record
persistent URL:
Alessandro Moschitti : Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning. SFM 2011 : 458-503 share record
persistent URL:
Bernhard Steffen , Falk Howar , Maik Merten : Introduction to Active Automata Learning from a Practical Perspective. SFM 2011 : 256-296 share record
persistent URL:
Jan Tretmans : Model-Based Testing and Some Steps towards Test-Based Modelling. SFM 2011 : 297-326 share record
persistent URL:
Marco Bernardo , Valérie Issarny : Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Lecture Notes in Computer Science 6659, Springer 2011 , ISBN 978-3-642-21454-7 [contents] 2010 share record
persistent URL:
Anne Broadbent , Joseph F. Fitzsimons , Elham Kashefi : Measurement-Based and Universal Blind Quantum Computation. SFM 2010 : 43-86 share record
persistent URL:
Pasquale Malacaria , Jonathan Heusser : Information Theory and Security: Quantitative Information Flow. SFM 2010 : 87-134