Papers

Page 1 of 15, showing 20 records out of 282 total, starting on record 1, ending on 20

Title Authors Year
Rapidly Implementing EMF Applications with EMF Components Lorenzo Bettini 2013
Generic Programming in Pharo Alexandre Bergel, Lorenzo Bettini 2013
Parsley for your EMF Applications Lorenzo Bettini, Vincenzo Caselli, Francesco Guidieri 2013
Artifact evaluation (summary) Alexandre Bergel, Lorenzo Bettini 2013
Pure trait-based programming on the Java platform Lorenzo Bettini, Ferruccio Damiani 2013
Implementing Domain-Specific Languages with Xtext and Xtend Lorenzo Bettini 2013
Implementing Java-like languages in Xtext with Xsemantics Lorenzo Bettini 2013
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences Marco Bernardo, Rocco De Nicola, Michele Loreti 2013
Combining traits with boxes and ownership types in a Java-like setting Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer 2013
Approaches and Tools for Implementing Type Systems in Xtext Lorenzo Bettini, Dietmar Stoll, Markus Völter, Serano Colameo 2012
Modeling adaptation with a tuple-based coordination language Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi 2012
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 2012
On Flexible Dynamic Trait Replacement for Java-like Languages Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani 2012
Compositional Type Checking of Delta-Oriented Software Product Lines Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer 2012
EMF Components - Filling the Gap between Models and UI Lorenzo Bettini 2012
Generics and Reverse Generics for Pharo Alexandre Bergel, Lorenzo Bettini 2012
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 2012
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes Marco Bernardo, Rocco De Nicola, Michele Loreti 2012
Deriving Session and Union Types for Objects Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri 2012
Context Aware Specification and Verification of Distributed Systems Liliana D'Errico, Michele Loreti 2011
<< previous
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 next >>