| 2009 |
|---|
| 19 | EE | Gera Weiss,
Sebastian Fischmeister,
Madhukar Anand,
Rajeev Alur:
Specification and Analysis of Network Resource Requirements of Control Systems.
HSCC 2009: 381-395 |
| 2008 |
|---|
| 18 | EE | Sebastian Fischmeister,
Insup Lee,
Robert Trausmuth:
Hardware acceleration for verifiable, adaptive real-time communication.
ETFA 2008: 1425-1432 |
| 17 | EE | Madhukar Anand,
Arvind Easwaran,
Sebastian Fischmeister,
Insup Lee:
Compositional Feasibility Analysis of Conditional Real-Time Task Models.
ISORC 2008: 391-398 |
| 2007 |
|---|
| 16 | EE | Madhukar Anand,
Sebastian Fischmeister,
Insup Lee:
Composition Techniques for Tree Communication Schedules.
ECRTS 2007: 235-246 |
| 15 | EE | Luís Almeida,
Sebastian Fischmeister,
Madhukar Anand,
Insup Lee:
A dynamic scheduling approach to designing flexible safety-critical systems.
EMSOFT 2007: 67-74 |
| 14 | EE | 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 | EE | Madhukar Anand,
Sebastian Fischmeister,
Jesung Kim,
Insup Lee:
Generating Sound and Resource-Aware Code from Hybrid Systems Models.
ASWSD 2006: 48-66 |
| 12 | EE | Madhukar Anand,
Sebastian Fischmeister,
Insup Lee:
An analysis framework for network-code programs.
EMSOFT 2006: 122-131 |
| 11 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Sebastian Fischmeister:
Describing Multidimensional Schedules for Media-Access Control in Time-Triggered Communication.
ISCC 2005: 664-670 |
| 2003 |
|---|
| 6 | EE | Guido Menkhaus,
Sebastian Fischmeister:
Diaolog Model Clustering for User Interface Adaptation.
ICWE 2003: 194-203 |
| 5 | EE | Sebastian Fischmeister,
Guido Menkhaus,
Alexander Stumpfl:
Location-Detection Strategies in Pervasive Computing Environments.
PerCom 2003: 273-278 |
| 2002 |
|---|
| 4 | EE | Sebastian Fischmeister:
Mobile Software Agents for Location-Based Systems.
Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 226-239 |
| 3 | EE | 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 | EE | Sebastian Fischmeister,
Giovanni Vigna,
Richard A. Kemmerer:
Evaluating the Security of Three Java-Based Mobile Agent Systems.
Mobile Agents 2001: 31-41 |
