Gaetana Sapienza

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 6

Top Topics

Functional Properties

Decision Analysis

Top Venues

COMPSAC Workshops

Sci. Comput. Program.

Publications

Cristina Seceleanu, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson
Analyzing a wind turbine system: From simulation to formal verification. Sci. Comput. Program. 133 (2017)
Gaetana Sapienza, Nunzio Meli, Jonas Eriksson, Roger Jansson, Tiberiu Seceleanu, Ivica Crnkovic
System Level Partitioning for Embedded Systems. COMPSAC (2) (2017)
Gaetana Sapienza, Gordana Dodig-Crnkovic, Ivica Crnkovic
Inclusion of Ethical Aspects in Multi-criteria Decision Analysis. MARCH@WICSA (2016)
Gaetana Sapienza, Goran Brestovac, Robi Grgurina, Tiberiu Seceleanu
On applying multiple criteria decision analysis in embedded systems design. Des. Autom. Embed. Syst. 20 (3) (2016)
Luka Lednicki, Gaetana Sapienza, Morgan E. Johansson, Tiberiu Seceleanu, Daniel Hallmans
Integrating Version Control in a Standardized Service-Oriented Tool Chain. COMPSAC (2016)
Gaetana Sapienza, Séverine Sentilles, Ivica Crnkovic, Tiberiu Seceleanu
Extra-Functional Properties Composability for Embedded Systems Partitioning. CBSE (2016)
Gaetana Sapienza, Ivica Crnkovic, Pasqualina Potena
Architectural Decisions for HW/SW Partitioning Based on Multiple Extra-Functional Properties. WICSA (2014)
Gaetana Sapienza, Tiberiu Seceleanu, Ivica Crnkovic
Modelling for Hardware and Software Partitioning Based on Multiple Properties. EUROMICRO-SEAA (2013)
Tiberiu Seceleanu, Gaetana Sapienza
A Tool Integration Framework for Sustainable Embedded Systems Development. Computer 46 (11) (2013)
Gaetana Sapienza, Tiberiu Seceleanu, Ivica Crnkovic
Partitioning Decision Process for Embedded Hardware and Software Deployment. COMPSAC Workshops (2013)
Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. FTSCS (2013)