Georgeta Igna


I am a PhD student in the Model-Based System Development group of the Radboud University Nijmegen working under the supervision of Frits Vaandrager.

I am involved in the OCTOPUS project, leaded by the Embedded Systems Institute. The project purpose is to find new methods for designing systems that can easily adapt to changes during usage. In my line of attention the focus is on designing adaptable datapaths.


Research Interests

I am interested in applying formal methods to software and hardware design.


Publications

F. Houben, G. Igna and F.W. Vaandrager. Modeling Task Systems Using Parameterized Partial Orders. In Proceedings 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012), Beijing China, April 16-19, 2012. IEEE Computer Society, pp. 317-327, IEEE, 2012.

T. Basten, E. van Benthum, M. Geilen, M. Hendriks, F. Houben, G. Igna, F. Reckers, S. de Smet, L. Somers, E. Teeselink, N. Trcka, F. Vaandrager, J. Verriet, M. Voorhoeve, and Y. Yang. Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. In T. Margaria and B. Steffen, editors. Proceedings 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), 18-20 October 2010 - Amirandes, Heraclion, Crete. LNCS 6415, pp. 90-105, Springer-Verlag, 2010.

G. Igna and F.W. Vaandrager. Verification of Printer Datapaths using Timed Automata. In T. Margaria and B. Steffen, editors. Proceedings 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), 18-20 October 2010 - Amirandes, Heraclion, Crete. LNCS 6416, pp. 412-423, Springer-Verlag, 2010.

Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits Vaandrager, Marc Voorhoeve, Sebastian De Smet, and Lou Somers. Formal Modeling and Scheduling of Datapaths of Digital Document Printers. In F. Cassez and C. Jard, editors. Proceedings FORMATS'08, Saint-Malo, France, September 15-17, 2008. LNCS 5215, pp. 169-186, Springer-Verlag, 2008

Georgeta Igna. Towards Data Path Analysis Using Uppaal. In E. Troubitsyna, editors. Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008, volume 48 of General Publications, Turku centre for computer science, 2008.


Last updated: January 24, 2012