Georgeta Igna

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 3

Top Topics

Security Policies

Top Venues

Int. J. Softw. Tools Technol. Transf.

IEEE Real-Time and Embedded Technology and Applications Symposium

Publications

Georgeta Igna, Laurent Dieudonné, Sebastian Voss, Bernhard Schätz
Model-based deployment generation for safety-critical avionics systems. SIES (2017)
Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto, Georgeta Igna
Factory Product Lines: Tackling the Compatibility Problem. VaMoS (2016)
Nadine Keddis, Bilal Javed, Georgeta Igna, Alois Zoitl
Optimizing schedules for adaptable manufacturing systems. ETFA (2015)
Denis Bytschkow, Jean Quilbeuf, Georgeta Igna, Harald Ruess
Distributed MILS Architectural Approach for Secure Smart Grids. SmartGridSec (2014)
Fred Houben, Georgeta Igna, Frits W. Vaandrager
Modeling task systems using parameterized partial orders. Int. J. Softw. Tools Technol. Transf. 15 (3) (2013)
Jean Quilbeuf, Georgeta Igna, Denis Bytschkow, Harald Ruess
Security policies for distributed systems. CoRR (2013)
Fred Houben, Georgeta Igna, Frits W. Vaandrager
Modeling Task Systems Using Parameterized Partial Orders. IEEE Real-Time and Embedded Technology and Applications Symposium (2012)
Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. ISoLA (1) (2010)
Georgeta Igna, Frits W. Vaandrager
Verification of Printer Datapaths Using Timed Automata. ISoLA (2) (2010)
Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager
Adaptive Scheduling of Data Paths using Uppaal Tiga QFM (2009)
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers
Formal Modeling and Scheduling of Datapaths of Digital Document Printers. FORMATS (2008)