Sebastian Fischmeister

	2012
39		Hany Kashif, Hiren D. Patel, Sebastian Fischmeister: Using link-level latency analysis for path selection for real-time communication on NoCs. ASP-DAC 2012: 499-504
38		Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan: State-based scheduling with tree schedules: analysis and evaluation. Real-Time Systems 48(4): 430-462 (2012)
	2011
37		Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister: Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011 ACM 2011
36		Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister: Sampling-Based Runtime Verification. FM 2011: 88-102
35		Johnson J. Thomas, Sebastian Fischmeister, Deepak Kumar: Lowering overhead in sampling-based execution monitoring and tracing. LCTES 2011: 101-110
34		Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister: Software debugging and testing using the abstract diagnosis theory. LCTES 2011: 111-120
33		Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister: Optimal Instrumentation of Data-flow in Concurrent Data Structures. OPODIS 2011: 497-512
32		Borzoo Bonakdarpour, Sebastian Fischmeister: Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. RV 2011: 19-33
31		Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister: Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. RV 2011: 208-222
	2010
30		Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister: Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures. EMSOFT 2010: 199-208
29		Gonzalo Carvajal, Sebastian Fischmeister: A TDMA Ethernet Switch for Dynamic Real-Time Communication. FCCM 2010: 119-126
28		David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim: Model-Based Programming of Modular Robots. ISORC 2010: 66-74
27		Sebastian Fischmeister, Akramul Azim: Design Choices for High-Confidence Distributed Real-Time Software. ISoLA (2) 2010: 327-342
26		Sebastian Fischmeister, Yanmeng Ba: Sampling-based program execution monitoring. LCTES 2010: 133-142
25		Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee: Generating Reliable Code from Hybrid-Systems Models. IEEE Trans. Computers 59(9): 1281-1294 (2010)
24		Sebastian Fischmeister, Patrick Lam: Time-aware Instrumentation of Real-time Programs. IEEE Trans. Industrial Informatics 6(4): 652-663 (2010)
	2009
23		Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur: Specification and Analysis of Network Resource Requirements of Control Systems. HSCC 2009: 381-395
22		Sebastian Fischmeister, Patrick Lam: On Time-Aware Instrumentation of Programs. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 305-314
21		Madhukar Anand, Sebastian Fischmeister, Insup Lee: Resource Scopes: Toward Language Support for Compositional Determinism. ISORC 2009: 295-304
20		Giovani Gracioli, Sebastian Fischmeister: Tracing interrupts in embedded software. LCTES 2009: 137-146
19		Sebastian Fischmeister, Robert Trausmuth, Insup Lee: Hardware Acceleration for Programmable Real-Time Ethernet. IEEE Trans. Industrial Informatics 5(3): 325-337 (2009)
	2008
18		Sebastian Fischmeister, Insup Lee, Robert Trausmuth: Hardware acceleration for verifiable, adaptive real-time communication. ETFA 2008: 1425-1432
17		Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee: Compositional Feasibility Analysis of Conditional Real-Time Task Models. ISORC 2008: 391-398
	2007
16		Madhukar Anand, Sebastian Fischmeister, Insup Lee: Composition Techniques for Tree Communication Schedules. ECRTS 2007: 235-246
15		Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee: A dynamic scheduling approach to designing flexible safety-critical systems. EMSOFT 2007: 67-74
14		Sebastian Fischmeister, Oleg Sokolsky, Insup Lee: A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers 56(11): 1505-1519 (2007)
	2006
13		Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD 2006: 48-66
12		Madhukar Anand, Sebastian Fischmeister, Insup Lee: An analysis framework for network-code programs. EMSOFT 2006: 122-131
11		Sebastian Fischmeister, Oleg Sokolsky, Insup Lee: Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium 2006: 311-324
	2005
10		Sebastian Fischmeister, Klemens Winkler: Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime. ECRTS 2005: 106-114
9		Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005: 210-213
8		Guido Menkhaus, Michael Holzmann, Sebastian Fischmeister, Claudiu Farcas: Towards Efficient Use of Shared Communication Media in the Timed Model. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 342-351
7		Sebastian Fischmeister: Describing Multidimensional Schedules for Media-Access Control in Time-Triggered Communication. ISCC 2005: 664-670
	2003
6		Guido Menkhaus, Sebastian Fischmeister: Diaolog Model Clustering for User Interface Adaptation. ICWE 2003: 194-203
5		Sebastian Fischmeister, Guido Menkhaus, Alexander Stumpfl: Location-Detection Strategies in Pervasive Computing Environments. PerCom 2003: 273-278
	2002
4		Sebastian Fischmeister: Mobile Software Agents for Location-Based Systems. Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 226-239
3		Sebastian Fischmeister, Günther Hagleitner, Wolfgang Pree: Hermes--A Lean M-commerce Software Platform Utilizing Electronic Signatures. HICSS 2002: 307
	2001
2		Sebastian Fischmeister, Günther Hagleitner, Wolfgang Pree: Symbolon - A Novel Concept For Secure e-Commerce. I3E 2001: 603-616
1		Sebastian Fischmeister, Giovanni Vigna, Richard A. Kemmerer: Evaluating the Security of Three Java-Based Mobile Agent Systems. Mobile Agents 2001: 31-41

Coauthor Index

1	Luís Almeida	[15]
2	Rajeev Alur	[23]
3	Madhukar Anand	[9] [12] [13] [15] [16] [17] [21] [23] [25] [38]
4	David Arney	[28]
5	Akramul Azim	[27] [30]
6	Yanmeng Ba	[26]
7	Sanjoy K. Baruah	[37]
8	Borzoo Bonakdarpour	[31] [32] [33] [34] [36]
9	Gonzalo Carvajal	[29]
10	Samarjit Chakraborty	[37]
11	Arvind Easwaran	[17]
12	Claudiu Farcas	[8]
13	Giovani Gracioli	[20]
14	Günther Hagleitner	[2] [3]
15	Michael Holzmann	[8]
16	Yerang Hur	[25]
17	Ahmed Jerraya	[37]
18	Hany Kashif	[39]
19	Richard A. Kemmerer	[1]
20	Jesung Kim	[9] [13] [25]
21	Deepak Kumar	[35]
22	Patrick Lam	[22] [24]
23	Insup Lee	[9] [11] [12] [13] [14] [15] [16] [17] [18] [19] [21] [25] [28] [38]
24	Guido Menkhaus	[5] [6] [8]
25	Samaneh Navabpour	[31] [33] [34] [36]
26	Hiren D. Patel	[39]
27	Linh T. X. Phan (Linh Thi Xuan Phan)	[38]
28	Dumitru Potop-Butucaru	[30]
29	Wolfgang Pree	[2] [3]
30	Oleg Sokolsky	[11] [14]
31	Alexander Stumpfl	[5]
32	Yoshihito Takashima	[28]
33	Johnson J. Thomas	[35]
34	Robert Trausmuth	[18] [19]
35	Giovanni Vigna	[1]
36	Gera Weiss	[23]
37	Klemens Winkler	[10]
38	Chun Wah Wallace Wu	[31]
39	Mark Yim	[28]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page