2005 |
5 | EE | Maurice H. ter Beek,
Mieke Massink,
Diego Latella,
Stefania Gnesi,
Alessandro Forghieri,
Maurizio Sebastianis:
A case study on the automated verification of groupware protocols.
ICSE 2005: 596-603 |
4 | EE | Maurice H. ter Beek,
Mieke Massink,
Diego Latella,
Stefania Gnesi,
Alessandro Forghieri,
Maurizio Sebastianis:
Model Checking Publish/Subscribe Notification for thinkteam®.
Electr. Notes Theor. Comput. Sci. 133: 275-294 (2005) |
2004 |
3 | EE | Massimo Tivoli,
Paola Inverardi,
Valentina Presutti,
Alessandro Forghieri,
Maurizio Sebastianis:
Correct Components Assembly for a Product Data Management Cooperative System.
CBSE 2004: 84-99 |
1989 |
2 | EE | Paolo Ciampolini,
Alessandro Forghieri,
Anna Pierantoni,
Antonio Gnudi,
Massimo Rudan,
Giorgio Baccarani:
Adaptive mesh generation preserving the quality of the initial grid.
IEEE Trans. on CAD of Integrated Circuits and Systems 8(5): 490-500 (1989) |
1988 |
1 | EE | Alessandro Forghieri,
Roberto Guerrieri,
Paolo Ciampolini,
Antonio Gnudi,
Massimo Rudan,
Giorgio Baccarani:
A new discretization strategy of the semiconductor equations comprising momentum and energy balance.
IEEE Trans. on CAD of Integrated Circuits and Systems 7(2): 231-242 (1988) |