Picture

Silviu S. Craciunas

 I am no longer at the department. I will try to keep the website up to date in terms of publications; nevertheless, some of the information may be outdated.

s...(click to reveal)@gmail.com
Research interests
  • Operating systems, Dynamic scheduling algorithms, Power-aware scheduling
  • Real-time and safety-critical embedded systems, Cyber-physical systems
  • Time-sensitive networks, Deterministic (Time-triggered) Ethernet
  • Cloud computing, Internet of Things
Links
Reviewed publications [DBLP|Google Scholar|Research Gate|BIBTEX]
1. S.S. Craciunas, R. Serna Oliver, M. Chmelik, and W. Steiner - Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks
In Proc. 24th International Conference on Real-Time Networks and Systems (RTNS), pp. 183-192, ACM, 2016. pdf |  slides |  bibtex
2. P. Pop, M.L. Raagaard, S.S. Craciunas, and W. Steiner - Design Optimization of Cyber-Physical Distributed Systems using IEEE Time-sensitive Networks (TSN)
IET Cyber-Physical Systems: Theory & Applications, Volume 1, Issue 1, pp. 86-94, IET, 2016. pdf |  bibtex|  link
3. S.S. Craciunas and R. Serna Oliver - Combined Task- and Network-level Scheduling for Distributed Time-triggered Networked Systems
Journal of Real-Time Systems, Volume 52, Issue 2, pp. 161-200, Springer, 2016. pdf |  bibtex |  link
4. R. Serna Oliver and S.S. Craciunas - Hierarchical Scheduling over Off- and On-chip Deterministic Networks
ACM SIGBED Review, Volume 13, Number 4, Special Issue on 14th International Workshop on Real-Time Networks (RTN), ACM, 2016. pdf |  bibtex |  link
5. S.S. Craciunas and R. Serna Oliver - SMT-based Task- and Network-level Static Schedule Generation for Time-triggered Networked Systems
In Proc. 22nd International Conference on Real-Time Networks and Systems (RTNS), pp. 45-54, ACM, 2014. ( best paper award)  pdf |  slides |  bibtex
6. R. Serna Oliver, S.S. Craciunas, and G. Stoeger - Analysis of Deterministic Ethernet Scheduling for the Industrial Internet of Things
In Proc. 19th International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks (CAMAD), IEEE, 2014. pdf |  bibtex
7. S.S. Craciunas, R. Serna Oliver, and V. Ecker - Optimal Static Scheduling of Real-time Tasks on Distributed Time-triggered Networked Systems
In Proc. 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2014. pdf |  bibtex
8. S.S. Craciunas, C.M. Kirsch, H. Payer, H. Roeck, and A. Sokolova - Temporal Isolation in Real-Time Systems: The VBS Approach
International Journal on Software Tools for Technology Transfer (STTT), Volume 15, Issue 3, pp. 189-209, Springer, 2013. pdf |  bibtex |  link
9. S.S. Craciunas and C.M. Kirsch - The Power of Isolation
In Proc. 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (CSE/EUC), pp. 375-382, IEEE, 2012. pdf |  slides |  bibtex
10. S.S. Craciunas, C.M. Kirsch, and A. Sokolova - Response Time versus Utilization in Scheduler Overhead Accounting
In Proc. 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 291-300, IEEE, 2010. pdf |  bibtex
11. S.S. Craciunas, A. Haas, C.M.Kirsch, H.Payer, H.Roeck, A.Rottmann, A.Sokolova, R.Trummer, J.Love, R.Sengupta - Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing
In Proc. Workshop on Hot Topics in Cloud Computing (HotCloud), USENIX, 2010. pdf |  bibtex
12. S.S. Craciunas, C.M. Kirsch, and A. Sokolova - Power-Aware Temporal Isolation with Variable-Bandwidth Servers
In Proc. International Conference on Embedded Software (EMSOFT), pp. 259-268, ACM, 2010. pdf |  slides |  poster |  bibtex
13. S.S. Craciunas, C.M. Kirsch, A. Sokolova - A Workload-oriented Programming Model for Temporal Isolation with VBS
In Online Proc. Workshop on Reconciling Performance with Predictability (RePP), 6pp, 2009. pdf |  bibtex
14. S.S. Craciunas, C.M. Kirsch, H. Payer, H. Roeck, and A. Sokolova - Programmable Temporal Isolation through Variable-Bandwidth Servers
In Proc. IEEE Symposium on Industrial Embedded Systems (SIES), pp. 171-180, IEEE, 2009. pdf |  slides |  bibtex
15. S.S. Craciunas, C.M. Kirsch, H. Payer, H. Roeck, and A. Sokolova - Everyone Virtualizes Everything But Time
Poster at 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2009. abstract |  poster
16. S.S. Craciunas, C.M. Kirsch, H. Payer, H. Roeck, and A. Sokolova - Programmable Temporal Isolation in Real-Time and Embedded Execution Environments
In Proc. Workshop on Isolation and Integration in Embedded Systems (IIES), pp. 19-24, ACM, 2009. pdf |  bibtex
17. S.S. Craciunas, C.M. Kirsch, H. Payer, A. Sokolova, H. Stadler, and R. Staudinger - A Compacting Real-Time Memory Management System
In Proc. USENIX Annual Technical Conference, pp. 349-362, USENIX, 2008. pdf |  bibtex
18. S.S. Craciunas, C.M. Kirsch, and H. Roeck - I/O Resource Management through System Call Scheduling
ACM Operating Systems Review (OSR), Special Issue on Research and Developments in the Linux Kernel, Volume 42, Number 5, pp. 44-54, July, ACM, 2008. pdf |  bibtex
19. S.S. Craciunas, C.M. Kirsch, H. Roeck, and R. Trummer - The JAviator: A High-Payload Quadrotor UAV with High-Level Programming Capabilities
In Proc. AIAA Guidance, Navigation and Control Conference and Exhibit (GNC), AIAA, 2008. pdf |  bibtex
Technical reports (titles that coincide with publications are not listed)
1. S.S. Craciunas and R. Serna Oliver - An Overview of Scheduling Mechanisms for Time-sensitive Networks, In Proc. of the Real-time summer school L’École d’Été Temps Réel (ETR), Paris, France, 2017. pdf |  slides |  bibtex
2. S.S. Craciunas, C.M. Kirsch, H. Payer, H. Roeck, A. Sokolova - Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit, University of Salzburg, Department of Computer Sciences, Technical Report 2009-02, CoRR, arXiv:1404.1830, 2014. pdf |  bibtex
3. S.S. Craciunas, C.M. Kirsch, A. Sokolova - The Power of Isolation, Technical Report, 2011-02, July 2011, Department of Computer Sciences, University of Salzburg, Austria. pdf |  bibtex
4. S.S. Craciunas, C.M. Kirsch, H. Roeck, A. Sokolova - Real-Time Scheduling for Workload-oriented Programming, Technical Report, 2008-02, September 2008, Department of Computer Sciences, University of Salzburg, Austria. pdf |  bibtex
5. S.S. Craciunas, C.M. Kirsch, H. Roeck - Shaping Process Semantics, Technical Report, 2007-01, April 2007, Department of Computer Sciences, University of Salzburg, Austria. pdf |  bibtex
EU Project Deliverables
1.Distributed REal-time Architecture for Mixed Criticality Systems (DREAMS), EU FP7 ICT, ICT-2013.3.4, October 1, 2013 – Sept. 30, 2017. link
The copyrights to some of the publications listed above have been transferred to the respective publishers. Therefore, duplication of the papers for commercial purposes is forbidden. The papers are made available here to allow the timely dissemination of academic work.
Community
2017Speaker, real-time summer school L’École d’Été Temps Réel 2017 (ETR 2017)
2017Program committee member, 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)
2017Program committee member, Work-in-Progress (WiP) session, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2017)
2016Reviewer for: Symposium on Industrial Embedded Systems (SIES); Journal of Systems and Software (JSS); IEEE Transactions on Computers (TC)
2014Reviewer for: Transactions on Design Automation of Electronic Systems (TODAES); Formal Modeling and Analysis of Timed Systems (FORMATS); ICT Innovations (ICT-ACT);
2013Reviewer for: International Conference on Embedded Software (EMSOFT)
2012Reviewer for: International Journal on Software Tools for Technology Transfer (STTT)
2011Web co-chair for the European Conference on Computer Systems (Eurosys)
2011Reviewer for: IEEE Real-Time Systems Symposium (RTSS); International Conference on Embedded Software (EMSOFT); IEEE Transactions on Computers (TC); International Conference on Dependability (DEPEND); Workshop on Adaptive and Reconfigurable Embedded Systems (APRES); Formal Aspects of Computing (FAOC);
2010Reviewer for: European Conference on Computer Systems (EuroSys); International Conference on Embedded Software (EMSOFT); ACM Object-Oriented Programming, Systems, Languages and Applications (OOPSLA); International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS); International Conference on Embedded and Ubiquitous Computing (EUC); International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES); ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE); International Conference on Hybrid Systems: Computation and Control (HSCC);
2009Reviewer for: IEEE Real-Time Systems Symposium (RTSS); International Conference on Embedded Software (EMSOFT); Design, Automation, and Test in Europe (DATE); International Conference on Computer-Aided Design (ICCAD);
2008Reviewer for: Design, Automation, and Test in Europe (DATE); International Conference on Embedded Software (EMSOFT); ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES); AIAA Guidance, Navigation and Control Conference (AIAA GNC);
2007Volunteer for Embedded Systems Week ESWEEK
2007Reviewer for: European Conference on Computer Systems (EuroSys); Design, Automation, and Test in Europe (DATE); International Conference on Coordination Models and Languages (COORD);
Silviu S. Craciunas 2017.
CSS adapted from Thomas Park and Bootstrap. Icons from Font Awesome. Web fonts from Google.