Georgeta Igna

According to our database, Georgeta Igna authored at least 11 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Model-based deployment generation for safety-critical avionics systems.

Georgeta Igna, Laurent Dieudonné, Sebastian Voss, Bernhard Schätz

Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

2016

Factory Product Lines: Tackling the Compatibility Problem.

Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto, Georgeta Igna

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Optimal Deployment.

Karsten Albers, Matthias Büker, Laurent Dieudonné, Robert Hilbrich, Georgeta Igna, Stefan Kugele, Thomas Kuhn, Maike Rosinger, Raphael Weber

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

Optimizing schedules for adaptable manufacturing systems.

Nadine Keddis, Bilal Javed, Georgeta Igna, Alois Zoitl

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

Distributed MILS Architectural Approach for Secure Smart Grids.

Denis Bytschkow, Jean Quilbeuf, Georgeta Igna, Harald Ruess

Proceedings of the Smart Grid Security - Second International Workshop, 2014

2013

Modeling task systems using parameterized partial orders.

Fred Houben, Georgeta Igna, Frits W. Vaandrager

Int. J. Softw. Tools Technol. Transf., 2013

Security policies for distributed systems.

Jean Quilbeuf, Georgeta Igna, Denis Bytschkow, Harald Ruess

CoRR, 2013

2010

Verification of Printer Datapaths Using Timed Automata.

Georgeta Igna, Frits W. Vaandrager

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset.

Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Adaptive Scheduling of Data Paths using Uppaal Tiga

Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager

Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009

2008

Formal Modeling and Scheduling of Datapaths of Digital Document Printers.

Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008