Gaetana Sapienza

According to our database, Gaetana Sapienza authored at least 11 papers between 2013 and 2017.

Collaborative distances:

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

2017

Analyzing a wind turbine system: From simulation to formal verification.

Cristina Seceleanu, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson

Sci. Comput. Program., 2017

System Level Partitioning for Embedded Systems.

Gaetana Sapienza, Nunzio Meli, Jonas Eriksson, Roger Jansson, Tiberiu Seceleanu, Ivica Crnkovic

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

On applying multiple criteria decision analysis in embedded systems design.

Gaetana Sapienza, Goran Brestovac, Robi Grgurina, Tiberiu Seceleanu

Des. Autom. Embed. Syst., 2016

Inclusion of Ethical Aspects in Multi-criteria Decision Analysis.

Gaetana Sapienza, Gordana Dodig-Crnkovic, Ivica Crnkovic

Proceedings of the 1st International Workshop on Decision Making in Software ARCHitecture, 2016

Integrating Version Control in a Standardized Service-Oriented Tool Chain.

Luka Lednicki, Gaetana Sapienza, Morgan E. Johansson, Tiberiu Seceleanu, Daniel Hallmans

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Extra-Functional Properties Composability for Embedded Systems Partitioning.

Gaetana Sapienza, Séverine Sentilles, Ivica Crnkovic, Tiberiu Seceleanu

Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016

2014

Architectural Decisions for HW/SW Partitioning Based on Multiple Extra-Functional Properties.

Gaetana Sapienza, Ivica Crnkovic, Pasqualina Potena

Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

2013

A Tool Integration Framework for Sustainable Embedded Systems Development.

Tiberiu Seceleanu, Gaetana Sapienza

Computer, 2013

Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification.

Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Modelling for Hardware and Software Partitioning Based on Multiple Properties.

Gaetana Sapienza, Tiberiu Seceleanu, Ivica Crnkovic

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

Partitioning Decision Process for Embedded Hardware and Software Deployment.

Gaetana Sapienza, Tiberiu Seceleanu, Ivica Crnkovic

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013