Martin Stigge – PhD Student

Address:	Division of Computer Systems Department of Information Technology Uppsala University Box 337 SE-751 05 Uppsala Sweden
Visit:	ITC building 1, floor 2, room 1236
Phone:	+46 18 - 471 6230
Fax:	+46 18 511925
Email:	Martin.Stigge@it.uu.se

Research

I'm working on different aspects of the theory of timed systems, mostly modeling and analysis thereof. Specifically, my research right now focuses on real-time task models and the computational complexity of their schedulability analyses.

Publications

[See also Google Scholar.]

Main Author

Hardness Results for Static Priority Real-Time Scheduling. Martin Stigge and Wang Yi. To appear at ECRTS'12.
On the Tractability of Digraph-Based Task Models. Martin Stigge, Pontus Ekberg, Nan Guan, and Wang Yi. In Proc. 23rd Euromicro Conference on Real-Time Systems (ECRTS'11), pp 162-171, IEEE, 2011. [doi]
The Digraph Real-Time Task Model. Martin Stigge, Pontus Ekberg, Nan Guan, and Wang Yi. In Proc. 17th Real-Time and Embedded Technology and Applications Symposium (RTAS'11), pp 71-80, IEEE, 2011. [doi, DiVA]
Multi-Processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. Pavel Krcal, Martin Stigge, and Wang Yi. In Proc. 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'07), volume 4763/2007 of Lecture Notes in Computer Science, pp 274-289, Springer, 2007. [doi, DiVA]

Theses

Reduzierung von Interaktion in kryptographischen Protokollen. (german) Martin Stigge. Master Thesis (Diplomarbeit). 2008.
Schedulability Analysis with Variable Computation Time of Tasks. Martin Stigge. Term Paper (Studienarbeit). 2007.

Other Publications

Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems. Nan Guan, Pontus Ekberg, Martin Stigge, and Wang Yi. In Proc. 32nd IEEE Real-Time Systems Symposium (RTSS'11), in press, 2011.
Resource Sharing Protocols for Real-Time Task Graph Systems. Nan Guan, Pontus Ekberg, Martin Stigge, and Wang Yi. In Proc. 23rd Euromicro Conference on Real-Time Systems (ECRTS'11), in press, 2011.
Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound. Nan Guan, Martin Stigge, Wang Yi, and Ge Yu. In Proc. 16th Real-Time and Embedded Technology and Applications Symposium (RTAS'10), pp 165-174, IEEE, 2010. [doi, DiVA]
New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. Nan Guan, Martin Stigge, Wang Yi, and Ge Yu. In Proc. 30th IEEE Real-Time Systems Symposium (RTSS'09), pp 387-397, IEEE, 2009. [doi, DiVA]
Cache-Aware Scheduling and Analysis for Multicores. Nan Guan, Martin Stigge, Wang Yi, and Ge Yu. In Proc. 9th ACM International Conference on Embedded Software (EMSOFT'09), pp 245-254, ACM, 2009. [doi, DiVA]
Reversing CRC - Theory and Practice. Martin Stigge, Henryk Plötz, Wolf Müller, and Jens-Peter Redlich. Public Report, Systems Architecture Group, HU Berlin. 2006.

Reviewing

I've been doing reviews for the conferences ATVA09, ATVA10, ATVA12, CAV12, DATE10, DATE11, DATE12, EMSOFT10, EMSOFT11, EMSOFT12, FORMATS10, ICFEM09, LCTES09, PSI09, PSI11, QEST11, RTAS11, RTAS12, RTSS10 and RTSS11.

Teaching

Semester	Course
Spring 2012	Timed Automata Reading Group
Autumn 2011	Information Technology (1DT006)
Autumn 2011	Real-Time Systems (1DT063, 1DT004)
Summer 2011	Information Technology (1DT006)
Autumn 2010	Information Technology (1DT006)
Autumn 2010	Real-Time Systems (1DT063, 1DT004)
Summer 2010	Information Technology (1DT006)
Autumn 2009	Real-Time Systems (1TT842, 1DT008)
Autumn 2009	Information Technology (1DT006)
Summer 2009	Introduction to Computational Complexity
Summer 2009	Information Technology (1DT006)
Autumn 2008	Information Technology (1DT006)