Gaetana Sapienza

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