it gb
it gb

System Modelling, Verification and Reuse

Publications (last 7 years)

Journal paper
Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph
ACTA INFORMATICA,  2017
Giulio Guerrieri; Luca Paolini; Simona Ronchi Della Rocca
LOGICAL METHODS IN COMPUTER SCIENCE,  2017
Paolini, Luca; Piccolo, Mauro; Roversi, Luca
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,  2016
Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob
SCIENCE OF COMPUTER PROGRAMMING,  2016
Damiani, Ferruccio; Faitelson, David; Gladisch, Christoph; Tyszberowicz, Shmuel
SOFTWARE AND SYSTEMS MODELING,  2016
Bettini, Lorenzo; Damiani, Ferruccio
THE JOURNAL OF SYSTEMS AND SOFTWARE,  2016
Lorenzo Bettini;Ferruccio Damiani;Ina Schaefer
SCIENCE OF COMPUTER PROGRAMMING,  2015
Paolini, Luca; Piccolo, Mauro; RONCHI DELLA ROCCA, Simona
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2015
Ferruccio Damiani, Mirko Viroli
LOGICAL METHODS IN COMPUTER SCIENCE,  2015
Marco Gaboardi; Luca Paolini; Mauro Piccolo
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2014
Ferruccio Damiani;Johan Dovland;Einar Broch Johnsen;Ina Schaefer
FORMAL ASPECTS OF COMPUTING,  2014
Marco Aldinucci;Cristina Calcagno;Mario Coppo;Ferruccio Damiani;Maurizio Drocco;Eva Sciacca;Salvatore Spinella;Massimo Torquati;Angelo Troina
BIOMED RESEARCH INTERNATIONAL,  2014
Lorenzo Bettini; Ferruccio Damiani; Kathrin Geilmann; Jan Schäfer
SCIENCE OF COMPUTER PROGRAMMING,  2013
Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco
SCIENCE OF COMPUTER PROGRAMMING,  2013
Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani
SCIENCE OF COMPUTER PROGRAMMING,  2013
L. Bettini; S. Capecchi; Mariangiola Dezani; E. Giachino; B. Venneri
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2013
Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer
ACTA INFORMATICA,  2013
Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina
THEORETICAL COMPUTER SCIENCE,  2012
Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli
SCIENTIFIC ANNALS OF COMPUTER SCIENCE,  2012
Ina Schaefer; Rick Rabiser; Dave Clarke; Lorenzo Bettini; David Benavides; Goetz Botterweck; Animesh Pathak; Salvador Trujillo; Karina Villela
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER,  2012
L. PAOLINI; E. PIMENTEL ; S. RONCHI DELLA ROCCA
THEORETICAL COMPUTER SCIENCE,  2011
Lorenzo Bettini; Viviana Bono; Betti Venneri
SCIENCE OF COMPUTER PROGRAMMING,  2011
M. Coppo; F. Damiani; M. Drocco; E. Grassi; M. Guether; A. Troina
TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY,  2011
Curatorship
Marco Bernardo; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer
LECTURE NOTES IN COMPUTER SCIENCE,  2014
Silvia Ghilezan; Luca Paolini
FUNDAMENTA INFORMATICAE,  2013
Bernhard Beckert; Frank de Boer; Marcello Bonsangue; Ferruccio Damiani
LECTURE NOTES IN COMPUTER SCIENCE,  2013
Stéphane Graham-Lengrand; Luca Paolini
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,  2013
Patrick Baillot; Pierre-Louis Curien; Luca Paolini
LOGICAL METHODS IN COMPUTER SCIENCE,  2012
Bernhard Beckert; Ferruccio Damiani; Dilian Gurov
LECTURE NOTES IN COMPUTER SCIENCE,  2012
Monograph or scientific work
Contibution in volume (article or essay)
Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina; Yu, Ingrid Chieh
Transactions on Foundations for Mastering Change I,  2016
Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, Simona
13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015),  2015
Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina
LECTURE NOTES IN COMPUTER SCIENCE,  2012
Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani
LECTURE NOTES IN COMPUTER SCIENCE,  2011
Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE,  2011
Contribution in conference proceedings
Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017
2017
Giogio Audrito, Ferruccio Damiani, Mirko Viroli
Coordination Models and Languages, 
19th International Conference on Coordination Models and Languages
2017
Winkelmann, Tim; Koscielny, Jonathan; Seidl, Christoph; Schuster, Sven; Damiani, Ferruccio; Schaefer, Ina
CEUR Workshop Proceedings, 
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 - Workshops of the Conference on Software Engineering, SE-WS 2016
2016
Damiani, Ferruccio; Lienhardt, Michael
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE’16)
2016
Damiani, Ferruccio; Lienhardt, Michael
Integrated Formal Methods, 
12th International Conference, IFM 2016
2016
Damiani, Ferruccio; Seidl, Christoph; Yu, Ingrid Chieh
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 
7th International Symposium, ISoLA 2016
2016
Damiani, Ferruccio; Lienhardt, Michael
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 
7th International Symposium, ISoLA 2016
2016
Chesta, Cristina; Damiani, Ferruccio; Dobriakova, Liudmila; Guernieri, Marco; Martini, Simone; Nieke, Michael; Rodrigues, Vítor; Schuster, Sven
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 
7th International Symposium, ISoLA 2016
2016
Beal, Jacob; Viroli, Mirko; Pianini, Danilo; Damiani, Ferruccio
Proceedings - IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016, 
10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016
2016
Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Casadei, Roberto
Proceedings - IEEE 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016, 
1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016
2016
Bettini, Lorenzo; Capecchi, Sara
SSE 2016 Proceedings of the 8th International Workshop on Social Software Engineering, 
8th International Workshop on Social Software Engineering
2016
ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
LECTURE NOTES IN COMPUTER SCIENCE, 
13th International Conference on Software Engineering and Formal Methods, SEFM 2015
2015
Damiani, Ferruccio; Viroli, Mirko; Pianini, Danilo; Beal, Jacob
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015
2015
Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo
International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 
9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2015
2015
Ferruccio Damiani;Ina Schaefer;Sven Schuster;Tim Winkelmann
LECTURE NOTES IN COMPUTER SCIENCE, 
6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
2014
Mirko Viroli;Ferruccio Damiani
LECTURE NOTES IN COMPUTER SCIENCE, 
COORDINATION - 16th International Conference on Coordination Models and Languages
2014
Ferruccio Damiani;Ina Schaefer;Tim Winkelmann
Proceedings of the 18th International Software Product Line Conference on - SPLC '14, 
18th International Software Product Line Conference, SPLC 2014
2014
Jonathan Koscielny;Sönke Holthusen;Ina Schaefer;Sandro Schulze;Lorenzo Bettini;Ferruccio Damiani
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14, 
2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ 2014)
2014
Lorenzo Bettini;Ferruccio Damiani
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14, 
International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ'14)
2014
L. Bettini;D. Stoll;M. Völter;S. Colameo
LECTURE NOTES IN COMPUTER SCIENCE, 
Software Language Engineering
2013
Eva Sciacca;Salvatore Spinella;Cristina Calcagno;Ferruccio Damiani;Mario Coppo
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 
Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12)
2013
Ferruccio Damiani
Divide and Conquer: the Quest for Compositional Design and Analysis, 
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)
2013
Lorenzo Bettini
Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13, 
28th Annual ACM Symposium on Applied Computing - SAC '13
2013
Lorenzo Bettini;Ferruccio Damiani
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13, 
International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13
2013
Alexandre Bergel;Lorenzo Bettini
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013, 
9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013
2013
Lorenzo Bettini; Vincenzo Caselli; Francesco Guidieri
Proceedings of VIII Workshop of the Italian Eclipse Community, 
Eclipse-IT 2013
2013
Ferruccio Damiani;Christoph Gladisch;Shmuel Tyszberowicz
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13, 
2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13
2013
Lorenzo Bettini
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, 
ICSOFT
2013
Alexandre Bergel;Lorenzo Bettini
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, 
ICSOFT
2013
Mirko Viroli; Ferruccio Damiani; Jacob Beal
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, 
FOCLASA 2013 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems
2013
Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina
ACM SIGPLAN NOTICES, 
11th International Conference on Generative Programming and Component Engineering (GPCE'12)
2013
Beniamino Accattoli; Luca Paolini
LECTURE NOTES IN COMPUTER SCIENCE, 
FLOPS 2012: Eleventh International Symposium on Functional and Logic Programming
2012
Ferruccio Damiani; Arnd Poetzsch-Heffter; Yannick Welsch
Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, 
27th Symposium On Applied Computing
2012
Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Olaf Owe; Ina Schaefer; Ingrid Chieh Yu
Proceedings of the 16th International Software Product Line Conference - Volume 2, 
Third International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE)
2012
Ferruccio Damiani; Ina Schaefer
LECTURE NOTES IN COMPUTER SCIENCE, 
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012
2012
Ferruccio Damiani; Luca Padovani; Ina Schaefer
Proceedings of the 11th ACM international conference on Generative programming and component engineering (GPCE’12), 
11th International Conference on Generative Programming and Component Engineering (GPCE'12)
2012
A. Bergel;L. Bettini
ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, 
ICSOFT
2012
L. Bettini
ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, 
ICSOFT
2012
Makoto Tatsuta; Ferruccio Damiani
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Second International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2011)
2011
Marco Gaboardi; Luca Paolini ; Mauro Piccolo
ICFP '11 - Proceeding of the 16th ACM SIGPLAN international conference on Functional programming, 
ICFP '11 - 16th ACM SIGPLAN international conference on Functional programming
2011
Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Massimo Torquati; Angelo Troina
Proceedings - 19th International Euromicro Conference on Parallel, Distributed, and Network-Based Processing, PDP 2011, 
19th International Euromicro Conference on Parallel, Distributed, and Network-Based Processing, PDP 2011
2011
Ina Schaefer; Lorenzo Bettini; Ferruccio Damiani
AOSD '11: Proceedings of the tenth international conference on Aspect-oriented software development, 
AOSD '11 - international conference on Aspect-oriented software development
2011
Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina
MeCBIC 2011, 
5th International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'11)
2011
Lorenzo Bettini; Vincenzo Caselli; Francesco Guidieri
The Sixth Workshop of the Italian Eclipse Community, Proceedings, 
Eclipse-IT
2011
Ferruccio Damiani; Ina Schaefer
Proceedings of the 15th International Software Product Line Conference, Volume 2, 
Fifth International Workshop on Dynamic Software Product Lines (DSPL)
2011
C. Calcagno; M. Coppo; F. Damiani; M. Drocco; E. Sciacca; S. Spinella; A. Troina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Third International Workshop on Computational Models for Cell Processes (CompMod 2011)
2011
Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Ina Schaefer
FTfJP '11: Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs, 
13th Workshop on Formal Techniques for Java-like Programs
2011
Lorenzo Bettini
Proceedings of 9th International Conference on the Principles and Practice of Programming in Java, 
Principles and Practice of Programming in Java
2011
Lorenzo Bettini; Betti Venneri
Proceedings of 9th International Conference on the Principles and Practice of Programming in Java, 
Principles and Practice of Programming in Java
2011
Alexandre Bergel; Lorenzo Bettini
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, 
ICSOFT 2009 - 4th International Conference on Software and Data Technologies
2011
Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer
Proceedings of the 25th ACM symposium on Applied Computing (SAC 2010), 
25th International Symposium on Applied Computing (SAC 2010)
2010
Ina Schaefer; Lorenzo Bettini; Viviana Bono; Ferruccio Damiani; Nico Tanzarella
LECTURE NOTES IN COMPUTER SCIENCE, 
14th International Conference, Software Product Line Conference 2010
2010
Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer
LECTURE NOTES IN COMPUTER SCIENCE, 
COORDINATION - 12th International Conference on Coordination Models and Languages
2010
Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani
Formal Verification of Object-Oriented Software. Papers presented at the International Conference, June 28-30, 2010, Paris, France, 
International Conference Formal Verification of Object-Oriented Software 2010
2010
M. Coppo; F. Damiani; M. Drocco; E. Grassi; A. Troina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010)
2010
Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, 
8th International Conference on the Principles and Practice of Programming in Java
2010
Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010 (MeCBIC 2010)
2010
Ina Schaefer; Ferruccio Damiani
FOSD '10: Proceedings of the2nd International Workshop on Feature-Oriented Software Development, 
FOSD '10: 2nd International Workshop on Feature-Oriented Software Development
2010
Ina Schaefer; Lorenzo Bettini; Ferruccio Damiani
Proceedings of the 22nd Nordic Workshop on Programming Theory NWPT'10, 
NWPT 2010 : 22nd Nordic Workshop on Programming Theory
2010
Lorenzo Bettini
The Fifth Workshop of the Italian Eclipse Community, Proceedings, 
Eclipse IT
2010
Lorenzo Bettini; Sara Capecchi; Betti Venneri
LECTURE NOTES IN COMPUTER SCIENCE, 
FSEN
2010