scraciunas.bib

@inproceedings{RuhRTNS24,
  author = {Ruh, Jan and Craciunas, Silviu S.},
  title = {End-to-End Schedulability of Virtualized Distributed Time-Triggered Systems},
  year = {2025},
  isbn = {9798400717246},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3696355.3696364},
  doi = {10.1145/3696355.3696364},
  booktitle = {Proceedings of the 32nd International Conference on Real-Time Networks and Systems},
  pages = {242–254},
  numpages = {13},
  keywords = {Time-triggered scheduling, Hypervisor, Real-time.},
  series = {RTNS '24}
}

@inproceedings{FinziRTAS24,
  author={Finzi, Anaïs and Craciunas, Silviu S. and Boyer, Marc},
  booktitle={2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS)}, 
  title={Integrating Sporadic Events in Time-triggered Systems via Affine Envelope Approximations}, 
  year={2024},
  volume={},
  number={},
  pages={15-28},
  keywords={Schedules;Limiting;Runtime;Real-time systems;Calculus;Partitioning algorithms;Resource management;time-triggered;event-triggered;scheduling;real-time;real time calculus},
  doi={10.1109/RTAS61025.2024.00010}}

@inproceedings{WalserWFCS24,
  author={Walser, Stefan and Ruh, Jan and Craciunas, Silviu S.},
  booktitle={2024 IEEE 20th International Conference on Factory Communication Systems (WFCS)}, 
  title={Real-time Container Orchestration Based on Time-utility Functions}, 
  year={2024},
  volume={},
  number={},
  pages={1-8},
  keywords={Communication systems;Scalability;Decision making;Containers;Real-time systems;Production facilities;Virtualization;real-time container;orchestration;virtualization},
  doi={10.1109/WFCS60972.2024.10541041}}

@article{StruharTECS23,
  author = {Struh\'{a}r, V\'{a}clav and Craciunas, Silviu S. and Ashjaei, Mohammad and Behnam, Moris and Papadopoulos, Alessandro V.},
  title = {Hierarchical Resource Orchestration Framework for Real-Time Containers},
  year = {2024},
  publisher = {Association for Computing Machinery},
  doi = {10.1145/3592856},
  journal = {ACM Trans. Embed. Comput. Syst.},
  month = {jan},
  volume = {23},
  number = {1},
  issn = {1539-9087},
  url = {https://doi.org/10.1145/3592856},
  doi = {10.1145/3592856},
  publisher = {Association for Computing Machinery},
}

@article{10.1007/s11241-023-09414-0, 
  title = {{Configuration optimization for heterogeneous time-sensitive networks}}, 
  author = {Reusch, Niklas and Barzegaran, Mohammadreza and Zhao, Luxi and Craciunas, Silviu S and Pop, Paul}, 
  journal = {Real-Time Systems}, 
  volume = {59},
  number = {4},
  year = {2023}, 
  doi = {10.1007/s11241-023-09414-0}, 
  pages = {705–-747}
}

@inproceedings{StruharETFA23,
  author={Struhár, Václav and Ashjaei, Mohammad and Behnam, Moris and Papadopoulos, Alessandro V. and Craciunas, Silviu S.},
  title={Resource Adaptation for Real-Time Containers Considering Quality of Control}, 
  booktitle={Proc. IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)}, 
  year={2023},
  doi={10.1109/ETFA54631.2023.10275357}
}

@inproceedings{MeroniETFA23,
  author={Meroni, Carlo and Craciunas, Silviu S. and Finzi, Anaïs and Pop, Paul},
  title={Mapping and Integration of Event- and Time-triggered Real-time Tasks on Partitioned Multi-core Systems}, 
  booktitle={Proc. IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)}, 
  year={2023},
  doi={10.1109/ETFA54631.2023.10275547}
}

@inproceedings{KarachatzisRTNS23,
  author = {Paraskevas Karachatzis and Jan Ruh and Craciunas, Silviu S.},
  title = {An Evaluation of Time-triggered Scheduling in the Linux Kernel},
  booktitle = {Proc. 31st International Conference on Real-Time Networks and Systems (RTNS)},
  year = {2023},
  publisher = {ACM},
}

@misc{EP4148573,
  author = {Serna Oliver, Ramon and Paraskevas Karachatzis and Silviu S. Craciunas},
  title = {{Method to execute a mode-transition in a multi-mode computer system}},
  year = {2023},
  organization = {European Patent Office},
  url = {https://patents.google.com/patent/EP4148573A1/},
  type = {European Patent EP4148573A1, US patent US20230089528A1}
}

@inproceedings{BerisaRTNS22,
  author = {Aldin Berisa and Luxi Zhao and Silviu S. Craciunas and Mohammad Ashjaei and Saad Mubeen and Masoud Daneshtalab and Mikael Sjödin},
  title = {AVB-aware Routing and Scheduling for Critical Traffic in Time-sensitive Networks with Preemption},
  booktitle = {Proc. 30th International Conference on Real-Time Networks and Systems (RTNS)},
  year = {2022},
  publisher = {ACM},
}

@inproceedings{BarzegaranRTNS22,
  author = {Mohammadreza Barzegaran and Niklas Reusch and Luxi Zhao and Silviu S. Craciunas and Paul Pop},
  title = {Real-Time Traffic Guarantees in Heterogeneous Time-sensitive Networks},
  booktitle = {Proc. 30th International Conference on Real-Time Networks and Systems (RTNS)},
  year = {2022},
  publisher = {ACM},
}

@inproceedings{StruharRAGE22,
  author = {Vaclav Struhar and Silviu S. Craciunas and Mohammad Ashjaei and Moris Behnam and Alessandro Papadopoulos},
  title = {RT-SCALER: Adaptive Resource Allocation Framework for Real-Time Containers},
  booktitle = {Proc. Real-time And intelliGent Edge computing workshop (RAGE)},
  year = {2022},
}

@article{FinziCoRR22,
  author = {Finzi, Ana{\"\i}s and Silviu S. Craciunas and Marc Boyer},
  title = {A Real-time Calculus Approach for Integrating Sporadic Events in Time-triggered Systems},
  journal = {CoRR},
  volume = {abs/2204.10264},
  year = {2022},
  url = {https://arxiv.org/pdf/2204.10264.pdf},
  archivePrefix = {arXiv},
  note = {preprint}
}

@article{ReuschIET22,
  author = {Niklas Reusch and Silviu S. Craciunas and Paul Pop},
  title = {Dependability-aware routing and scheduling for Time-Sensitive Networking},
  journal = {IET Cyber-Physical Systems: Theory and Applications},
  volume = {},
  number = {},
  year = {2022},
  pages = {},
  publisher = {Wiley}
}

@article{McLeanFRONTIERS22,
  author={McLean, Shane D. and Juul Hansen, Emil Alexander and Pop, Paul and Craciunas, Silviu S.},   
  title={Configuring {ADAS} Platforms for Automotive Applications Using Metaheuristics},
  journal={Frontiers in Robotics and AI},
  volume={8},
  pages={353},
  year={2022},
  url={https://www.frontiersin.org/article/10.3389/frobt.2021.762227},
  doi={10.3389/frobt.2021.762227},
  isnn={2296-9144}
}

@article{ReuschCoRR2021,
  author = {Niklas Reusch and Silviu S. Craciunas and Paul Pop},
  title = {Dependability-Aware Routing and Scheduling for Time-Sensitive Networking},
  journal = {CoRR},
  volume = {abs/2109.05883},
  year = {2021},
  url = {https://arxiv.org/pdf/2109.05883.pdf},
  archivePrefix = {arXiv},
  note = {preprint}
}

@inproceedings{StruharETFA21,
  author = {Vaclav Struhar and Silviu S. Craciunas and Mohammad Ashjaei and Moris Behnam and Alessandro Papadopoulos},
  title = {REACT: Enabling Real-Time Container Orchestration},
  booktitle = {Proc. 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
  year = {2021},
  publisher = {IEEE Computer Society},
}

@inproceedings{CraciunasWFCS21,
  author = {Silviu S. Craciunas and Serna Oliver, Ramon},
  title = {Out-of-sync Schedule Robustness for Time-sensitive Networks},
  booktitle = {Proc. 17th IEEE International Conference on Factory Communication Systems (WFCS)},
  year = {2021},
  publisher = {IEEE},
}

@article{barzegaran2021realtime,
  author = {Mohammadreza Barzegaran and Niklas Reusch and Luxi Zhao and Silviu S. Craciunas and Paul Pop},
  title = {Real-Time Guarantees for Critical Traffic in IEEE 802.1Qbv TSN Networks with Unscheduled and Unsynchronized End-System},
  journal = {CoRR},
  volume = {abs/2105.01641},
  year = {2021},
  url = {https://arxiv.org/pdf/2105.01641.pdf},
  archivePrefix = {arXiv},
  note = {preprint}
}

@misc{EP3790232,
  author = {Anais Finzi and Silviu S. Craciunas and Serna Oliver, Ramon},
  title = {{Method for generating a schedule for mixed critical computer networks}},
  year = {2021},
  organization = {European Patent Office},
  url = {https://patents.google.com/patent/EP3790232A1/en},
  type = {European Patent EP3790232A1, US patent US2021073689A1, Chinese patent CN112468412A}
}

@inproceedings{ReuschRTSSWIP20,
  author = {Niklas Reusch and Paul Pop and Silviu S. Craciunas},
  title = {Work-In-Progress: Safe and Secure Configuration Synthesis for TSN using Constraint Programming},
  booktitle = {Proc. IEEE Real-Time Systems Symposium (RTSS)},
  year = {2020},
  publisher = {IEEE}
}

@inproceedings{McLeanETFA20,
  author = {Shane D. McLean and Silviu S. Craciunas and Emil A. {Juul Hansen} and Paul Pop},
  title = {Mapping and Scheduling Automotive Applications on ADAS Platforms using Metaheuristics},
  booktitle = {Proc. 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
  year = {2020},
  publisher = {IEEE Computer Society},
}

@inproceedings{ReuschWFCS20,
  author = {Niklas Reusch and Luxi Zhao and Silviu S. Craciunas and Paul Pop},
  title = {Window-Based Schedule Synthesis for Industrial {IEEE 802.1Qbv TSN} Networks},
  booktitle = {Proc. 16th IEEE International Conference on Factory Communication Systems (WFCS)},
  year = {2020},
  publisher = {IEEE},
}

@inproceedings{FinziRTNS19,
  author = {Anais Finzi and Silviu S. Craciunas},
  title = {Breaking vs. Solving: Analysis and Routing of Real-time Networks with Cyclic Dependencies using Network Calculus},
  booktitle = {Proc. 27th International Conference on Real-Time Networks and Systems (RTNS)},
  year = {2019},
  publisher = {ACM},
}

@inproceedings{StruharIECON19,
  author = {Vaclav Struhar and Mohammad Ashjaei and Moris Behnam and Silviu S. Craciunas and Alessandro Papadopoulos},
  title = {DART: Dynamic Bandwidth Distribution Framework for Virtualized Software Defined Networks},
  year = {2019},
  booktitle = {Proc. 45th IEEE Annual Conference of the Industrial Electronics Society (IECON)},
}

@inproceedings{FinziETFA19,
  author = {Anais Finzi and Silviu S. Craciunas},
  title = {Integration of SMT-based Scheduling with RC Network Calculus Analysis in TTEthernet Networks},
  booktitle = {Proc. 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
  year = {2019},
  publisher = {IEEE Computer Society},
}

@misc{EP3468118,
  author = {Silviu S. Craciunas and Serna Oliver, Ramon},
  title = {{Method and Device to Configure Real-Time Networks}},
  year = {2019},
  organization = {European Patent Office},
  url = {https://patents.google.com/patent/US10958563B2/en},
  type = {European Patent EP3468118A1, US patent US10958563B2, Chinese patent CN109617705A}
}

@book{ahmadian2018distributed,
  title={Distributed Real-Time Architecture for Mixed-Criticality Systems},
  author={Ahmadian, H. and Obermaisser, R. and Perez, J.},
  isbn={9780815360643},
  lccn={2018027202},
  url={https://books.google.at/books?id=m8HAtAEACAAJ},
  year={2018},
  publisher={Taylor \& Francis Group}
}

@article{Zhao18, 
  author = {L. Zhao and P. Pop and S. S. Craciunas}, 
  journal = {IEEE Access}, 
  title = {Worst-Case Latency Analysis for {IEEE 802.1Qbv} Time Sensitive Networks Using Network Calculus}, 
  year = {2018}, 
  volume = {6}, 
  pages = {41803-41815}, 
  doi = {10.1109/ACCESS.2018.2858767},
  publisher = {IEEE}
}

@inproceedings{SernaRTAS18,
  author = {Serna Oliver, Ramon and Silviu S. Craciunas and Wilfried Steiner},
  title = {IEEE 802.1Qbv Gate Control List Synthesis using Array Theory Encoding},
  booktitle = {Proc. Real-Time and Embedded Technology and Applications Symposium (RTAS)},
  year = {2018},
  publisher = {IEEE}
}

@inproceedings{CraciunasRTASDEMO18,
  author = {Silviu S. Craciunas and Serna Oliver, Ramon and Wilfried Steiner},
  title = {Demo Abstract: Slate XNS – An Online Management Tool for Deterministic TSN Networks},
  booktitle = {Proc. Real-Time and Embedded Technology and Applications Symposium, Demo Session, (RTAS Demo)},
  year = {2018},
  publisher = {IEEE}
}

@article{Steiner18, 
  author={W. Steiner and Silviu S. Craciunas and Serna Oliver, Ramon}, 
  journal={IEEE Communications Standards Magazine}, 
  title={Traffic Planning for Time-Sensitive Communication}, 
  year={2018}, 
  volume={2}, 
  number={2}, 
  pages={42-47}, 
  doi={10.1109/MCOMSTD.2018.1700055}, 
  ISSN={2471-2825}, 
  publisher = {IEEE}
}

@misc{EP3139547,
  author = {Silviu S. Craciunas and Serna Oliver, Ramon},
  title = {{An Online Incremental Scheduling Method for Deterministic Networks}},
  year = {2017},
  organization = {European Patent Office},
  url = {https://patents.google.com/patent/US10205607B2},
  type = {European Patent EP3139547B1, US patent US10205607B2}
}

@article{CraciunasCORR17,
  author = {Silviu S. Craciunas and Serna Oliver, Ramon and Wilfried Steiner},
  title = {Formal Scheduling Constraints for Time-Sensitive Networks},
  journal = {CoRR},
  volume = {abs/1712.02246},
  year = {2017},
  url   = {https://arxiv.org/abs/1712.02246},
  archivePrefix = {arXiv},
  note = {preprint}
}

@misc{CraciunasETR17,
  author = {Silviu S. Craciunas and Serna Oliver, Ramon},
  title = {An Overview of Scheduling Mechanisms for Time-sensitive Networks},
  howpublished = {Technical report, Real-time summer school L’École d’Été Temps Réel (ETR)},  
  year = {2017},
}

@article{PopIET16,
  author = {Paul Pop and {Lander Raagaard}, Michael and Silviu S. Craciunas and Wilfried Steiner},
  title = {Design Optimization of Cyber-Physical Distributed Systems using {IEEE} Time-sensitive Networks ({TSN})},
  journal = {IET Cyber-Physical Systems: Theory and Applications},
  volume = {1},
  number = {1},
  year = {2016},
  pages = {86-94},
  publisher = {Institution of Engineering and Technology (IET)}
}

@inproceedings{CraciunasRTNS16,
  author = {Silviu S. Craciunas and Serna Oliver, Ramon and Martin Chmelik and Wilfried Steiner},
  title = {Scheduling Real-Time Communication in {IEEE 802.1Qbv} {T}ime {S}ensitive {N}etworks},
  booktitle = {Proc. 24th International Conference on Real-Time Networks and Systems (RTNS)},
  year = {2016},
  publisher = {ACM},
}

@article{SernaRTN16,
  author = {Serna Oliver, Ramon and Silviu S. Craciunas},
  title = {Hierarchical Scheduling over {Off-} and {On-chip} Deterministic Networks},
  journal = {{SIGBED} Review},
  volume = {13},
  number = {4},
  pages = {8--14},
  year = {2016},
}

@article{CraciunasJRTS16,
  author = {Silviu S. Craciunas and Serna Oliver, Ramon},
  title = {Combined Task- and Network-level Scheduling for Distributed Time-Triggered Systems},
  journal = {Journal of Real-Time Systems},
  volume = {52},
  number = {2},
  year = {2016},
  pages = {161-200},
  publisher = {Springer}
}

@misc{US2016246646,
  author = {Silviu S. Craciunas and Serna Oliver, Ramon},
  title = {{Method for Executing Tasks in a Computer Network}},
  year = {2014},
  organization = {European Patent Office},
  url = {https://patents.google.com/patent/US20160246646A1},
  type = {European Patent EP3055771A1, US patent US20160246646A1}
}

@InProceedings{CraciunasRTNS14,
  author = {S.S. Craciunas and R. Serna Oliver},
  title = {SMT-based task- and network-level static schedule generation for time-triggered networked systems},
  booktitle = {Proc. 22nd International Conference on Real-Time Networks and Systems (RTNS)},
  year = {2014},
  publisher = {ACM},
}

@inproceedings{SernaCAMAD14,
  author = {Serna Oliver, Ramon and Silviu S. Craciunas and Georg St{\"o}ger},
  title = {Analysis of Deterministic Ethernet Scheduling for the Industrial Internet of Things},
  booktitle = {Proc. 19th International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks (CAMAD)},
  year = {2014},
  publisher = {IEEE},
}

@InProceedings{CraciunasETFA14,
  author = {S.S. Craciunas and R. Serna Oliver and V. Ecker},
  title = {Optimal static scheduling of real-time tasks on distributed time-triggered networked systems},
  booktitle = {Proc. 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
  year = {2014},
  publisher = {IEEE Computer Society},
}

@article{CraciunasCoRR14,
  author = {Silviu S. Craciunas and Christoph M. Kirsch and Hannes Payer and Harald R{\"o}ck and Ana Sokolova},
  title = {Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit},
  journal = {CoRR},
  volume = {abs/1404.1830},
  year = {2014},
  url   = {http://arxiv.org/abs/1404.1830},
  archivePrefix = {arXiv},
  note = {preprint}
}

@article{CraciunasSTTT13,
  author = {Silviu S. Craciunas and Christoph M. Kirsch and Hannes Payer and Harald R{\"o}ck and Ana Sokolova},
  title = {Temporal isolation in real-time systems: the VBS approach},
  journal = {STTT},
  volume = {15},
  number = {3},
  year = {2013},
  pages = {189-209},
}

@inproceedings{CraciunasEUC12,
  author = {S.S. Craciunas and C.M. Kirsch},
  title = {The Power of Isolation},
  booktitle = {Proc. International Conference on Embedded and Ubiquitous Computing (EUC)},
  year = {2012},
  publisher = {IEEE}
}

@inproceedings{CraciunasEMSOFT10,
  author = {S.S. Craciunas and C.M. Kirsch and A. Sokolova},
  title = {Power-aware Temporal Isolation through Variable-Bandwidth Servers},
  booktitle = {Proc. International Conference on Embedded Software (EMSOFT)},
  year = {2010},
}

@inproceedings{CraciunasHotCloud10,
  author = {S.S. Craciunas and A. Haas and C.M. Kirsch and H. Payer and H. R{\"o}ck and A. Rottmann and A. Sokolova and R. Trummer and J. Love and R. Sengupta},
  title = {Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing},
  booktitle = {Proc. Workshop on Hot Topics in Cloud Computing (HotCloud)},
  year = {2010},
  publisher = {USENIX}
}

@inproceedings{CraciunasRTAS10,
  author = {S.S. Craciunas and C.M. Kirsch and A. Sokolova},
  title = {Response Time versus Utilization in Scheduler Overhead Accounting},
  booktitle = {Proc. Real-Time and Embedded Technology and Applications Symposium (RTAS)},
  year = {2010},
}

@inproceedings{CraciunasREPP09,
  author = {S.S. Craciunas and C.M. Kirsch and A. Sokolova},
  title = {A Workload-oriented Programming Model for Temporal Isolation with {VBS}},
  booktitle = {Online Proc. Workshop on Reconciling Performance with Predictability (RePP)},
  year = {2009}
}

@inproceedings{CraciunasSIES09,
  author = {S.S. Craciunas and C.M. Kirsch and H. Payer and H. R{\"o}ck and A. Sokolova},
  title = {Programmable Temporal Isolation through Variable Bandwidth Servers},
  booktitle = {Proc. IEEE Symposium on Industrial Embedded Systems (SIES)},
  year = {2009}
}

@inproceedings{CraciunasIIES09,
  author = {S.S. Craciunas and C.M. Kirsch and H. Payer and H. R{\"o}ck and A. Sokolova},
  title = {Programmable Temporal Isolation in Real-Time and Embedded Execution Environments},
  booktitle = {Proc. Workshop on Isolation and Integration in Embedded Systems (IIES)},
  year = {2009}
}

@Misc{CraciunasRTAS09,
  author = {S.S. Craciunas and C.M. Kirsch and H. Payer and H. R{\"o}ck and A. Sokolova},
  title = {Everyone Virtualizes Everything But Time},
  howpublished = {Poster at the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)},
  year = {2009},
}

@article{CraciunasOSR08,
  author = {S.S. Craciunas and C.M. Kirsch and H. R{\"o}ck},
  title = {{I/O} {Resource} Management through System Call Scheduling},
  journal = {ACM Operating Systems Review (OSR), Special Issue on Research and Developments in the Linux Kernel},
  month = {July},
  year = {2008}
}

@inproceedings{CraciunasAIAAGNC08,
  author = {S.S. Craciunas and C.M. Kirsch and H. R{\"o}ck and R. Trummer},
  title = {The {JA}viator: A High-Payload Quadrotor {UAV} with High-Level Programming Capabilities},
  booktitle = {Proc. AIAA Guidance, Navigation and Control Conference and Exhibit (GNC)},
  year = {2008}
}

@inproceedings{CraciunasUSENIX08,
  author = {S.S. Craciunas and C.M. Kirsch and H. Payer and A. Sokolova and H. Stadler and R. Staudinger},
  title = {A Compacting Real-Time Memory Management System},
  booktitle = {Proc. USENIX Annual Technical Conference (ATC)},
  pages = {349--362},
  year = {2008}
}

@techreport{CraciunasSBG11,
  author = {S.S. Craciunas and C.M. Kirsch and A. Sokolova},
  title = {The Power of Isolation},
  institution = {Department of Computer Sciences, University of Salzburg},
  number = {2011-02},
  month = {July},
  year = {2011}
}

@techreport{CraciunasSBG10,
  author = {S.S. Craciunas and C.M. Kirsch and A. Sokolova},
  title = {Power-aware Temporal Isolation with Variable-Bandwidth Servers},
  institution = {Department of Computer Sciences, University of Salzburg},
  number = {2010-02},
  month = {April},
  year = {2010}
}

@techreport{CraciunasSBG092,
  author = {S.S. Craciunas and C.M. Kirsch and A. Sokolova},
  title = {Response Time versus Utilization in Scheduler Overhead Accounting},
  institution = {Department of Computer Sciences, University of Salzburg},
  number = {2009-03},
  month = {September},
  year = {2009}
}

@techreport{CraciunasSBG09,
  author = {S.S. Craciunas and C.M. Kirsch and H. Payer and H. R{\"o}ck and A. Sokolova},
  title = {Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit},
  institution = {Department of Computer Sciences, University of Salzburg},
  number = {2009-02},
  month = {April},
  year = {2009}
}

@techreport{CraciunasSBG08,
  author = {S.S. Craciunas and C.M. Kirsch and H. R{\"o}ck and A. Sokolova},
  title = {Real-Time Scheduling for Workload-oriented Programming},
  institution = {Department of Computer Sciences, University of Salzburg},
  number = {2008-02},
  month = {September},
  year = {2008}
}

@techreport{CraciunasSBG07,
  author = {S. S. Craciunas and C.M. Kirsch and H. R{\"o}ck},
  title = {Shaping Process Semantics},
  institution = {Department of Computer Sciences, University of Salzburg},
  number = {2007-01},
  month = {April},
  year = {2007}
}