Login / Signup
Rami Baddour
Publication Activity (10 Years)
Years Active: 2011-2017
Publications (10 Years): 1
Top Topics
Formal Verification
Computational Modeling
Heterogeneous Environments
Systems Engineering
Top Venues
ICDCS
SoSE
</>
Publications
</>
Amardeep Mehta
,
Rami Baddour
,
Fredrik Svensson
,
Harald Gustafsson
,
Erik Elmroth
Calvin Constrained - A Framework for IoT Applications in Heterogeneous Environments.
ICDCS
(2017)
Rami Baddour
,
Alkiviadis Paspaliaris
,
Daniel Solis Herrera
SCV2: A model-based validation and verification approach to system-of-systems engineering.
SoSE
(2015)
Rami Baddour
,
Alessandro Chiumento
,
Claude Desset
,
Rodolfo Torrea Duran
,
Sofie Pollin
,
Liesbet Van der Perre
,
Rudy Lauwereins
Energy-throughput simulation approach for heterogeneous LTE scenarios.
ISWCS
(2011)