Papers

Page 3 of 15, showing 20 records out of 294 total, starting on record 41, ending on 60

Title Authors Year
Extending the BPEL Designer with Xtext based editors Lorenzo Bettini, Vincenzo Caselli, Francesco Guidieri 2011
Reverse Generics - Parametrization after the Fact Alexandre Bergel, Lorenzo Bettini 2011
Linear-Time and May-Testing in a Probabilistic Reactive Setting Lucia Acciai, Michele Boreale, Rocco De Nicola 2011
Delegation by object composition Lorenzo Bettini, Viviana Bono, Betti Venneri 2011
Compositional Type-Checking for Delta-oriented Programming Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani 2011
Property-Preserving Refinement of Concurrent Systems Liliana D'Errico, Michele Loreti 2010
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes Marco Bernardo, Rocco De Nicola, Michele Loreti 2010
Simulation and Analysis of Distributed Systems in Klaim Francesco Calzolai, Michele Loreti 2010
Tree-functors, determinacy and bisimulations Rocco De Nicola, Daniele Gorla, Anna Labella 2010
An Eclipse-based IDE for Featherweight Java implemented in Xtext Lorenzo Bettini 2010
Delta-oriented Programming of Software Product Lines Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella 2010
A Calculus for Boxes and Traits in a Java-Like Setting Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer 2010
Compositional Type-Checking of Delta-oriented Product Lines Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani 2010
A Prototypical Java-like Language with Records and Traits Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco 2010
Implementing software product lines using traits Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer 2010
On a Uniform Framework for the Definition of Stochastic Process Languages Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink 2009
A safe implementation of dynamic overloading in Java-like languages Lorenzo Bettini, Sara Capecchi, Betti Venneri 2009
A process Algebra Approach to Fuzzy Reasoning Liliana D'Errico, Michele Loreti 2009
On a Uniform Framework for the Definition of Stochastic Process Languages Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink 2009
Provably Correct Implementations of Services Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina, Roberto Bruni 2009
<< previous | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 next >>