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
592010
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
Verification of printer datapaths using timed automata
G Igna, F Vaandrager
International Symposium On Leveraging Applications of Formal Methodsá…, 2010
102010
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
82014
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
52016
Optimizing schedules for adaptable manufacturing systems
N Keddis, B Javed, G Igna, A Zoitl
2015 IEEE 20th Conference on Emerging Technologies & Factory Automationá…, 2015
42015
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
Performance analysis of real-time task systems using timed automata
G Igna
[Sl: sn], 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