Partitioning Decision Process for Embedded Hardware and Software Deployment. - Gaetana Sapienza; Tiberiu Seceleanu; Ivica Crnkovic (COMPSAC Workshops, 2013)

Modelling for Hardware and Software Partitioning Based on Multiple Properties. - Gaetana Sapienza; Tiberiu Seceleanu; Ivica Crnkovic (EUROMICRO-SEAA, 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 (FTSCS, 2013)

A Tool Integration Framework for Sustainable Embedded Systems Development. - Tiberiu Seceleanu; Gaetana Sapienza (Computer, 2013)

Architectural Decisions for HW/SW Partitioning Based on Multiple Extra-Functional Properties. - Gaetana Sapienza; Ivica Crnkovic; Pasqualina Potena (WICSA, 2014)

Extra-Functional Properties Composability for Embedded Systems Partitioning. - Gaetana Sapienza; Séverine Sentilles; Ivica Crnkovic; Tiberiu Seceleanu (CBSE, 2016)

Integrating Version Control in a Standardized Service-Oriented Tool Chain. - Luka Lednicki; Gaetana Sapienza; Morgan E. Johansson; Tiberiu Seceleanu; Daniel Hallmans (COMPSAC, 2016)

Inclusion of Ethical Aspects in Multi-criteria Decision Analysis. - Gaetana Sapienza; Gordana Dodig-Crnkovic; Ivica Crnkovic (MARCH@WICSA, 2016)

On applying multiple criteria decision analysis in embedded systems design. - Gaetana Sapienza; Goran Brestovac; Robi Grgurina; Tiberiu Seceleanu (Des. Autom. Embed. Syst., 2016)

System Level Partitioning for Embedded Systems. - Gaetana Sapienza; Nunzio Meli; Jonas Eriksson; Roger Jansson; Tiberiu Seceleanu; Ivica Crnkovic (COMPSAC (2), 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)