Page 1 of 14, showing 20 records out of 275 total, starting on record 1, ending on 20
| Title |
Authors |
Year |
|
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 |
|
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 |
|
TraitRecordJ: A programming language with traits and records |
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco |
2011 |
|
A DSL for Writing Type Systems for Xtext Languages |
Lorenzo Bettini |
2011 |
