it gb
it gb

Modellazione, Verifica e Riuso di Sistemi

Pubblicazioni (ultimi 9 anni)

Articolo su rivista
ter Beek, Maurice H.*; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
SCIENCE OF COMPUTER PROGRAMMING,  2019
Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca
SCIENCE OF COMPUTER PROGRAMMING,  2019
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,  2019
Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph
ACTA INFORMATICA,  2018
Lienhardt, Michael; Damiani, Ferruccio*; Testa, Lorenzo; Turin, Gianluca
SCIENCE OF COMPUTER PROGRAMMING,  2018
Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko
SCIENCE OF COMPUTER PROGRAMMING,  2018
Viroli, Mirko; Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION,  2018
Luca Paolini, Mauro Piccolo, Luca Roversi
NEW GENERATION COMPUTING,  2018
Paolini, Luca; Piccolo, Mauro; RONCHI DELLA ROCCA, S.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2017
Damiani, Ferruccio; Faitelson, David; Gladisch, Christoph; Tyszberowicz, Shmuel
SOFTWARE AND SYSTEMS MODELING,  2017
Bettini, Lorenzo; Damiani, Ferruccio
THE JOURNAL OF SYSTEMS AND SOFTWARE,  2017
Giulio Guerrieri; Luca Paolini; Simona Ronchi Della Rocca
LOGICAL METHODS IN COMPUTER SCIENCE,  2017
Beal, Jacob; Viroli, Mirko; Pianini, Danilo; Damiani, Ferruccio
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS,  2017
Marco Gaboard; Luca Paolini; Mauro Piccolo
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016
Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob
SCIENCE OF COMPUTER PROGRAMMING,  2016
Lorenzo Bettini;Ferruccio Damiani;Ina Schaefer
SCIENCE OF COMPUTER PROGRAMMING,  2015
Ferruccio Damiani, Mirko Viroli
LOGICAL METHODS IN COMPUTER SCIENCE,  2015
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
Bettini, Lorenzo; Capecchi, Sara; Damiani, Ferruccio
SCIENCE OF COMPUTER PROGRAMMING,  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
L. PAOLINI; E. PIMENTEL ; S. RONCHI DELLA ROCCA
THEORETICAL COMPUTER SCIENCE,  2011
M. Coppo; F. Damiani; M. Drocco; E. Grassi; M. Guether; A. Troina
TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY,  2011
Curatela
Marco Bernardo; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer
LECTURE NOTES IN COMPUTER SCIENCE,  2014
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
Silvia Ghilezan; Luca Paolini
FUNDAMENTA INFORMATICAE,  2012
Bernhard Beckert; Ferruccio Damiani; Dilian Gurov
LECTURE NOTES IN COMPUTER SCIENCE,  2012
Contributo in volume (articolo o saggio)
Luca Paolini; Mauro Piccolo; Luca Roversi
21st International Conference on Types for Proofs and Programs (TYPES 2015),  2018
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
Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina
Euro-Par 2011: Parallel Processing Workshops, Revised Selected Papers,  2012
Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers,  2011
Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli
SoftSoftware and Data Technologies 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers,  2011
Contributo in atti di convegno
Lienhardt, Michael; Damiani, Ferruccio; Donetti, Simone; Paolini, Luca
ACM International Conference Proceeding Series, 
12th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2018
2018
Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
1st Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT 2017
2018
Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Viroli, Mirko
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
20th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018
2018
Viroli, Mirko*; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
20th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018
2018
Røst, Thomas Brox*; Seidl, Christoph; Yu, Ingrid Chieh; Damiani, Ferruccio; Johnsen, Einar Broch; Chesta, Cristina
Communications in Computer and Information Science, 
6th European Conference on Service-Oriented and Cloud Computing, ESOCC 2017
2018
Matos, Armando B.; Paolini, Luca; Roversi, Luca
CEUR Workshop Proceedings, 
19th Italian Conference on Theoretical Computer Science, ICTCS 2018
2018
Damiani F.; Hahnle R.; Kamburjan E.; Lienhardt M.
Proceedings of the 22nd International Systems and Software Product Line Conference, 
22nd International Systems and Software Product Line Conference
2018
Anselma, Luca ; Donetti, Simone ; Mazzei, Alessandro ; Pirone, Andrea
Proceedings of the Workshop on Intelligent Interactive Systems and Language Generation (2IS\&NLG), 
Workshop on Intelligent Interactive Systems and Language Generation (2IS&NLG)
2018
Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Bini, Enrico
Proceedings - Real-Time Systems Symposium, 
39th IEEE Real-Time Systems Symposium, RTSS 2018
2018
Luca Paolini; Margherita Zorzi
14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, 
14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017
2017
Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
Fundamentals of Software Engineering. FSEN 2017, 
7th International Conference on Fundamentals of Software Engineering, FSEN 2017
2017
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
Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko
Coordination Models and Languages, 
19th International Conference on Coordination Models and Languages
2017
Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017
2017
Damiani, Ferruccio; Lienhardt, Michael; Muschevici, Radu; Schaefer, Ina
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
13th International Conference on Integrated Formal Methods, IFM 2017
2017
Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko
Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, 
11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017
2017
Paolini, Luca; Piccolo, Mauro; Roversi, Luca
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 
ICTCS2015
2016
Winkelmann, Tim; Koscielny, Jonathan; Seidl, Christoph; Schuster, Sven; Damiani, Ferruccio; Schaefer, Ina
CEUR Workshop Proceedings, 
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
ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
Software Engineering and Formal Methods, 
13th International Conference on Software Engineering and Formal Methods, SEFM 2015
2015
Damiani, Ferruccio; Viroli, Mirko; Pianini, Danilo; Beal, Jacob
Formal Techniques for Distributed Objects, Components, and Systems., 
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
Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, S.
13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), 
Typed Lambda Calculus and Applications
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 ScienceLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 
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 Models and Languages, 
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
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;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
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
Mirko Viroli; Ferruccio Damiani; Jacob Beal
Communications in Computer and Information ScienceAdvances in Service-Oriented and Cloud Computing, 
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
11th International Symposium onFunctional and Logic Programming, FLOPS 2012, 
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
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, 
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
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
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; 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
Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings, 
14th International Conference, Software Product Line Conference 2010
2010
Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer
Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, 
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