Rapidly Implementing EMF Applications with EMF Components
Lorenzo Bettini
Software and Data Technologies. José Cordeiro, Slimane Hammoudi, Marten Sinderen (Eds.). pages 52-65. volume 411. Publisher: Springer. Series: Communications in Computer and Information Science. ISBN: 978-3-642-45403-5. 2013.
Abstract   Bibtex   url   

 

Generic Programming in Pharo
Alexandre Bergel, Lorenzo Bettini
Software and Data Technologies. José Cordeiro, Slimane Hammoudi, Marten Sinderen (Eds.). pages 66-79. volume 411. Publisher: Springer. Series: Communications in Computer and Information Science. 2013.
Abstract   Bibtex   url   

 

Parsley for your EMF Applications
Lorenzo Bettini, Vincenzo Caselli, Francesco Guidieri
Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community. Elvinia Riccobene (Eds.). pages 1-2. ISBN: 978-88-904388-4-4. 2013.
Bibtex   html   

 

Artifact evaluation (summary)
Alexandre Bergel, Lorenzo Bettini
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. pages 24--25. Publisher: ACM. Series: ESEC/FSE 2013. ISBN: 978-1-4503-2237-9. 2013.
Bibtex   url   

 

Pure trait-based programming on the Java platform
Lorenzo Bettini, Ferruccio Damiani
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Too. pages 67--78. Publisher: ACM. Series: PPPJ '13. ISBN: 978-1-4503-2111-2. 2013.
Abstract   Bibtex   url   

 

Implementing Domain-Specific Languages with Xtext and Xtend
Lorenzo Bettini
Packt Publishing. ISBN: 9781782160304. 2013.
Abstract   Bibtex   url   

 

Implementing Java-like languages in Xtext with Xsemantics
Lorenzo Bettini
Proceedings of the 28th Annual ACM Symposium on Applied Computing. pages 1559--1564. Publisher: ACM. Series: SAC '13. ISBN: 978-1-4503-1656-9. 2013.
Abstract   Bibtex   url   

 

 

Combining traits with boxes and ownership types in a Java-like setting
Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer
Science of Computer Programming. pages 218–247. volume 78. number 2. 2013.
Abstract   Bibtex   url   

 

Approaches and Tools for Implementing Type Systems in Xtext
Lorenzo Bettini, Dietmar Stoll, Markus Völter, Serano Colameo
Software Language Engineering. pages 392-412. volume 7745. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-364236088-6. 2012.
Abstract   Bibtex   url   pdf   

 

Modeling adaptation with a tuple-based coordination language
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
SAC. Sascha Ossowski, Paola Lecca (Eds.). pages 1522-1527. Publisher: ACM. ISBN: 978-1-4503-0857-1. 2012.
Bibtex   

 

Towards a Formal Verification Methodology for Collective Robotic Systems
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo
ICFEM. Toshiaki Aoki, Kenji Taguchi (Eds.). pages 54-70. volume 7635. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-34280-6. 2012.
Bibtex   

 

 

 

EMF Components - Filling the Gap between Models and UI
Lorenzo Bettini
ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends. Slimane Hammoudi, Marten van Sinderen, José Cordeiro (Eds.). pages 34-43. Publisher: SciTePress. ISBN: 978-989-8565-19-8. 2012.
Abstract   Bibtex   

 

Generics and Reverse Generics for Pharo
Alexandre Bergel, Lorenzo Bettini
ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends. Slimane Hammoudi, Marten van Sinderen, José Cordeiro (Eds.). pages 363-372. Publisher: SciTePress. 2012. Best Paper Award.
Abstract   Bibtex   

 

Software diversity: state of the art and perspectives
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. pages 477-495. volume 14. Publisher: Springer-Verlag. 2012.
Bibtex   url   

 

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti
FoSSaCS. Lars Birkedal (Eds.). pages 195-209. volume 7213. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-28728-2. 2012.
Bibtex   

 

Deriving Session and Union Types for Objects
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
Mathematical Structures in Computer Science. Publisher: Cambridge University Press. 2012. To appear.
Bibtex   pdf   

 

Context Aware Specification and Verification of Distributed Systems
Liliana D'Errico, Michele Loreti
TGC. Roberto Bruni, Vladimiro Sassone (Eds.). pages 142-159. volume 7173. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-30064-6. 2011.
Bibtex   

 

A Language-Based Approach to Autonomic Computing
Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese
FMCO. Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (Eds.). pages 25-48. volume 7542. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-35886-9. ISBN: 978-3-642-35887-6. 2011.
Bibtex   

 

SoSL: A Service-Oriented Stochastic Logic
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Results of the SENSORIA Project. Martin Wirsing, Matthias M. Hölzl (Eds.). pages 447-466. volume 6582. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-20400-5. 2011.
Bibtex   

 

Quantitative Analysis of Services
Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo
Results of the SENSORIA Project. Martin Wirsing, Matthias M. Hölzl (Eds.). pages 522-540. volume 6582. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-20400-5. 2011.
Bibtex   

 

Analysing Robot Movement Using the Sensoria Methods
Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano
Results of the SENSORIA Project. Martin Wirsing, Matthias M. Hölzl (Eds.). pages 678-697. volume 6582. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-20400-5. 2011.
Bibtex   

 

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Marco Bernardo, Rocco De Nicola, Michele Loreti
PACO. Luca Aceto, Mohammad Reza Mousavi (Eds.). pages 66-75. volume 60. Series: EPTCS. 2011.
Bibtex   

 

 

A DSL for Writing Type Systems for Xtext Languages
Lorenzo Bettini
Proceedings of Principles and Practice of Programming in Java (PPPJ). Christian Wimmer, Christian W. Probst (Eds.). pages 31-40. Publisher: ACM. 2011.
Abstract   Bibtex   url   

 

Object Reuse and Behavior Adaptation in Java-like Languages
Lorenzo Bettini, Betti Venneri
Proceedings of Principles and Practice of Programming in Java (PPPJ). Christian Wimmer, Christian W. Probst (Eds.). pages 111-120. Publisher: ACM. 2011.
Abstract   Bibtex   url   

 

Extending the BPEL Designer with Xtext based editors
Lorenzo Bettini, Vincenzo Caselli, Francesco Guidieri
Proc. of ECLIPSE-IT. pages 332-333. ISBN: 9788890438820. 2011.
Bibtex   

 

Reverse Generics - Parametrization after the Fact
Alexandre Bergel, Lorenzo Bettini
ICSOFT (1). Boris Shishkov, José Cordeiro, Alpesh Ranchordas (Eds.). pages 107-123. volume 50. Publisher: Springer. Series: Communications in Computer and Information Science. ISBN: 978-3-642-20116-5. 2011.
Abstract   Bibtex   pdf   

 

Linear-Time and May-Testing in a Probabilistic Reactive Setting
Lucia Acciai, Michele Boreale, Rocco De Nicola
FMOODS/FORTE. Roberto Bruni, Jürgen Dingel (Eds.). pages 29-43. volume 6722. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-21460-8. 2011.
Bibtex   

 

Delegation by object composition
Lorenzo Bettini, Viviana Bono, Betti Venneri
Science of Computer Programming. pages 992-1014. volume 76. number 11. Publisher: Elsevier. 2011.
Abstract   Bibtex   url   

 

Compositional Type-Checking for Delta-oriented Programming
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani
Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11. pages 43--56. Publisher: ACM. 2011.
Abstract   Bibtex   url   

 

Property-Preserving Refinement of Concurrent Systems
Liliana D'Errico, Michele Loreti
TGC. Martin Wirsing, Martin Hofmann, Axel Rauschmayer (Eds.). pages 222-236. volume 6084. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-15639-7. 2010.
Bibtex   

 

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti
TGC. Martin Wirsing, Martin Hofmann, Axel Rauschmayer (Eds.). pages 35-56. volume 6084. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-15639-7. 2010.
Bibtex   

 

Simulation and Analysis of Distributed Systems in Klaim
Francesco Calzolai, Michele Loreti
COORDINATION. Dave Clarke, Gul A. Agha (Eds.). pages 122-136. volume 6116. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-13413-5. 2010.
Bibtex   

 

Tree-functors, determinacy and bisimulations
Rocco De Nicola, Daniele Gorla, Anna Labella
Mathematical Structures in Computer Science. pages 319-358. volume 20. number 3. 2010.
Bibtex   

 

An Eclipse-based IDE for Featherweight Java implemented in Xtext
Lorenzo Bettini
Proc. ECLIPSE-IT. pages 14-28. ISBN: 9788890438813. 2010.
Abstract   Bibtex   url   pdf   

 

Delta-oriented Programming of Software Product Lines
Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella
Proc. of Software Product Line Conference (SPLC 2010). pages 77-91. volume 6287. Publisher: Springer. Series: LNCS. 2010.
Abstract   Bibtex   pdf   

 

A Calculus for Boxes and Traits in a Java-Like Setting
Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer
COORDINATION. Dave Clarke, Gul A. Agha (Eds.). pages 46-60. volume 6116. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-13413-5. 2010.
Abstract   Bibtex   pdf   

 

Compositional Type-Checking of Delta-oriented Product Lines
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani
22nd Nordic Workshop on Programming Theory - NWPT. 2010.
Abstract   Bibtex   pdf   

 

A Prototypical Java-like Language with Records and Traits
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
Proc. of PPPJ, Principles and Practice of Programming in Java. pages 2096-2102. Publisher: ACM. 2010.
Abstract   Bibtex   pdf   

 

Implementing software product lines using traits
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
Proceedings of the 25th ACM symposium on Applied Computing (SAC 2010). Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, Cheng Hung (Eds.). pages 2096-2102. Publisher: ACM. 2010.
Abstract   Bibtex   pdf   

 

On a Uniform Framework for the Definition of Stochastic Process Languages
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
FMICS. María Alpuente, Byron Cook, Christophe Joubert (Eds.). pages 9-25. volume 5825. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-04569-1. 2009.
Bibtex   

 

A safe implementation of dynamic overloading in Java-like languages
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Proc. of 3rd International Conference on Fundamentals of Software Engineering (FSEN'09) . pages 455-462. volume 5961. Publisher: Springer. Series: LNCS. 2009.
Abstract   Bibtex   pdf   

 

A process Algebra Approach to Fuzzy Reasoning
Liliana D'Errico, Michele Loreti
IFSA/EUSFLAT Conf.. Jo\ ao Paulo Carvalho, Didier Dubois, Uzay Kaymak, Jo\ ao Miguel da Costa Sousa (Eds.). pages 1136-1141. 2009.
Bibtex   

 

On a Uniform Framework for the Definition of Stochastic Process Languages
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
FMICS. María Alpuente, Byron Cook, Christophe Joubert (Eds.). pages 9-25. volume 5825. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   

 

Provably Correct Implementations of Services
Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina, Roberto Bruni
TGC 2008. Christos Kaklamanis, Flemming Nielson (Eds.). pages 69-86. volume 5474. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   

 

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
TGC 2008. Christos Kaklamanis, Flemming Nielson (Eds.). pages 52-68. volume 5474. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   

 

A Mechanisms for Flexible Dynamic Trait Replacement
Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani
FTfJP '09: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs. pages 1-7. Publisher: ACM Digital Library. 2009.
Abstract   Bibtex   pdf   

 

Rate-Based Transition Systems for Stochastic Process Calculi
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Automata, Languages and Programming, 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas (Eds.). pages 435-446. volume 5556. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   pdf   

 

MarCaSPiS: a Markovian Extension of a Calculus for Services
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Electronic Notes in Theoretical Computer Science. M. Hennessy and B. Klin (Eds.). pages 11-26. volume 229. number 4. Publisher: Elsevier. 2009.
Bibtex   

 

I-Java: an extension of Java with incomplete objects and object composition
Lorenzo Bettini, Viviana Bono, Erica Turin
Proceedings of Software Composition. Alexandre Bergel, Johan Fabry (Eds.). pages 27-44. volume 5634. Publisher: Springer. Series: LNCS. 2009.
Abstract   Bibtex   pdf   

 

Featherweight Java with Dynamic and Static Overloading
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Science of Computer Programming. pages 261-278. volume 74. number 5-6. Publisher: Elsevier. 2009.
Abstract   Bibtex   pdf   url   

 

Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account
Lorenzo Bettini, Sara Capecchi, Betti Venneri
RAIRO - Theoretical Informatics and Applications. pages 517-565. number 43. 2009.
Abstract   Bibtex   pdf   html   

 

Assume-Guarantee Verification of Concurrent Systems
Liliana D'Errico, Michele Loreti
COORDINATION. John Field, Vasco Thudichum Vasconcelos (Eds.). pages 288-305. volume 5521. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   pdf   

 

 

Session and Union Types for Object Oriented Programming
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
Concurrency, Graphs and Models. pages 659-680. volume 5065. Publisher: Springer. Series: LNCS. 2008.
Abstract   Bibtex   pdf   

 

Provably Correct Implementations of Services
Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina
TGC. Christos Kaklamanis, Flemming Nielson (Eds.). pages 69-86. volume 5474. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-00944-0. 2008.
Bibtex   

 

Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models. Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.). volume 5065. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-540-68676-7. 2008.
Bibtex   

 

Timed Buffers: A Technique For Update Propagation In Nomadic Environments
Lorenzo Bettini
Computer Communications. pages 3209-3222. number 31. Publisher: Elsevier. 2008.
Abstract   Bibtex   url   pdf   

 

Implementing Session Centered Calculi
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Coordination Models and Languages (COORDINATION2008). Doug Lea, Gianluigi Zavattaro (Eds.). pages 17-32. volume 5052. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Abstract   Bibtex   pdf   

 

Design of a Password-Based EAP Method
Andrea Manganaro, Mingyur Koblensky, Michele Loreti
E-business and Telecommunications 4th International Conference, ICETE 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected Papers . Joaquim Filipe and Mohammad S. Obaidat (Eds.). pages 343-355. volume 23. Publisher: Springer. Series: Communications in Computer and Information Science. 2008.
Abstract   Bibtex   url   

 

TAPAs: A Tool for the Analysis of Process Algebras
Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi
Transactions on Petri Nets and Other Models of Concurrency I. pages 54-70. volume 5100. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   

 

A trait based re-engineering technique for Java hierarchies
Lorenzo Bettini, Viviana Bono, Marco Naddeo
Proc. of PPPJ, Principles and Practice of Programming in Java. pages 149--158. Publisher: ACM Press. 2008.
Abstract   Bibtex   pdf   

 

Type Safe Dynamic Object Delegation in Class-based Languages
Lorenzo Bettini, Viviana Bono
Proc. of PPPJ, Principles and Practice of Programming in Java. pages 171--180. Publisher: ACM Press. 2008.
Abstract   Bibtex   pdf   

 

Modelling global computations with Klaim
Rocco De Nicola, Michele Loreti
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. Marta Kwiatkowska Tom Rodden Vladimiro Sassone (Eds.). pages 3737-3745. volume 366. number 1881. Publisher: Royal Society. 2008.
Bibtex   url   

 

A Fluid Flow Approach to Usability Analysis of Multi-user Systems
Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti
TAMODIA/HCSE. Peter Forbrig, Fabio Paternò (Eds.). pages 166-180. volume 5247. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   

 

Object Incompleteness and Dynamic Composition in Java-Like Languages
Lorenzo Bettini, Viviana Bono, Betti Venneri
TOOLS (46). Richard F. Paige and Bertrand Meyer (Eds.). pages 198-217. volume 11. Publisher: Springer. Series: LNBIP. 2008.
Abstract   Bibtex   pdf   

 

Service Discovery and Negotiation With COWS
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Electr. Notes Theor. Comput. Sci.. pages 133-154. volume 200. number 3. 2008.
Bibtex   

 

A Model Checking Approach for Verifying COWS Specifications
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
FASE. José Luiz Fiadeiro, Paola Inverardi (Eds.). pages 230-245. volume 4961. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   

 

A Formal Account of WS-BPEL
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
COORDINATION. Doug Lea, Gianluigi Zavattaro (Eds.). pages 199-215. volume 5052. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   

 

Specifying and Analysing SOC Applications with COWS
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Concurrency, Graphs and Models. Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.). pages 701-720. volume 5065. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   

 

A Typed Lambda Calculus with Intersection Types
Viviana Bono, Betti Venneri, Lorenzo Bettini
Theoretical Computer Science. pages 95-113. volume 398. number 1-3. Publisher: Elsevier. 2008.
Abstract   Bibtex   pdf   

 

Featherweight Wrap Java: wrapping objects and methods
Lorenzo Bettini, Sara Capecchi, Elena Giachino
Journal of Object Technology. pages 5-29. volume 7. number 2. 2008. Special Issue OOPS Track at SAC 2007.
Abstract   Bibtex   pdf   

 

Sessions and Pipelines for Structured Service Programming
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
Formal Methods for Open Object-Based Distributed Systems (FMOODS2008). Gilles Barthe, Frank S. de Boer (Eds.). pages 19-38. volume 5051. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   pdf   

 

From Flow Logic to Static Type Systems for Coordination Languages
Rocco De Nicola, Daniele Gorla, Rene Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
International conference on Coordination Models and Languages (COORDINATION'08). pages 100-116. volume 5052. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   pdf   

 

Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models. Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.). volume 5065. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   

 

Ugo Montanari in a Nutshell
Rocco De Nicola, Pierpaolo Degano, José Meseguer
Concurrency, Graphs and Models. pages 1-8. 2008.
Bibtex   

 

Multiple-Labelled Transition Systems for nominal calculi and their logics
Rocco De Nicola, Michele Loreti
Mathematical Structures in Computer Science. pages 107-143. volume 18. number 1. 2008.
Bibtex   

 

Semantic subtyping for the pi-calculus
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
Theor. Comput. Sci.. pages 217-242. volume 398. number 1-3. 2008.
Bibtex   

 

 

Design of a Password-based Authentication Method for Wireless Networks
Andrea Manganaro, Mingyur Koblensky, Michele Loreti
WINSYS. Mohammad S. Obaidat, Victor Peral Lecha, Rafael F. S. Caldeirinha (Eds.). pages 9-16. Publisher: INSTICC Press. 2007.
Bibtex   

 

A Calculus for Orchestration of Web Services
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
ESOP. Rocco De Nicola (Eds.). pages 33-47. volume 4421. Publisher: Springer. Series: Lecture Notes in Computer Science. 2007.
Bibtex   

 

Regulating Data Exchange in Service Oriented Applications
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
FSEN. Farhad Arbab, Marjan Sirjani (Eds.). pages 223-239. volume 4767. Publisher: Springer. Series: Lecture Notes in Computer Science. 2007.
Bibtex   

 

C-clock-WS: A Timed Service-Oriented Calculus
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
ICTAC. Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.). pages 275-290. volume 4711. Publisher: Springer. Series: Lecture Notes in Computer Science. 2007.
Bibtex   

 

 

Implementing a distributed mobile calculus using the IMC framework
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti
Proc. of MTCOORD (2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems). pages 63-79. volume 181. Publisher: Elsevier. Series: ENTCS. 2007.
Abstract   Bibtex   pdf   

 

Featherweight Wrap Java
Lorenzo Bettini, Sara Capecchi, Elena Giachino
Proc. of SAC (The 22nd Annual ACM Symposium on Applied Computing), Special Track on Object-Oriented Programming Languages and Systems (OOPS). pages 1094-1100. Publisher: ACM Press. 2007.
Abstract   Bibtex   pdf   

 

Featherweight Java with Multi-Methods
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Proc. of PPPJ, Principles and Practice of Programming in Java. pages 83-92. volume 272. Publisher: ACM Press. 2007.
Abstract   Bibtex   pdf   

 

SENSORIA Process Calculi for Service-Oriented Computing
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
Second Symposium on Trustworthy Global Computing (TGC 2006), Lucca, Italy. Don Sanella, Ugo Montanari (Eds.). 2007. to appear.
Abstract   Bibtex   pdf   

 

Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Rocco De Nicola, Michele Loreti
pages 133-146. volume 169. Series: Electronic Notes in Theoretical Computer Science. 2007.
Abstract   Bibtex   pdf   

 

 

Session Centered Calculi for Service Oriented Computing (Invited Talk)
Rocco De Nicola
Proc. 10th Italian Conference on Theoretical Computer Science. G.F. Italiano, E. Moggi, L. Laura (Eds.). pages 6-10. Publisher: World Scientific. 2007.
Abstract   Bibtex   pdf   

 

Basic Observables for Probabilistic May Testing
Maria Carla Palmeri, Rocco De Nicola, Mieke Massink
Fourth International Conference on the Quantitative Evaluation of Systems. pages 189-198. Publisher: IEEE. 2007.
Abstract   Bibtex   pdf   

 

Global computing in a dynamic network of tuple spaces
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Sci. Comput. Program.. pages 187-204. volume 64. number 2. 2007.
Bibtex   pdf   

 

Basic observables for a calculus for global computing
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Inf. Comput.. pages 1491-1525. volume 205. number 10. 2007.
Bibtex   pdf   

 

Model checking mobile stochastic logic
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
Theor. Comput. Sci.. pages 42-70. volume 382. number 1. 2007.
Bibtex   url   

 

 

Implementing Mobile and Distributed Applications in X-Klaim
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Scalable Computing: Practice and Experience, Special Issue: Software Agent Mobility. Henry Hexmoor, Marcin Paprzycki, Niranjan Suri (Eds.). pages 13-35. volume 7. number 4. 2006.
Abstract   Bibtex   url   

 

SensoriaProcess Calculi for Service-Oriented Computing
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
TGC. Ugo Montanari, Donald Sannella, Roberto Bruni (Eds.). pages 30-50. volume 4661. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-540-75333-9. 2006.
Bibtex   

 

SensoriaProcess Calculi for Service-Oriented Computing
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
TGC. Ugo Montanari, Donald Sannella, Roberto Bruni (Eds.). pages 30-50. volume 4661. Publisher: Springer. Series: Lecture Notes in Computer Science. 2006.
Bibtex   

 

A WSDL-Based Type System for WS-BPEL
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
COORDINATION. Paolo Ciancarini, Herbert Wiklicky (Eds.). pages 145-163. volume 4038. Publisher: Springer. Series: Lecture Notes in Computer Science. 2006.
Bibtex   

 

Double Dispatch in C++
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Software - Practice and Experience. pages 581 - 613. volume 36. number 6. 2006.
Abstract   Bibtex   gz   

 

Confining Data and Processes in Global Computing Applications
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Science of Computer Programming. pages 57-87. volume 63. number 1. Publisher: Elsevier Science. 2006.
Abstract   Bibtex   pdf   

 

SCC: a Service Centered Calculus
Michele Boreale, Roberto Bruni, Luis Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, Antonio Ravara, Davide Sangiorgi, Vasco Vasconcelos, Gianluigi Zavattaro
Proceedings of WS-FM 2006, 3rd International Workshop on Web Services and Formal Methods. M. Bravetti, G. Zavattaro (Eds.). pages 38--57. volume 4184. Publisher: Springer Verlag. Series: Lecture Notes in Computer Science. 2006.
Abstract   Bibtex   gz   

 

 

Klaim and its Stochastic Semantics
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
2006. Available at \texttthttp://rap.dsi.unifi.it/\textasciitildeloreti/papers/TR062006.pdf.
Bibtex   

 

 

 

From Process Calculi to Klaim and Back
Rocco De Nicola
Electr. Notes Theor. Comput. Sci.. pages 159-162. volume 162. 2006.
Bibtex   

 

On the expressive power of KLAIM-based calculi
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Theor. Comput. Sci.. pages 387-421. volume 356. number 3. 2006.
Bibtex   

 

Towards a Logic for Performance and Mobility
Rocco De Nicola, Pieter Katoen, Diego Latella, Mieke Massink
Electr. Notes Theor. Comput. Sci.. pages 161-175. volume 153. number 2. 2006.
Bibtex   

 

A Java Package for Transparent Code Mobility
Lorenzo Bettini
FIDJI 2004, Int. Workshop on scientific engineering of distributed Java applications. N.Guelfi and G.Reggio and A.Romanovsky (Eds.). pages 112-122. volume 3409. Publisher: Springer. Series: LNCS. 2005.
Abstract   Bibtex   ps   

 

Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers

TGC. Rocco De Nicola, Davide Sangiorgi (Eds.). volume 3705. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 3-540-30007-4. 2005.
Bibtex   

 

Mobile Distributed Programming in X-Klaim
Lorenzo Bettini, Rocco De Nicola
Formal Methods for Mobile Computing, Advanced Lectures. M. Bernardo and A. Bogliolo (Eds.). pages 29-68. volume 3465. Publisher: Springer. Series: LNCS. 2005.
Abstract   Bibtex   gz   

 

A Mobility Calculus with Local and Dependent Types
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
Processes, Terms and Cycles. Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer (Eds.). pages 404-444. volume 3838. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex   

 

MoMi: A Calculus for Mobile Mixins
Lorenzo Bettini, Viviana Bono, Betti Venneri
Acta Informatica. pages 143 - 190. volume 42. number 2-3. Publisher: Springer. 2005.
Abstract   Bibtex   ps   url   

 

Translating Double-Dispatch into Single-Dispatch
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Proceedings of the Second Workshop on Object Oriented Developments (WOOD 2004). pages 59-78. volume 138. number 2. Publisher: Elsevier. Series: ENTCS. 2005.
Abstract   Bibtex   pdf   

 

Safe and Flexible Objects
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Proc. of SAC 2005, Special Track on Object-Oriented Programming Languages and Systems (OOPS). pages 1268-1273. Publisher: ACM Press. 2005.
Abstract   Bibtex   pdf   

 

Safe Object Composition in the Presence of Subtyping
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Proc. of ICTCS 2005. M. Coppo, E. Lodi, G.M. Pinna (Eds.). pages 128-142. volume 3701. Publisher: Springer. Series: LNCS. 2005.
Abstract   Bibtex   pdf   

 

Safe and Flexible Objects with Subtyping
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Journal of Object Technology, Special Issue: OOPS Track at SAC 2005. pages 5-29. volume 4. number 10. 2005.
Abstract   Bibtex   url   

 

A method for symbolic analysis of security protocols.
Maria Grazia Buscemi, Michele Boreale
Theor. Comput. Sci.. pages 393-425. volume 338. number 1-3. 2005.
Bibtex   

 

Global Computing in a Dynamic Network of Tuple Spaces.
Daniele Gorla, Rosario Pugliese, Rocco De Nicola
Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings. Jean-Marie Jacquet, Gian Pietro Picco (Eds.). pages 157-172. volume 3454. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex   

 

A Process Calculus for QoS-Aware Applications.
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings. Jean-Marie Jacquet, Gian Pietro Picco (Eds.). pages 33-48. volume 3454. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex   

 

Pattern Matching over a Dynamic Network of Tuple Spaces.
Daniele Gorla, Rosario Pugliese, Rocco De Nicola
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Pro. Martin Steffen, Gianluigi Zavattaro (Eds.). pages 1-14. volume 3535,year. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex   

 

Basic Observables for a Calculus for Global Computing.
Daniele Gorla, Rosario Pugliese, Rocco De Nicola
Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings. Luìs Caires, Giuseppe F. Italiano, Luìs Monteiro, Catuscia Palamidessi, Moti Yung (Eds.). pages 1226-1238. volume 3580,,. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex   

 

A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti
Proc. of 5th IFIP Int. Conf. on Distributed Applications and Interoperable Systems (DAIS). pages 181--193. volume 3543. Publisher: Springer. Series: LNCS. 2005.
Abstract   Bibtex   pdf   

 

 

 

Types in concurrency
Rocco De Nicola, Davide Sangiorgi
Acta Inf.. pages 79-81. volume 42. number 2-3. 2005.
Bibtex   

 

Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers

TGC. Rocco De Nicola, Davide Sangiorgi (Eds.). volume 3705. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex   

 

 

On the Expressive Power of Klaim-based Calculi
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Electr. Notes Theor. Comput. Sci.. pages 117-130. volume 128. number 2. 2005.
Bibtex   

 

Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

COORDINATION. Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith (Eds.). volume 2949. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 3-540-21044-X. 2004.
Bibtex   

 

Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Automated Software Engineering: Special Issue on Distributed and Mobile Software Engineering. pages 245-288. volume 11. number 3. 2004.
Abstract   Bibtex   gz   

 

Data Privacy in Tuple Space Based Mobile Agent Systems
Lorenzo Bettini
2nd Int. Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo). R.Focardi and G.Zavattaro (Eds.). pages 3-16. volume 128. number 5. Publisher: Elsevier. Series: ENTCS. 2004.
Abstract   Bibtex   pdf   

 

A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís Lopes, Licínio Oliveira, Hervé Paulino, Vasco T. Vasconcelos
Global Computing. IST/FET International Workshop, GC 2004, Revised Papers. C. Priami (Eds.). pages 179-207. volume 3267. Publisher: Springer. Series: LNCS. 2004.
Abstract   Bibtex   gz   

 

A Core Calculus of Higher-Order Mixins and Classes (Poster Abstract)
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Proc. of ACM Symposium on Applied Computing (SAC 2004). pages 1508-1509. Publisher: ACM Press. 2004.
Bibtex   

 

A Core Calculus of Higher-Order Mixins and Classes
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Types for Proofs and Programs: 3rd Int. Workshop, TYPES 2003. pages 83-98. volume 3085. Publisher: Springer. Series: LNCS. 2004.
Abstract   Bibtex   ps   

 

Controlling data movement in global computing applications
Daniele Gorla, Rosario Pugliese
SAC. Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock (Eds.). pages 1462-1467. Publisher: ACM. 2004.
Bibtex   

 

MetaKlaim: a type safe multi-stage language for global computing
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Mathematical Structures in Computer Science. pages 367-395. volume 14. number 3. 2004.
Bibtex   

 

Dynamic and Local Typing for Mobile Ambients
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
IFIP TCS. Jacques Lévy, Ernst W. Mayr, John C. Mitchell (Eds.). pages 577-590. Publisher: Kluwer. 2004.
Bibtex   

 

 

O'Klaim: a coordination language with mobile mixins
Lorenzo Bettini, Viviana Bono, Betti Venneri
Proc. of Coordination. pages 20-37. volume 2949. Publisher: Springer. Series: LNCS. 2004.
Abstract   Bibtex   pdf   

 

Subtyping-Inheritance Conflicts: The Mobile Mixin Case
Lorenzo Bettini, Viviana Bono, Betti Venneri
Proc. of Third IFIP International Conference on Theoretical Computer Science (TCS 2004). J-J. Levy, E.W. Mayr, J.C. Mitchell (Eds.). pages 451--464. Publisher: Kluwer Academic Publishers. 2004.
Abstract   Bibtex   pdf   

 

An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses
Lorenzo Bettini, Leonardo Cecchi, Pilu Crescenzi, Gaia Innocenti, Michele Loreti
Proc. of IEEE International Conference on Advanced Learning Technologies. pages 161-165. Publisher: IEEE. 2004.
Abstract   Bibtex   pdf   

 

 

 

Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

COORDINATION. Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith (Eds.). volume 2949. Publisher: Springer. Series: Lecture Notes in Computer Science. 2004.
Bibtex   

 

Extending Java to dynamic object behaviors
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Proc of WOOD 2003. pages 33-52. volume 82. number 8. Series: ENTCS. 2003.
Abstract   Bibtex   pdf   

 

A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
Lorenzo Bettini, Rocco De Nicola
Proc. of FIDJI'02, Int. Workshop on scientific engineering of distributed Java applications. N. Guelfi, E. Astesiano, G. Reggio (Eds.). pages 175-184. number 2604. Publisher: Springer. Series: LNCS. 2003.
Abstract   Bibtex   gz   

 

Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations
Lorenzo Bettini
Tesi di Dottorato, Ciclo XIV, Dottorato in Logica e Informatica Teorica. Publisher: Dipartimento di Matematica, Università di Siena. 2003.
Abstract   Bibtex   gz   

 

 

 

Resource Access and Mobility Control with Dynamic Privileges Acquisition
Daniele Gorla, Rosario Pugliese
ICALP. Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger (Eds.). pages 119-132. volume 2719. Publisher: Springer. Series: Lecture Notes in Computer Science. 2003.
Bibtex   

 

Enforcing Security Policies via Types
Daniele Gorla, Rosario Pugliese
SPC. Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann (Eds.). pages 86-100. volume 2802. Publisher: Springer. Series: Lecture Notes in Computer Science. 2003.
Bibtex   

 

 

Nondeterministic regular expressions as solutions of equational systems
Rocco De Nicola, Anna Labella
Theor. Comput. Sci.. pages 179-189. volume 302. number 1-3. 2003.
Bibtex   

 

 

On Multiple Inheritance in Java
Lorenzo Bettini, Michele Loreti, Betti Venneri
Technology of Object-Oriented Languages, Systems and Architectures, Proc. of TOOLS Eastern Europe 2002. Theo D'Hondt (Eds.). pages 1-15. Publisher: Kluwer Academic Publishers. 2003.
Abstract   Bibtex   gz   

 

A Java package for class and mixin mobility in a distributed setting
Lorenzo Bettini
Proc. of FIDJI'03. N.Guelfi and E.Astesiano and G.Reggio (Eds.). pages 12-22. volume 2952. Publisher: Springer. Series: LNCS. 2003.
Abstract   Bibtex   gz   

 

 

The Klaim Project: Theory and Practice
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, GianLuigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Revised Papers. C. Priami (Eds.). pages 88-150. volume 2874. Publisher: Springer. Series: LNCS. 2003.
Abstract   Bibtex   gz   

 

X-Klaim and Klava: Programming Mobile Code
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
TOSCA 2001. M. Lenisa, M. Miculan (Eds.). pages 24-37. volume 62. Publisher: Elsevier. Series: ENTCS. 2002.
Abstract   Bibtex   gz   

 

Modelling Node Connectivity in Dynamically Evolving Networks
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
ConCoord International Workshop on Concurrency and Coordination. volume 54. Publisher: Elsevier. Series: ENTCS. 2002.
Abstract   Bibtex   gz   

 

 

Klava: a Java Package for Distributed and Mobile Applications
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
Software - Practice and Experience. pages 1365-1394. volume 32. number 14. Publisher: John Wiley & Sons. 2002.
Abstract   Bibtex   gz   

 

Software Update via Mobile Agent Based Programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Proc. of SAC, Special Track on Agents, Interactions, Mobility, and Systems. pages 32-36. Publisher: ACM Press. 2002.
Abstract   Bibtex   gz   

 

 

Guardians for Ambient-based Monitoring
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Electr. Notes Theor. Comput. Sci.. volume 66. number 3. 2002.
Bibtex   

 

 

An Infrastructure Language for Open Nets
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
Proc. of SAC, Special Track on Coordination Models, Languages and Applications. pages 373-377. Publisher: ACM Press. 2002.
Abstract   Bibtex   gz   gz   

 

 

Coordinating Mobile Object-Oriented Code
Lorenzo Bettini, Viviana Bono, Betti Venneri
Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pages 56-71. number 2315. Publisher: Springer. Series: LNCS. 2002.
Abstract   Bibtex   gz   

 

Formalizing Properties of Mobile Agent Systems
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pages 72-87. number 2315. Publisher: Springer. Series: LNCS. 2002.
Abstract   Bibtex   gz   

 

 

On Compositional Reasoning in the Spi-Calculus
Michele Boreale, Daniele Gorla
FoSSaCS'02 Proceedings. M.Nielsen, H.U.Engberg (Eds.). pages 67-81. number 2303. Publisher: Springer. Series: LNCS. 2002.
Bibtex   pdf   

 

A Framework for the Analysis of Security Protocols
Michele Boreale, Marzia Buscemi
Proc. of CONCUR '02. Publisher: Springer. 2002.
Bibtex   gz   

 

A Modal Logic for Mobile Agents
Rocco De Nicola, Michele Loreti
ACM Transactions on Computational Logic. Publisher: ACM. 2002. to appear.
Abstract   Bibtex   gz   

 

Languages and Logics for Network Aware Programming
Michele Loreti
Tesi di Dottorato, Ciclo XIII, Dottorato in Logica e Informatica Teorica. Publisher: Dipartimento di Matematica, Università di Siena. 2002.
Abstract   Bibtex   gz   

 

 

Programmazione di Agenti Mobili in C# (Programming Mobile Agents in C#)
Alessandro Lapadula
Master Thesis (in Italian), Università di Firenze. 2002.
Abstract   Bibtex   gz   

 

 

 

A Java 2 Network Class Loader
Lorenzo Bettini, Donato Cappetta
Dr. Dobb's Journal of Software Tools. pages 58-64. volume 26. number 2. 2001.
Abstract   Bibtex   url   

 

Hyperformulae, Parallel Deductions and Intersection Types
Beatrice Capitani, Michele Loreti, Betti Venneri
Electr. Notes Theor. Comput. Sci.. volume 50. number 2. 2001.
Bibtex   pdf   

 

 

MetaKlaim: Meta-programming for Global Computing
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
SAIG. Walid Taha (Eds.). pages 183-198. volume 2196. Publisher: Springer. Series: Lecture Notes in Computer Science. 2001.
Bibtex   

 

Global Types and Network Services
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Electr. Notes Theor. Comput. Sci.. volume 54. 2001.
Bibtex   

 

Translating Strong Mobility into Weak Mobility
Lorenzo Bettini, Rocco De Nicola
Proc. of 5th IEEE Int. Conf. on Mobile Agents (MA). G. Picco (Eds.). pages 182-197. number 2240. Publisher: Springer. Series: LNCS. 2001.
Abstract   Bibtex   gz   

 

Proof Techniques for Cryptographic Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
SIAM J. Comput.. pages 947-986. volume 31. number 3. 2001.
Bibtex   

 

 

Towards Object-Oriented Klaim
Lorenzo Bettini, Viviana Bono, Betti Venneri
TOSCA 2001. M. Lenisa, M. Miculan (Eds.). volume 62. Publisher: Elsevier. Series: ENTCS. 2001.
Abstract   Bibtex   gz   

 

Divergence in Testing and Readiness Semantics
Rosario Pugliese, Rocco De Nicola, Michele Boreale
Theoretical Computer Science. pages 237-248. volume 266. number 1-2. Publisher: Elsevier. 2001. to appear.
Abstract   Bibtex   gz   

 

 

Mobile Applications in X-KLAIM
Lorenzo Bettini, Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Proc. of WOA 2000. A. Corradi, A. Omicini, A. Poggi (Eds.). pages 1-6. 2000.
Abstract   Bibtex   gz   

 

Linda-based Applicative and Imperative Process Algebras
Rocco De Nicola, Rosario Pugliese
Theoretical Computer Science. pages 389-437. volume 238. number 1-2. Publisher: Elsevier Science. 2000.
Abstract   Bibtex   gz   

 

Structured Nets in Klaim
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
Proc. of ACM SAC'2000, Special Track on Coordination Models, Languages and Applications. pages 174-180. volume 1. Publisher: ACM Press. 2000.
Abstract   Bibtex   gz   gz   

 

Proving the correctness of optimising destructive and non-destructive reads over tuple spaces (Exten
Rocco De Nicola, Rosario Pugliese, Antony Rowstron
Proc. of the Fourth International Conference on Coordination Models and Languages (COORDINATION'00). A. Porto, G.-C. Roman (Eds.). pages 66-80. number 1906. Publisher: Springer. Series: LNCS. 2000.
Abstract   Bibtex   gz   gz   

 

Types for Access Control
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, Betti Venneri
Theoretical Computer Science. pages 215-254. volume 240. number 1. Publisher: Elsevier Science. 2000.
Abstract   Bibtex   gz   

 

Programming Access Control: The Klaim Experience
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Proc. of the 11th International Conference on Concurrency Theory (CONCUR'00). Publisher: Springer. Series: LNCS. 2000.
Abstract   Bibtex   gz   

 

Process Algebraic Analysis of Cryptographic Protocols
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proc. of of Formal Description Techniques (FORTE XIII) & Protocol Specification, Testing, and Verification (PSTV XX) (FORTE/PSTV'00). Publisher: Kluwer. 2000. to appear.
Abstract   Bibtex   gz   

 

A Modal Logic for Klaim
Rocco De Nicola, Michele Loreti
Proc of Algebraic Methodology and Software Technology, 8th Int. Conf. AMAST 2000. T. Rus (Eds.). pages 339-354. number 1816. Publisher: Springer. Series: LNCS. 2000.
Abstract   Bibtex   gz   gz   

 

A Theory of May Testing for Asynchronous Languages
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proc. of Foundations of Software Science and Computation Ssructures (FoSSaCS'99). W. Thomas (Eds.). pages 165-179. number 1578. Publisher: Springer. Series: LNCS. 1999.
Abstract   Bibtex   

 

 

 

 

 

Models of Nondeterministic Regular Expressions
Flavio Corradini, Rocco De Nicola, Anna Labella
J. Comput. Syst. Sci.. pages 412-449. volume 59. number 3. 1999.
Bibtex   

 

Types as Specifications of Access Policies
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Secure Internet Programming: Security Issues for Distributed and Mobile Objects. J. Vitek, C. Jensen (Eds.). pages 117-146. number 1603. Publisher: Springer. Series: LNCS. 1999.
Abstract   Bibtex   gz   

 

Proof Techniques for Cryptographic Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proc. of the 14th IEEE Symposium Logic In Computer Science (LICS'99). pages 157-166. Publisher: IEEE Computer Society Press. 1999.
Abstract   Bibtex   

 

A Symbolic Model Checker for ACTL
Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci
Proc. of International Workshop on Current Trends in Applied Formal Methods (FM-Trends'98). D. Hutter, W. Stephan, P. Traverso, M. Ullmann (Eds.). pages 228-242. number 1641. Publisher: Springer. Series: LNCS. 1999.
Abstract   Bibtex   

 

Towards Verified Lazy Implementation of Concurrent Value-Passing Languages (Extended Abstract)
Anna Ingolfsdottir, Rosario Pugliese
Proc. of EXPRESS'99. volume 27. Publisher: Elsevier Science. Series: ENTCS. 1999. http://www.elsevier.nl/locate/entcs/.
Abstract   Bibtex   

 

 

Interactive Mobile Agents in X-Klaim
Lorenzo Bettini, Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Proc. of the 7th IEEE Int. Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'98). pages 110-115. Publisher: IEEE Computer Society. 1998.
Abstract   Bibtex   gz   

 

 

Klaim: a Kernel Language for Agents Interaction and Mobility
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
IEEE Transactions on Software Engineering. pages 315-330. volume 24. number 5. Publisher: IEEE Computer Society. 1998.
Abstract   Bibtex   pdf   

 

 

Tree Morphisms and Bisimulations
Rocco De Nicola, Anna Labella
Electr. Notes Theor. Comput. Sci.. volume 18. 1998.
Bibtex   

 

Asynchronous Observations of Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proc. of Foundations of Software Science and Computation Ssructures (FoSSaCS'98). M. Nivat (Eds.). pages 95-109. number 1378. Publisher: Springer. Series: LNCS. 1998.
Abstract   Bibtex   

 

Basic Observables for Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Information & Computation. pages 77-98. volume 149. number 1. Publisher: Academic Press. 1998.
Abstract   Bibtex   

 

The ``Relevance'' of Intersection and Union Types
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
Notre Dame Journal of Formal Logic. pages 246-269. volume 38. number 2. 1997.
Bibtex   pdf   

 

Locality Based Linda: programming with explicit localities
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Proc. of Theory and Practice of Software Development (TAPSOFT'97). M. Bidoit, M. Dauchet (Eds.). pages 712-726. number 1214. Publisher: Springer. Series: LNCS. 1997.
Abstract   Bibtex   

 

Basic Observables for Processes - Extended Abstract
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proc. of International Colloquium on Automata, Languages and Programming (ICALP'97). P. Degano, R. Gorrieri, A. Marchetti-Spaccamela (Eds.). pages 482-492. number 1378. Publisher: Springer. Series: LNCS. 1997.
Abstract   Bibtex   

 

Coordinating Mobile Agents via Blackboards and Access Rights
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Proc. of the 2nd Int. Conf. on Coordination Models and Languages (COORDINATION'97). D. Garlan, D. Le Metayer (Eds.). pages 220-237. number 1282. Publisher: Springer. Series: LNCS. 1997.
Abstract   Bibtex   

 

Locality Based Semantics for Process Algebras
Flavio Corradini, Rocco De Nicola
Acta Inf.. pages 291-324. volume 34. number 4. 1997.
Bibtex   

 

Testing Semantics of Asynchronous Distributed Programs
Rocco De Nicola, Rosario Pugliese
Proc. of Analysis and Verification of Multiple--Agents Languages (LOMAPS'96). M. Dam (Eds.). pages 320-344. number 1192. Publisher: Springer. Series: LNCS. 1996.
Abstract   Bibtex   

 

 

Automatic Verification of a Hydroelectric Power Plant
Rosario Pugliese, Enrico Tronci
Proc. of the Int. Symposium on Industrial Benefit and Advances in Formal Methods (FME'96). M.-C. Gaudel, J. Woodcock (Eds.). pages 425-444. number 1051. Publisher: Springer. Series: LNCS. 1996.
Abstract   Bibtex   

 

 

Concurrency: Theory and Practice
Rocco De Nicola, Scott A. Smolka
ACM Comput. Surv.. pages 52. volume 28. number 4es. 1996.
Bibtex   

 

On Four Partial Ordering Semantics for a Process Calculus
Flavio Corradini, Rocco De Nicola
Fundam. Inform.. pages 349-383. volume 27. number 4. 1996.
Bibtex   

 

A Symbolic Semantics for the pi-Calculus
Michele Boreale, Rocco De Nicola
Inf. Comput.. pages 34-52. volume 126. number 1. 1996.
Bibtex   

 

Testing Equivalence for Mobile Processes
Michele Boreale, Rocco De Nicola
Inf. Comput.. pages 279-303. volume 120. number 2. 1995.
Bibtex   

 

An Observational Semantics for Linda
Rocco De Nicola, Rosario Pugliese
Proc. of the Int. Workshop on Structures in Concurrency Theory. J. Desel (Eds.). pages 129-143. Publisher: Springer. Series: Series Workshops in Computing. 1995.
Abstract   Bibtex   

 

 

Testing Equivalence for Mobile Processes
Michele Boreale, Rocco De Nicola
Inf. Comput.. pages 279-303. volume 120. number 2. 1995.
Bibtex   

 

Three Logics for Branching Bisimulation
Rocco De Nicola, Frits W. Vaandrager
J. ACM. pages 458-487. volume 42. number 2. 1995.
Bibtex   

 

A Process Algebraic View of Input/Output Automata
Rocco De Nicola, Roberto Segala
Theor. Comput. Sci.. pages 391-423. volume 138. number 2. 1995.
Bibtex   

 

 

A Completeness Theorem fro Nondeterministic Kleene Algebras
Rocco De Nicola, Anna Labella
MFCS. Igor Prívara, Branislav Rovan, Peter Ruzicka (Eds.). pages 536-545. volume 841. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 3-540-58338-6. 1994.
Bibtex   

 

Intersection Types as Logical Formulae
Betti Venneri
J. Log. Comput.. pages 109-124. volume 4. number 2. 1994.
Bibtex   pdf   

 

 

 

 

 

Universal Axioms for Bisimulations
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
Theor. Comput. Sci.. pages 63-91. volume 114. number 1. 1993.
Bibtex   

 

 

 

 

 

Three Logics for Branching Bisimulation (Extended Abstract)
Rocco De Nicola, Frits W. Vaandrager
LICS. pages 118-129. Publisher: IEEE Computer Society. 1990.
Bibtex   

 

 

Partial Types and Intervals
Mariangiola Dezani-Ciancaglini, Betti Venneri
SIAM J. Comput.. pages 644-568. volume 19. number 4. 1990.
Bibtex   

 

 

 

Action versus State based Logics for Transition Systems
Rocco De Nicola, Frits W. Vaandrager
Semantics of Systems of Concurrent Processes. pages 407-419. 1990.
Bibtex   

 

A Partial Ordering Semantics for CCS
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
Theor. Comput. Sci.. pages 223-262. volume 75. number 3. 1990.
Bibtex   

 

 

 

Observational Equivalences for Concurrency Models
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
Formal Description of Programming Concepts - III. M. Wirsing (Eds.). pages 105-132. Publisher: North Holland. 1988.
Bibtex   

 

 

 

 

CCS without tau's
Rocco De Nicola, Matthew Hennessy
TAPSOFT, Vol.1. pages 138-152. 1987.
Bibtex   

 

Extensional Equivalences for Transition Systems
Rocco De Nicola
Acta Inf.. pages 211-237. volume 24. number 2. 1987.
Bibtex   

 

Net Theory and Application - Response
Rocco De Nicola
IFIP Congress. pages 833-836. 1986.
Bibtex   

 

Testing Equivalences for Event Structures
Luca Aceto, Rocco De Nicola, Alessandro Fantechi
Mathematical Models for the Semantics of Parallelism. pages 1-20. 1986.
Bibtex   

 

CCS is an (Augmented) Contact Free C/E System
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
Mathematical Models for the Semantics of Parallelism. pages 144-165. 1986.
Bibtex   

 

Two Complete Axiom Systems for a Theory of Communicating Sequential Processes
Rocco De Nicola
Information and Control. pages 136-172. volume 64. number 1-3. 1985.
Bibtex   

 

Two Complete Axiom Systems for a Theory of Communicating Sequential Processes
Rocco De Nicola
Information and Control. pages 136-172. volume 64. number 1-3. 1985.
Bibtex   pdf   

 

Testing Equivalences and Fully Abbstract Models for Communicating Processes
Rocco De Nicola
PhD Thesis. pages 213. Publisher: University of Edinburgh. 1985.
Bibtex   pdf   

 

 

Testing Equivalences for Processes
Rocco De Nicola, Matthew Hennessy
Theor. Comput. Sci.. pages 83-133. volume 34. 1984.
Bibtex   pdf   

 

Principal Type Schemes for an Extended Type Theory
Simona Ronchi Della Rocca, Betti Venneri
Theor. Comput. Sci.. pages 151-169. volume 28. 1984.
Bibtex   

 

 

 

 

Functional Characters of Solvable Terms.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Math. Logik Und Grund. Math. . pages 45--58. volume 27. 1981.
Bibtex   

 

 

Principal Type Schemes and Lambda-calculus Semantics
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
To H. B. Curry. Essays on Combinatory Logic, Lambda-calculus and Formalism. R. Hindley and J. Seldin (Eds.). pages 480--490. Publisher: Accademic Press, London. 1980.
Bibtex