Recently added Papers

 

Generic Traits for the Java Platform
Lorenzo Bettini, Ferruccio Damiani
Proc. of the 2014 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. pages 5--16. Publisher: ACM. Series: PPPJ '14. ISBN: 978-1-4503-2926-2. 2014.
Abstract   Bibtex   url   

 

DeltaJ 1.5: Delta-oriented Programming for Java 1.5
Jonathan Koscielny, Sönke Holthusen, Ina Schaefer, Sandro Schulze, Lorenzo Bettini, Ferruccio Damiani
Proc. of the 2014 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. pages 63--74. Publisher: ACM. Series: PPPJ '14. 2014.
Abstract   Bibtex   url   

 

Developing User Interfaces with EMF Parsley
Lorenzo Bettini
ICSOFT 2014 - 9th International Joint Conference on Software Technologies. 2014. To appear.
Abstract   Bibtex   

 

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   pdf   

 

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
Proc. of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. 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   

 

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   

 

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   

 

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   

 

 

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   

 

Compositional Type Checking of Delta-Oriented Software Product Lines
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
Acta Informatica. pages 77-122. volume 50. number 2. Publisher: Springer. 2013.
Abstract   Bibtex   

 

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   

 

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   

 

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   

 

<< previous
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 next >>