Publications
Publications found: 409
- List of requirements on formalisms and selection of appropriate tools
Silvano Chiaradonna, Daniele Codetta Raiteri, Felicita Di Giandomenico, Susanna Donatelli, Giuliana Franceschinis, Marco Gribaudo, Mohamed Kaâniche, Paolo Lollini, Francesco Romani, Jeremy Sproston
Published on CRUTIAL project, Deliverable D11, Ed. CESI Ricerca, 2008 - UML diagrams supporting domain specification inside the CRUTIAL project
Claudio Brasca, Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Giovanna Dondossola, Fabrizio Garrone
Published on Lecture Notes in Computer Science vol. 5141, Ed. Springer, 2008, Pages: 106-123 - Non deterministic Repairable Fault Trees for computing optimal repair strategy
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Published on Proceedings of the International Conference on Performance Evaluation, Methodologies and Tools, Ed. ICST, 2008 - A Calculus of Evolving Objects
Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz
Published on Scientific Annals of Computer Science, Ed. "A.I. Cuza'' University Press, 2008, Pages: 63--98 - Alias Types and effects for "environment-aware'' computations
Ferruccio Damiani, Elena Giachino, Paola Giannini
Published on Fundamenta Informaticae 88 1-2, Ed. IOS Press, 2008, Pages: 63-107 - A Type Safe State Abstraction for Coordination in Java-like Languages
Ferruccio Damiani, Sophia Drossopoulou, Elena Giachino, Paola Giannini
Published on Acta Informatica 45, Ed. Springer, 2008, Pages: 479-536 - A Calculus of Evolving Objects
Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz
Published on MPOOL'08, 2008 - On state classes and their dynamic semantics
Emanuele Cazzola, Ferruccio Damiani, Elena Giachino, Paola Giannini
Published on Software and Data Technologies (ICSOFT 2006, Revised Selected Papers) 10, Ed. Springer, 2008, Pages: 84-96 - Case-based management of exceptions to business processes: an approach exploiting prototypes
Stefania Montani
Published on TR-INF-2008-12-09-UNIPMN, Ed. Computer Science Department, UPO, 2008 - BuzzChecker: Exploiting the Web to Better Understand Society
Marco Furini, S. Montangero
Published on TR-INF-2008-07-07-UNIPMN, Ed. Computer Science Department, UPO, 2008
Pages: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
