Alessandro Forghieri

According to our database, Alessandro Forghieri authored at least 5 papers between 1988 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

A case study on the automated verification of groupware protocols.

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

Model Checking Publish/Subscribe Notification for thinkteam^®.

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Correct Components Assembly for a Product Data Management Cooperative System.

Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis

Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

1989

Adaptive mesh generation preserving the quality of the initial grid.

Paolo Ciampolini, Alessandro Forghieri, Anna Pierantoni, Antonio Gnudi, Massimo Rudan, Giorgio Baccarani

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989

1988

A new discretization strategy of the semiconductor equations comprising momentum and energy balance.

Alessandro Forghieri, Roberto Guerrieri, Paolo Ciampolini, Antonio Gnudi, Massimo Rudan, Giorgio Baccarani

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988