Georgeta Igna
Georgeta Igna
Intel Deutschland GmbH
Verified email at intel.com
Title
Cited by
Cited by
Year
Model-driven design-space exploration for embedded systems: The octopus toolset
T Basten, E Van Benthum, M Geilen, M Hendriks, F Houben, G Igna, ...
International Symposium On Leveraging Applications of Formal Methods …, 2010
662010
Formal modeling and scheduling of datapaths of digital document printers
G Igna, V Kannan, Y Yang, T Basten, M Geilen, F Vaandrager, ...
International Conference on Formal Modeling and Analysis of Timed Systems …, 2008
242008
Model-driven design-space exploration for software-intensive embedded systems
T Basten, M Hendriks, N Trčka, L Somers, M Geilen, Y Yang, G Igna, ...
Model-Based Design of Adaptive Embedded Systems, 189-244, 2013
182013
Adaptive scheduling of data paths using Uppaal Tiga
I AlAttili, F Houben, G Igna, S Michels, F Zhu, F Vaandrager
arXiv preprint arXiv:0912.1897, 2009
142009
Distributed MILS architectural approach for secure smart grids
D Bytschkow, J Quilbeuf, G Igna, H Ruess
International Workshop on Smart Grid Security, 16-29, 2014
112014
Verification of printer datapaths using timed automata
G Igna, F Vaandrager
International Symposium On Leveraging Applications of Formal Methods …, 2010
102010
Factory product lines: Tackling the compatibility problem
A Bayha, L Lúcio, V Aravantinos, K Miyamoto, G Igna
Proceedings of the Tenth International Workshop on Variability Modelling of …, 2016
62016
Optimizing schedules for adaptable manufacturing systems
N Keddis, B Javed, G Igna, A Zoitl
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015
62015
Performance analysis of real-time task systems using timed automata
G Igna
[Sl: sn], 2013
52013
Modeling task systems using parameterized partial orders
F Houben, G Igna, F Vaandrager
International Journal on Software Tools for Technology Transfer 15 (3), 269-286, 2013
42013
Model-based deployment generation for safety-critical avionics systems
G Igna, L Dieudonne, S Voss, B Schatz
2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES …, 2017
12017
Optimal deployment
K Albers, M Büker, L Dieudonné, R Hilbrich, G Igna, S Kugele, T Kuhn, ...
Advanced Model-Based Engineering of Embedded Systems, 145-168, 2016
12016
Security policies for distributed systems
J Quilbeuf, G Igna, D Bytschkow, H Ruess
arXiv preprint arXiv:1310.3723, 2013
12013
EPTCS 13
C Morgan, M Núńez, I AlAttili, F Houben, G Igna, S Michels, F Zhu, ...
arXiv preprint arXiv:0912.2128, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–14