Papers

Page 2 of 15, showing 20 records out of 294 total, starting on record 21, ending on 40

Title Authors Year
Artifact evaluation (summary) Alexandre Bergel, Lorenzo Bettini 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
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
Context Aware Specification and Verification of Distributed Systems Liliana D'Errico, Michele Loreti 2011
A Language-Based Approach to Autonomic Computing Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese 2011
SoSL: A Service-Oriented Stochastic Logic Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink 2011
Quantitative Analysis of Services Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo 2011
Analysing Robot Movement Using the Sensoria Methods Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano 2011
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi Marco Bernardo, Rocco De Nicola, Michele Loreti 2011
A DSL for Writing Type Systems for Xtext Languages Lorenzo Bettini 2011
Object Reuse and Behavior Adaptation in Java-like Languages Lorenzo Bettini, Betti Venneri 2011
<< previous | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 next >>