Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

info
AND
AND
AND
AND




Articles in journals (2):

Articles in proceedings (6):

  • Khalid Latif, Tiberiu Seceleanu, Cristina Seceleanu, Hannu Tenhunen, Resource-Aware Task Allocation and Scheduling for Segbus Platform.. In: Proceedings of IEEE International Conference on Electronics Circuits and Systems (ICECS),, 528-531, 2010.
  • Cristina Cerschi Seceleanu, Designing Controllers for Reachability. In: Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), IEEE Computer Society, 2005.
  • Cristina Cerschi Seceleanu, Formal Development of Real-Time Priority-Based Schedulers. In: Tim O'Neill Jerzy Rozenblit, Jianfeng Peng (Eds.), Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), Greenbelt, Maryland, USA, 263-270, IEEE Computer Society Press, 2005.
  • Ralph-Johan Back, Cristina Cerschi Seceleanu, Contracts and Games in Controller Synthesis for Discrete Systems. In: Miroslav Sveda Vaclav Dvorak (Ed.), 11th IEEE International Conference on the Engineering of Computer-Based Systems, Brno, Czech Republic, 307-314, IEEE Computer Society, 2004.
  • Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Modular Design of Reactive Systems. In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, Hong Kong, China, 265-271, IEEE Computer Society, 2004.
  • Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm, Symbolic Simulation of Hybrid Systems. In: Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 147-155, IEEE Computer Society, 2002.

Ph.D. thesis (1):

Technical reports (3):