THIS SITE

Information for

Sebastian Fischmeister

Associate Professor, Administrative Appoint

Contact InformationSebastian Fischmeister

Phone: 519-888-4567 x33694
Location: E5 4112

Website

Biography Summary

Sebastian Fischmeister is an Associate Professor in the Department of Electrical and Computer Engineering and is cross-appointed in Computer Science at the University of Waterloo.

Prof. Fischmeister performs systems research at the intersection of software technology, distributed systems, and formal methods. His preferred application area includes distributed real-time embedded systems in the domain of automotive systems, avionics, and medical devices. Key highlights of his research include a framework for scalable location-based pervasive computing systems and tree communication schedules for verifiable but flexible real-time communication. A slightly modified version of his real-time communication framework has been used for the plug-and-play demonstration of medical devices and to promote the ASTM F29.21 standard. He is now working on (a) information extraction of time-sensitive systems, (b) using data analytics of extracted information for system validation and security, (c) runtime monitoring of safety-critical systems, and (d) reliable and robust performance evaluation of embedded systems.

Research Interests

  • Real-time Systems
  • Embedded Systems
  • Software Technology
  • Embedded Networking
  • Resource Modeling
  • Computer Engineering
  • Software Engineering
  • Advanced Robotics
  • Autonomous Vehicles
  • Autonomous And Connected Car
  • Big Data/analytics
  • Sensors And Devices
  • Safety-critical Systems
  • Advanced Manufacturing
  • Automotive
  • Operational Artificial Intelligence
  • Robotics

Education

  • 2002, Doctorate, Computer Science, University of Salzburg
  • 2000, Master of Applied Science, Computer Science, Vienna University of Technology
  • 2000, Other, Dipl.Ing., Technical University Vienna

Courses

  • SE 350 - Operating Systems

Selected/Recent Publications

  • Carvajal, Gonzalo and Araneda, Luis and Wolf, Alejandro and Figueroa, Miguel and Fischmeister, Sebastian, Integrating Dynamic-TDMA Communication Channels into COTS Ethernet Networks, , 2016
  • Blackburn, Stephen M and Diwan, Amer and Hauswirth, Mattias and Sweeney, Peter F and Amaral, Jose Nelson and Brecht, Tim and Bulej, Lubomr and Click, Cliff and Eeckhout, Lieven and Fischmeister, Sebastian and others, The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations, Transactions on Programming Languages and Systems (TOPLAS), 2016
  • Salem, Mahmoud and Crowley, Mark and Fischmeister, Sebastian, Inter-Arrival Curves for Multi-Mode and Online Anomaly Detection, Edited by Sebastian Altmeyer, 2016
  • Biedl, Therese and Fischmeister, Sebastian and Kumar, Neeraj, DAG-width of Control Flow Graphs with Applications to Model Checking, arXiv preprint arXiv:1503.00793, 2015
  • Medhat, Ramy and Bonakdarpour, Borzoo and Kumar, Deepak and Fischmeister, Sebastian, Runtime monitoring of cyber-physical systems under timing and memory constraints, ACM Transactions on Embedded Computing Systems (TECS), 14(4), 2015
  • Petkovich, JC and Oliveira, A and Zhang, Y and Reidemeister, T and Fischmeister, S, DataMill: a distributed heterogeneous infrastructure forrobust experimentation, Software: Practice and Experience, 2015
  • Berkovich, Shay and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Runtime verification with minimal intrusion through parallelism, Formal Methods in System Design, 46(3), 2015, 317 - 348
  • Chen, Xi and Azim, Akramul and Liu, Xue and Fischmeister, Sebastian and Ma, Jun, DTS: dynamic TDMA scheduling for networked control systems, Journal of Systems Architecture, 60(2), 2014, 194 - 205
  • Medhat, Ramy and Joshi, Yogi and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Accelerated runtime verification of LTL specifications with counting semantics, arXiv preprint arXiv:1411.2239, 2014
  • Rehman, Ahmad Saif Ur and Oliveira, Augusto Born and Tripunitara, Mahesh and Fischmeister, Sebastian, The use of mTags for mandatory security: a case study, Software: Practice and Experience, 44(12), 2014, 1511 - 1523
  • Kashif, Hany and Patel, H and Fischmeister, Sebastian and Hassan, M and Gholamian, S and Thomas, JJ and Kaushik, AM and Pellizzoni, R and Wang, D and Rajendiran, A and others, Path Selection for Real-Time Communication on Priority-Aware NoCs., Reliable Computing, 2014
  • Carvajal, Gonzalo and Wu, Chun Wah and Fischmeister, Sebastian, Evaluation of communication architectures for switched real-time Ethernet, IEEE transactions on computers, 63(1), 2014, 218 - 229
  • Medhat, Ramy and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Power Redistribution for Optimizing Performance in MPI Clusters, arXiv preprint arXiv:1410.6824, 2014
  • De Oliveira, Augusto Born and Fischmeister, Sebastian and Diwan, Amer and Hauswirth, Matthias and Sweeney, Peter F, Why you should care about quantile regression, ACM SIGPLAN Notices, 48(4), 2013, 207 - 218
  • Bergamaschi, Reinaldo A and Baruah, Sanjoy K and Fischmeister, Sebastian and Dick, Robert P and Madsen, Jan and Gupta, Rajesh and Mooney III, Vincent John, Introductions to special issue on ESWEEK 2011., Design Autom. for Emb. Sys., 17(2), 2013, 215 - 219
  • Gholamian, Sina and Kashif, Hany and Patel, Hiren D and Pellizzoni, Rodolfo and Fischmeister, Sebastian, HolisticNoC: A NoC-Aware Holistic Analysis for Distributing Hard Real-time Systems on CMPs, Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Ontario, Tech. Rep. CAESR-TR-2012-05, 2013
  • Gracioli, Giovani and Fröhlich, Antônio Augusto and Pellizzoni, Rodolfo and Fischmeister, Sebastian, Implementation and evaluation of global and partitioned scheduling in a real-time OS, Real-Time Systems, 49(6), 2013, 669 - 714
  • Anand, Madhukar and Fischmeister, Sebastian and Lee, Insup, A comparison of compositional schedulability analysis techniques for hierarchical real-time systems, ACM Transactions on Embedded Computing Systems (TECS), 13(1), 2013
  • Bonakdarpour, Borzoo and Navabpour, Samaneh and Fischmeister, Sebastian, Time-triggered runtime verification, Formal Methods in System Design, 43(1), 2013, 29 - 60
  • A. Oliveira, A. Saif Ur Rehman, and S. Fischmeister, mTags: Augmenting Microkernel Messages with Lightweight Metadata, ACM Operating Systems Review, 46(2), 2012, 67 - 79
    Link
  • Anand, Madhukar and Fischmeister, Sebastian and Lee, Insup and Phan, Linh TX, State-based scheduling with tree schedules: analysis and evaluation, Real-Time Systems, 48(4), 2012, 430 - 462
  • de Oliveira, Augusto Born and Saif Ur Rehman, Ahmad and Fischmeister, Sebastian, mTags: augmenting microkernel messages with lightweight metadata, ACM SIGOPS Operating Systems Review, 46(2), 2012, 67 - 79
  • Kashif, Hany and Gholamian, Sina and Patel, Hiren D and Fischmeister, Sebastian, A Link-level Analysis for Real-time Communication on Networkon-Chips, University of Waterloo, Tech. Rep. ESR-TR-2012-01, 2012
  • Gracioli, Giovani and Fischmeister, Sebastian, Tracing and recording interrupts in embedded software, Journal of Systems Architecture, 58(9), 2012, 372 - 385
  • G. Carvajal, C.W. Wu, and S. Fischmeister, Evaluation of Communication Architectures for Switched Real-time Ethernet, IEEE Transactions on Computers
  • Madhukar Anand, Sebastian Fischmeister, Insup Lee, and Linh T.X. Phan, State-based Scheduling with Tree Schedules: Analysis and Evaluation, Real-time Systems, 48(4), 2012, 430 - 462
    Link
  • G. Gracioli, and S. Fischmeister, Tracing and Recording Interrupts in Embedded Software, Journal of Systems Architecture
  • Baruah, Sanjoy K and Fischmeister, Sebastian, Message from the EMSOFT program chairs, Unknown Journal, 2011
  • Fischmeister, Sebastian and de Oliveira, Augusto Born, Representing Machine State As Sound in Real Time Using Pure Data, , 2011
  • Thomas, Johnson J and Fischmeister, Sebastian and Kumar, Deepak, Lowering overhead in sampling-based execution monitoring and tracing, ACM SIGPLAN Notices, 46(5), 2011, 101 - 110
  • Anand, Madhukar and Fischmeister, Sebastian and Hur, Yerang and Kim, Jesung and Lee, Insup, Generating reliable code from hybrid-systems models, IEEE Transactions on Computers, 59(9), 2010, 1281 - 1294
  • Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, and Insup Lee, Generating Reliable Code from Hybrid-Systems Models, IEEE Transactions on Computers, 59(9), 2010, 1281 - 1294
    Link
  • Sebastian Fischmeister and Patrick Lam, Time-Aware Instrumentation of Embedded Software, IEEE Transactions on Industrial Informatics, 6(4), 2010, 652 - 663
    Link
  • Fischmeister, Sebastian and Lam, Patrick, Time-aware instrumentation of embedded software, IEEE Transactions on Industrial Informatics, 6(4), 2010, 652 - 663
  • Fischmeister, Sebastian and Trausmuth, Robert and Lee, Insup, Hardware acceleration for conditional state-based communication scheduling on real-time Ethernet, IEEE Transactions on Industrial Informatics, 5(3), 2009, 325 - 337
  • Sebastian Fischmeister, Robert Trausmuth, and Insup Lee, Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet, IEEE Transactions on Industrial Informatics, 5(3), 2009, 325 - 337
    Link
  • Arney, David and Fischmeister, Sebastian and Goldman, Julian M and Lee, Insup and Trausmuth, Robert, Plug-and-play for medical devices: Experiences from a case study, Biomedical Instrumentation & Technology, 43(4), 2009, 313 - 317
  • Abdelwahed, S and Abeni, L and Acciani, G and Almeida, L and Alves, M and Anastasi, G and Anastasi, GF and Armengaud, E and Baldi, M and Baruah, S and others, 2009 Index IEEE Transactions on Industrial Informatics Vol. 5, IEEE Transactions on Industrial Informatics, 5(4), 2009
  • David Arney, Sebastian Fischmeister, Julian M. Goldman, Insup Lee, and Robert Trausmuth, Plug-and-Play for Medical Devices: Experiences from a Case Study, Biomedical Instrumentation & Technology, 43(4), 2009, 313 - 317
    Link
  • Almeida, Luís and Fischmeister, Sebastian and Lee, Insup and Proenza, Julián, APRES'08, , 2008
  • Fischmeister, Sebastian and Lee, Insup, Temporal control in real-time systems: Languages and systems, Handbook of Real-Time and Embedded Systems, 2007
  • Fischmeister, Sebastian and Sokolsky, Oleg and Lee, Insup, A verifiable language for programming real-time communication schedules, IEEE Transactions on Computers, 56(11), 2007, 1505 - 1519
  • Sebastian Fischmeister, Oleg Sokolsky, and Insup Lee, A Verifiable Language for Programming Communication Schedules, IEEE Transactions on Computers, 56(11), 2007, 1505 - 1519
    Link
  • Wolfgang Pree, Sebastian Fischmeister, Guido Menkhaus, and Gerald Stieglbauer, Middleware fuer eingebettete Systeme (Middleware for Embedded Systems), Noeo, 2003
  • Fischmeister, Sebastian and Menkhaus, Guido and Pree, Wolfgang, Context-awareness and adaptivity through mobile shadows, Software Research Lab, University of Salzburg, Austria. Available at: http://www. softwareresearch. net/reports C, 47, 2002
  • Fischmeister, Sebastian and Menkhaus, Guido, L2: A Novel Concept for Cell-based Location-Aware Services, Software Research Lab, Constance University: Constance, 2002
  • Fischmeister, Sebastian, JBranch Constraint Language, , 1999
  • AbouGhazaleh, Nevine and Alimenti, Omar and Amirijoo, Mehdi and Anantaraman, Aravindh and Anderson, Jonathan and Banerjee, Sudarshan and Barth, Michael and Baruah, Sanjoy K and Bazanella, Alexandre Sanfelice and Becker, Leandro Buss and others, Rony Ghattas Rajesh Gupta Thomas Gustafsson Wolfgang Halang Qi Han,
  • Ali, Nour and Anand, Madhukar and Arney, David and Baudry, Benoit and Cai, Xia and Carsi, Jose A and Chan, Pik Wah and Cao, Donggang and Chen, Taolue and Dai, Zhengfan and others, QSIC 2005,
  • Fischmeister, Sebastian, System and Language Support for Timing Constraints,
  • Abdelzaher, Tarek and Almeida, Luis and Anderson, Jim and Aydin, Hakan and Baker, Theodore P and Bate, Iain and Brandt, Scott and Bril, Reinder J and Buttazzo, Giorgio and Chakraborty, Samarjit and others, RTSS 2008 Program Committee,
  • Kopetz, Hermann and Dasarathy, Belur V and Farber, Georg and Gruver, William A and Fischmeister, Sebastian and Holzmann, Michael and Menkhaus, Guido and Sung, Andrew H and Mukkamala, Srinivas, Plenary Sessions,
  • Abdelzaher, Tarek and Almeida, Luis and Anderson, Jim and Aydin, Hakan and Baker, Ted and Bate, Iain and Caccamo, Marco and Cheng, Albert and Dutt, Nik and Fischmeister, Sebastian and others, Cyber-Physical Systems Technical Program Committee,
  • Abdelzaher, Tarek and Anderson, Jim and Aydin, Hakan and Bate, Iain and Caccamo, Marco and Fischmeister, Sebastian and Gopalakrishnan, Sathish and Goddard, Steve and Hansson, Jorgen and Hartig, Hermann and others, Technical Program Committees,
  • Carvajal, Gonzalo and Fischmeister, Sebastian, Atacama: An Open Experimental Platform for Mixed-Criticality Networking on Top of Ethernet,
  • Aiello, Marco and Anand, Sriram and Aoyama, Mikio and Ardagna, Danilo and Bajaj, Akhilesh and Baldoni, Matteo and Barros, Alistair and Benatallah, Boualem and Bertino, Elisa and Casati, Fabio and others, ICWS 2009 Program Committee,
  • Aboelaze, Mokhtar and Aboelela, Emad and Aboudagga, Nidal and Aboutabl, Mohamed and Ali, Najah Abu and Afsahi, Ahmad and Ahamed, Sheikh and Ahmed, Farid and Aib, Issam and Akar, Nail and others, LCN Reviewers,
  • Fischmeister, Sebastian, Location Context in Mobile and Pervasive Computing Systems,
  • Abeni, Luca and Almeida, Luis and Andersson, Bjorn and Andrei, Stefan and Aydin, Hakan and Boppana, Rajendra and Bechini, Alessio and Cha, Hojung and Chang, Yuan-Hao and Chen, Jing and others, EmbeddedCom 2013,
  • Navabpour, Samaneh and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Optimal Instrumentation of Data-flow in Concurrent Software,
  • Min, Geyong and Tang, Zhe and Yang, Laurence T and Wang, Guojun and Andrei, Stefan and Chang, Rong-Guey and Chen, Ya-Shu and Chen, Juan and Cheng, Albert and Cong, Guojing and others, ESA 2011,
  • Navabpourl, Samaneh and Wul, Chun Wall Wallace and Bonakdarpourz, Borzoo and Fischmeister, Sebastian, Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification,
  • Fischmeister, Sebastian, Building Secure Mobile Agents,
  • Fischmeister, Sebastian and Lukasiewycz, Martin and Guan, Nan and Tovar, Eduardo and Mo, Li and Goswami, Dip and Liu, Kai and Glass, Michael and Roop, Partha S and Xue, Jason and others, CPSNA 2014 Program Committee,
  • Abella, Jaume and Acquaviva, ES Andrea and Agarwal, IT Kanak and Almeida, Luis and Ampadu, PT Paul and Lorena Anghel, TIMA and Angiolini, FR Federico and iNoCs, CH and Anuradha Annaswamy, MIT and Appello, US Davide and others, Alain Darte, ENS Lyon, FR Pallab Dasgupta, IIT Kharagpur, IN Azadeh Davoodi, University of Wisconsin, US Bjorn De Sutter, Ghent University, BE Catherine Dehollain, EPFL, CH,
  • BORTENSCHLAGER, Manfred and FISCHMEISTER, Sebastian and KIECHLE, Günter and LEITINGER, Sven, Wesentliche Kriterien der Positionsbestimmung im Anwendungsfeld eTourismus,
  • Anand, Madhukar and Anderson, Jim and Andersson, Björn and Angermeier, Josef and Angiolini, Federico and Asrigo, Yanwar and Atienza, David and Audsley, Neil and Avila, Louise and Aydin, Hakan and others, Tarek Abdelzaher Nevine Aboughazaleh Niwaer Ai Isaac Amundson,
  • Fröhlich, Antônio Augusto and Montez, Carlos and Pereira, Carlos Eduardo and Mossé, Daniel and Zhu, Dhakai and Renaux, Douglas and Lima, George and Fohler, Gerhard and Ramaprasad, Harini and Farines, Jean-Marie and others, SBESC 2012,
  • Antoniou, Grigoris and Aoyama, Mikio and Benatallah, Boualem and Bertino, Elisa and Bouguettaya, Athman and Bressoud, Thomas C and Bussler, Christoph and Cardoso, Jorge and Castellanos, Malu G and Chen, Jeane and others, ICWS 2007 Program Committee,
  • Lee, Insup and Fischmeister, Sebastian, Languages and Systems,
  • Abdelzaher, Tarek and Almeida, Luis and Aydin, Hakan and Bettati, Riccardo and Brandt, Scott and Burns, Alan and Caccamo, Marco and Di Natale, Marco and DiPippo, Lisa and Fohler, Gerhard and others, Real-time and Embedded Systems Infrastructure and Theory (Chair: Steve Goddard),
  • Newsham, Zack and Ganesh, Vijay and Fischmeister, Sebastian, Predicting SAT Solver Performance on Heterogeneous Hardware,
  • Ernst, Rolf and Sokolsky, Oleg and Alur, Rajeev and Chakraborty, Samarjit and De Niz, Dionisio and De Simone, Robert and Edwards, Stephen and Eles, Petru and Fischmeister, Sebastian and Fränzle, Martin and others, EMSOFT 2013 Organization,
  • Aydin, Hakan and Bahga, Arshdeep and Bai, Zhaojun and Barbosa, Ricardo and Bartolini, Andrea and Baruah, Sanjoy and Becker, Juergen and Bogdan, Paul and Brisk, Philip and Buchty, Rainer and others, Ababei, Cristinel Albertini, Bruno Almeida, Gabriel Amrouch, Hussam,
  • Fröhlich, Antônio Augusto and Montez, Carlos and Pereira, Carlos Eduardo and Zhu, Dhakai and Mossé, Daniel and Renaux, Douglas and Bini, Enrico and Fohler, Gerhard and Ramaprasad, Harini and Bate, Iain and others, SBESC 2011,
  • Thomas, Johnson J and Fischmeister, Sebastian, Time-triggered Program Self-monitoring,
  • Tovar, Eduardo and Childers, Bruce and Cirinei, Michele and Clarke, Duncan and Crenshaw, Tanya and Curescu, Calin and Das, Sanghamitra and Davis, R and de Sutter, Bjorn and Dean, Alex and others, Johan Runeson Marc Schlickling Aviral Shrivastava Won So,
  • Anderson, James H and Andersson, Bjorn and Baker, Ted and Baruah, Sanjoy and Bini, Enrico and Burns, Alan and Chakraborty, Samarjit and Chen, Jian-Jia and Cheng, Albert and Fischmeister, Sebastian and others, Technical Program Committees,
  • Fischmeister, Sebastian, The Language Network Code—A Brief Overview, future, 10
  • Salem, Mahmoud and Crowley, Mark and Fischmeister, Sebastian, Anomaly Detection Using Inter-Arrival Curves for Real-time Systems, January 2016
  • Moreno, Carlos and Kauffman, Sean and Fischmeister, Sebastian, Efficient program tracing and monitoring through power consumption-with a little help from the compiler, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), January 2016, 1556 - 1561
  • Johnson, Taylor T and Gannamaraju, Raghunath and Fischmeister, Sebastian, A Survey of Electrical and Electronic (E/E) Notifications for Motor Vehicles, 24th International Technical Conference on the Enhanced Safety of Vehicles (ESV), January 2015
  • Medhat, Ramy and Ramesh, S and Bonakdarpour, Borzoo and Fischmeister, Sebastian, A framework for mining hybrid automata from input/output traces, Proceedings of the 12th International Conference on Embedded Software, January 2015, 177 - 186
  • Denil, Joachim and Kashif, Hany and Arafa, Pansy and Vangheluwe, Hans and Fischmeister, Sebastian, Instrumentation and preservation of extra-functional properties of simulink models, Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, January 2015, 47 - 54
  • Fischmeister, Sebastian and Czarnecki, Krzysztof, SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers, Theory and Applications of Satisfiability Testing--SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, January 2015
  • Kashif, Hany and Thomas, Johnson and Patel, Hiren and Fischmeister, Sebastian, Static slack-based instrumentation of programs, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), January 2015, 1 - 8
  • Ketata, Aymen and Moreno, Carlos and Fischmeister, Sebastian and Liang, Jia and Czarnecki, Krzysztof, Performance prediction upon toolchain migration in model-based software, Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on, January 2015, 302 - 311
  • Navabpour, Samaneh and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Time-triggered runtime verification of component-based multi-core systems, Runtime Verification, January 2015, 153 - 168
  • Azim, Akramul and Pellizzoni, Rodolfo and Fischmeister, Sebastian, Generation of communication schedules using component interfaces, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), January 2015, 1 - 9
  • Moreno, Carlos and Hasan, M Anwar and Fischmeister, Sebastian, Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks, Embedded Software (EMSOFT), 2015 International Conference on, January 2015, 157 - 166
  • Newsham, Zack and Lindsay, William and Ganesh, Vijay and Liang, Jia Hui and Fischmeister, Sebastian and Czarnecki, Krzysztof, SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers, International Conference on Theory and Applications of Satisfiability Testing, January 2015, 62 - 70
  • Medhat, Ramy and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Power-Efficient Multiple Producer-Consumer, Parallel and Distributed Processing Symposium, 2014 IEEE 28th International, January 2014, 669 - 678
  • de Oliveira, Augusto Born and Azim, Akramul and Fischmeister, Sebastian and Marau, Ricardo and Almeida, Luis, D-RES: Correct transitive distributed service sharing, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), January 2014, 1 - 6
  • Azim, Akramul and Carvajal, Gonzalo and Pellizzoni, Rodolfo and Fischmeister, Sebastian, Generation of communication schedules for multi-mode distributed real-time applications, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), January 2014, 1 - 6
  • Chaudhary, Sandeep and Fischmeister, Sebastian and Tan, Lin, em-SPADE: a compiler extension for checking rules extracted from processor specifications, ACM SIGPLAN Notices, January 2014, 105 - 114
  • Medhat, Ramy and Kumar, Deepak and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems, Cyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference on, January 2014, 115 - 126
  • Zadeh, Mohammad Mehdi Zeinali and Salem, Mahmoud and Kumar, Neeraj and Cutulenco, Greta and Fischmeister, Sebastian, SiPTA: Signal processing for trace-based anomaly detection, Embedded Software (EMSOFT), 2014 International Conference on, January 2014, 1 - 10
  • Newsham, Zack and Ganesh, Vijay and Fischmeister, Sebastian and Audemard, Gilles and Simon, Laurent, Impact of community structure on SAT solver performance, International Conference on Theory and Applications of Satisfiability Testing, January 2014, 252 - 268
  • de Oliveira, Augusto Born and Petkovich, Jean-Christophe and Fischmeister, Sebastian, How much does memory layout impact performance? a wide study, Intl. Workshop Reproducible Research Methodologies, January 2014, 23 - 28
  • Kashif, Hany and Gholamian, Sina and Pellizzoni, Rodolfo and Patel, Hiren D and Fischmeister, Sebastian, Ortap: An offset-based response time analysis for a pipelined communication resource model, Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013 IEEE 19th, January 2013, 247 - 258
  • de Oliveira, Augusto Born and Petkovich, Jean-Christophe and Reidemeister, Thomas and Fischmeister, Sebastian, Datamill: Rigorous performance evaluation made easy, Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering, January 2013, 137 - 148
  • Carvajal, Gonzalo and Fischmeister, Sebastian, An open platform for mixed-criticality real-time ethernet, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, January 2013, 153 - 156
  • Chen, Peiyi and Fischmeister, Sebastian and Reidemeister, Thomas and Rizwan, Yassir and Waslander, Steven, Demo abstract—Hexacopters for everyone: Online access to advanced robotics platforms for your research, Cyber-Physical Systems (ICCPS), 2013 ACM/IEEE International Conference on, January 2013, 247 - 247
  • Berkovich, Shay and Bonakdarpour, Borzoo and Fischmeister, Sebastian, GPU-based runtime verification, Parallel & Distributed Processing (IPDPS), 2013 IEEE 27th International Symposium on, January 2013, 1025 - 1036
  • Arafa, Pansy and Kashif, Hany and Fischmeister, Sebastian, DIME: time-aware dynamic binary instrumentation using rate-based resource allocation, Proceedings of the Eleventh ACM International Conference on Embedded Software, January 2013
  • Carvajal, Gonzalo and Fischmeister, Sebastian, Atacama: an open research platform for mixed-criticality communication in ethernet, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, January 2013, 248 - 248
  • Azim, Akramul and Sundaram, Shreyas and Fischmeister, Sebastian, An Efficient Periodic Resource Supply Model for Workloads with Transient Overloads, 2013 25th Euromicro Conference on Real-Time Systems, January 2013, 249 - 258
  • Kashif, Hany and Arafa, Pansy and Fischmeister, Sebastian, INSTEP: A static instrumentation framework for preserving extra-functional properties, 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, January 2013, 257 - 266
  • Moreno, Carlos and Fischmeister, Sebastian and Hasan, M Anwar, Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis, ACM SIGPLAN Notices, January 2013, 77 - 88
  • Wu, Chun Wah Wallace and Kumar, Deepak and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Reducing monitoring overhead by integrating event-and time-triggered techniques, International Conference on Runtime Verification, January 2013, 304 - 321
  • Carvajal, Gonzalo and Figueroa, Miguel and Trausmuth, Robert and Fischmeister, Sebastian, Atacama: An open FPGA-Based platform for mixed-criticality communication in multi-segmented Ethernet networks, Field-Programmable Custom Computing Machines (FCCM), 2013 IEEE 21st Annual International Symposium on, January 2013, 121 - 128
  • Navabpour, Samaneh and Joshi, Yogi and Wu, Wallace and Berkovich, Shay and Medhat, Ramy and Bonakdarpour, Borzoo and Fischmeister, Sebastian, RiTHM: a tool for enabling time-triggered runtime verification for c programs, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, January 2013, 603 - 606
  • Kashif, Hany and Fischmeister, Sebastian, Program transformation for time-aware instrumentation, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), January 2012, 1 - 8
  • Navabpour, Samaneh and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Path-aware time-triggered runtime verification, International Conference on Runtime Verification, January 2012, 199 - 213
  • Bonakdarpour, Borzoo and Fischmeister, Sebastian, Runtime verification of real-time embedded systems, Proceedings of the tenth ACM international conference on Embedded software, January 2012, 249 - 250
  • Chen, Xi and Azim, Akramul and Liu, Xue and Fischmeister, Sebastian, Css: conditional state-based scheduling for networked control systems, 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, January 2012, 78 - 87
  • Kashif, Hany and Patel, Hiren D and Fischmeister, Sebastian, Using link-level latency analysis for path selection for real-time communication on nocs, 17th Asia and South Pacific Design Automation Conference, January 2012, 499 - 504
  • Bonakdarpour, Borzoo and Thomas, Johnson J and Fischmeister, Sebastian, Time-triggered program self-monitoring, 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, January 2012, 260 - 269
  • Gebauer, Oliver and Pree, Wolfgang and Hanis, Gerhard and Stadlmann, Burkhard and Gschwandtner, M and Kwitt, R and Pree, W and Uhl, A and Naderlinger, Andreas and Templ, Josef and others, Towards Autonomously Driving Trains on Tracks With Open Access, 19th ITS World Congress, January 2012
  • Navabpour, Samaneh and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Software debugging and testing using the abstract diagnosis theory, ACM SIGPLAN Notices, January 2011, 111 - 120
  • Bonakdarpour, Borzoo and Navabpour, Samaneh and Fischmeister, Sebastian, Sampling-based runtime verification, International Symposium on Formal Methods, January 2011, 88 - 102
  • Navabpour, Samaneh and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Optimal instrumentation of data-flow in concurrent data structures, International Conference On Principles Of Distributed Systems, January 2011, 497 - 512
  • Navabpour, Samaneh and Wu, Chun Wah Wallace and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Efficient techniques for near-optimal instrumentation in time-triggered runtime verification, International Conference on Runtime Verification, January 2011, 208 - 222
  • Bonakdarpour, Borzoo and Fischmeister, Sebastian, Runtime monitoring of time-sensitive systems, International Conference on Runtime Verification, January 2011, 19 - 33
  • Azim, Akramul and Fischmeister, Sebastian, Resolving state inconsistency in distributed fault-tolerant real-time dynamic TDMA architectures, Emerging Technologies & Factory Automation (ETFA), 2011 IEEE 16th Conference on, January 2011, 1 - 9
  • Weiß, Gereon and Becker, Klaus and Radermacher, Ansgar and Gerard, Sébastian and Fischmeister, S, Rt-describe: Self-describing components for self-adaptive distributed embedded systems, Proceedings of 3rd Workshop on Adaptive and Reconfiurable Embedded Systems (APRES), January 2011, 1 - 4
  • Potop-Butucaru, Dumitru and Azim, Akramul and Fischmeister, Sebastian, Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures, Proceedings of the tenth ACM international conference on Embedded software, January 2010, 199 - 208
  • Arney, David and Fischmeister, Sebastian and Lee, Insup and Takashima, Yoshihito and Yim, Mark, Model-based programming of modular robots, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, January 2010, 66 - 74
  • Fischmeister, Sebastian and Ba, Yanmeng, Sampling-based program execution monitoring, ACM Sigplan Notices, January 2010, 133 - 142
  • Carvajal, Gonzalo and Fischmeister, Sebastian, A TDMA Ethernet switch for dynamic real-time communication, Field-Programmable Custom Computing Machines (FCCM), 2010 18th IEEE Annual International Symposium on, January 2010, 119 - 126
  • Fischmeister, Sebastian and Azim, Akramul, Design choices for high-confidence distributed real-time software, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, January 2010, 327 - 342
  • Anand, Madhukar and Fischmeister, Sebastian and Lee, Insup, Resource Scopes: Toward Language Support for Compositional Determinism, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, January 2009, 295 - 304
  • Gracioli, Giovani and Fischmeister, Sebastian, Tracing interrupts in embedded software, ACM Sigplan Notices, January 2009, 137 - 146
  • Fischmeister, Sebastian and Lam, Patrick, On time-aware instrumentation of programs, Real-Time and Embedded Technology and Applications Symposium, 2009. RTAS 2009. 15th IEEE, January 2009, 305 - 314
  • Weiss, Gera and Fischmeister, Sebastian and Anand, Madhukar and Alur, Rajeev, Specification and analysis of network resource requirements of control systems, International Workshop on Hybrid Systems: Computation and Control, January 2009, 381 - 395
  • Fischmeister, Sebastian and Lee, Insup and Trausmuth, Robert, Hardware acceleration for verifiable, adaptive real-time communication, 2008 IEEE International Conference on Emerging Technologies and Factory Automation, January 2008, 1425 - 1432
  • Fischmeister, Sebastian and Trausmuth, Robert, A programmable arbitration layer for adaptive real-time systems, Proc. of the Intl. Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), January 2008, 27 - 31
  • Anand, Madhukar and Easwaran, Arvind and Fischmeister, Sebastian and Lee, Insup, Compositional feasibility analysis of conditional real-time task models, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), January 2008, 391 - 398
  • Anand, Madhukar and Fischmeister, Sebastian and Lee, Insup, Composition techniques for tree communication schedules, 19th Euromicro Conference on Real-Time Systems (ECRTS'07), January 2007, 235 - 246
  • Almeida, Luis and Fischmeister, Sebastian and Anand, Madhukar and Lee, Insup, A dynamic scheduling approach to designing flexible safety-critical systems, Proceedings of the 7th ACM & IEEE international conference on Embedded software, January 2007, 67 - 74
  • Anand, Madhukar and Fischmeister, Sebastian and Lee, Insup, An analysis framework for network-code programs, Proceedings of the 6th ACM & IEEE International conference on Embedded software, January 2006, 122 - 131
  • Fischmeister, Sebastian and Sokolsky, Oleg and Lee, Insup, Network-code machine: Programmable real-time communication schedules, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), January 2006, 311 - 324
  • Anand, Madhukar and Fischmeister, Sebastian and Kim, Jesung and Lee, Insup, Generating sound and resource-aware code from hybrid systems models, Automotive Software Workshop, January 2006, 48 - 66
  • Menkhaus, Guido and Holzmann, Michael and Fischmeister, Sebastian and Farcas, Claudiu, Towards Efficient Use of Shared Communication Media in the Timed Model, 11th IEEE Real Time and Embedded Technology and Applications Symposium, January 2005, 342 - 351
  • Fischmeister, Sebastian and Winkler, Klemens, Non-blocking deterministic replacement of functionality, timing, and data-flow for hard real-time systems at runtime, 17th Euromicro Conference on Real-Time Systems (ECRTS'05), January 2005, 106 - 114
  • Anand, Madhukar and Fischmeister, Sebastian and Kim, Jesung and Lee, Insup, Distributed-code generation from hybrid systems models for time-delayed multirate systems, Proceedings of the 5th ACM international conference on Embedded software, January 2005, 210 - 213
  • Fischmeister, Sebastian, Describing multidimensional schedules for media-access control in time-triggered communication, 10th IEEE Symposium on Computers and Communications (ISCC'05), January 2005, 664 - 670
  • Menkhaus, Guido and Holzmann, Michael and Fischmeister, Sebastian, Time-triggered communication for distributed control applications in a timed computational model, Digital Avionics Systems Conference, 2004. DASC 04. The 23rd, January 2004
  • Menkhaus, Guido and Fischmeister, Sebastian, Adaptation for Device Independent Authoring, Developing User Interfaces with XML: Advances on User Interface Description Languages Workshop at Advanced Visual Interface (AVI 2004), January 2004
  • Fischmeister, Sebastian and Holzmann, Michael and Menkhaus, Guido, Model-based development of robotic control systems, Computational Cybernetics, 2004. ICCC 2004. Second IEEE International Conference on, January 2004, 13 - 13
  • Fischmeister, Sebastian and Menkhaus, Guido, Task sequencing for optimizing the computation cycle in a timed computation model, Digital Avionics Systems Conference, 2004. DASC 04. The 23rd, January 2004
  • Fischmeister, Sebastian and Menkhaus, Guido and Stumpfl, Alexander, Location-detection strategies in pervasive computing environments, Pervasive Computing and Communications, 2003.(PerCom 2003). Proceedings of the First IEEE International Conference on, January 2003, 273 - 278
  • Menkhaus, Guido and Fischmeister, Sebastian, Evaluation of User Interface Transcoding Systems, Proc. Seventh World Multiconf. Systemics, Cybernetics and Informatics, January 2003
  • Menkhaus, Guido and Fischmeister, Sebastian, Dialog model clustering for user interface adaptation, International Conference on Web Engineering, January 2003, 194 - 203
  • Fischmeister, Sebastian and Hagleitner, Günther and Pree, Wolfgang, Hermes-a lean m-commerce software platform utilizing electronic signatures, System Sciences, 2002. HICSS. Proceedings of the 35th Annual Hawaii International Conference on, January 2002, 4034 - 4041
  • Fischmeister, Sebastian, Mobile software agents for location-based systems, Net. ObjectDays: International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, January 2002, 226 - 239
  • Fischmeister, Sebastian and Menkhaus, Guido and Pree, Wolfgang, Musa-shadow: Concepts, implementation, and sample applications, Proceedings of the Fortieth International Conference on Tools Pacific, January 2002, 71 - 79
  • Fischmeister, Sebastian and Menkhaus, Guido and Pree, Wolfgang, MUSA-shadow: concepts, implementation, and sample applications a location-based service supporting multiple devices, Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, January 2002, 71 - 79
  • Fischmeister, Sebastian and Vigna, Giovanni and Kemmerer, Richard A, Evaluating the security of three Java-based mobile agent systems, International Conference on Mobile Agents, January 2001, 31 - 41
  • Fischmeister, Sebastian and Lugmayr, Wolfgang, The supervisor-worker pattern, Conference on Pattern Languages of Programming (PLoP), January 1999
  • Koch, Klaus-michael and Loge, Monia and Pree, Wolfgang and Fischmeister, Sebastian, Embedded Systems Knowledge Base, Proc. of the 3rd International Conference on Knowledge Management, January
  • B. Bonakdarpour, and J. Thomas, and S. Fischmeister, Time-triggered Program Self-monitoring, (Accepted in 2012)
  • Hany Kashif, Hiren D. Patel, and Sebastian Fischmeister, Using Link-level Latency Analysis for Path Selection for Real-time Communication on NoCs, 504 manuscript pages (Accepted in 2012)
    Link
  • H. Kashif, and S. Fischmeister, Program Transformation for Time-aware Instrumentation, (Accepted in 2012)
  • Samaneh Navabpour, and Borzoo Bonakdarpour, and Sebastian Fischmeister, Software Debugging and Testing using the Abstract Diagnosis Theory, 120 manuscript pages (Accepted in 2011)
    Link
  • Johnson Thomas, Sebastian Fischmeister, and Deepak Kumar, Lowering Overhead in Sampling-based Execution Monitoring and Tracing, 110 manuscript pages (Accepted in 2011)
    Link
  • Borzoo Bonakdarpour, and Samaneh Navabpour, and Sebastian Fischmeister, Sampling-based Runtime Verification, 102 manuscript pages (Accepted in 2011)
    Link
  • Akramul Azim and Sebastian Fischmeister, Resolving State Inconsistency in Distributed Fault-Tolerant Real-Time Dynamic TDMA Architectures, 9 manuscript pages (Accepted in 2011)
    Link
  • Samaneh Navabpour, and Borzoo Bonakdarpour, and Sebastian Fischmeister, Optimal Instrumentation of Data-flow in Concurrent Data Structures, 512 manuscript pages (Accepted in 2011)
    Link
  • Samaneh Navabpour, and Chun Wah Wallace Wu, and Borzoo Bonakdarpour, and Sebastian Fischmeister,, Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification, 33 manuscript pages (Accepted in 2011)
    Link
  • Borzoo Bonakdarpour, and Sebastian Fischmeister, Runtime Monitoring of Time-sensitive Systems -- Tutorial Supplement, 33 manuscript pages (Accepted in 2011)
    Link
  • Sebastian Fischmeister and Yanmeng Ba, Sampling-based Program Execution Monitoring, 142 manuscript pages (Accepted in 2010)
    Link
  • Gonzalo Carvajal and Sebastian Fischmeister, A TDMA Ethernet Switch for Dynamic Real-Time Communication, 126 manuscript pages (Accepted in 2010)
    Link
  • David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, and Mark Yim, Model-based Programming of Modular Robots, 74 manuscript pages (Accepted in 2010)
    Link
  • Sebastian Fischmeister and Akramul Azim, Design Choices for High-Confidence Distributed Real-time Software, 343 manuscript pages (Accepted in 2010)
    Link
  • Dumitru Potop-Butucaru, Akramul Azim, and Sebastian Fischmeister, Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures, 208 manuscript pages (Accepted in 2010)
    Link
  • Gera Weiss, Sebastian Fischmeister, Madhukar Anand, and Rajeev Alur, Specification and Analysis of Network Resource Requirements of Control Systems, 395 manuscript pages (Accepted in 2009)
    Link
  • Giovani Gracioli and Sebastian Fischmeister, Tracing Interrupts in Embedded Software, 146 manuscript pages (Accepted in 2009)
    Link
  • Sebastian Fischmeister and Patrick Lam, On Time-Aware Instrumentation of Programs, 663 manuscript pages (Accepted in 2009)
    Link
  • Madhukar Anand, and Sebastian Fischmeister, and Insup Lee,, Resource Scopes: Toward Language Support for Compositional Determinism, 304 manuscript pages (Accepted in 2009)
    Link
  • Madhukar Anand, and Jesung Kim, and Sebastian Fischmeister, and Insup Lee,, Generating Sound and Resource-Aware Code from Hybrid System Models, 66 manuscript pages (Accepted in 2008)
    Link
  • Sebastian Fischmeister and Robert Trausmuth, A Programmable Arbitration Layer For Adaptive Real-Time Systems, 31 manuscript pages (Accepted in 2008)
  • Sebastian Fischmeister, and Insup Lee, and Robert Trausmuth,, Hardware Acceleration for Verifiable, Adaptive Real-Time Communication, 1432 manuscript pages (Accepted in 2008)
    Link
  • Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, and Insup Lee, Compositional Feasibility Analysis of Conditional Real-Time Task Models, 398 manuscript pages (Accepted in 2008)
    Link
  • Luis Almeida, Madhukar Anand, Sebastian Fischmeister, and Insup Lee, A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems, 74 manuscript pages (Accepted in 2007)
    Link
  • Madhukar Anand, Sebastian Fischmeister, and Insup Lee, Composition Techniques for Tree Communication Schedules, 246 manuscript pages (Accepted in 2007)
    Link
  • Madhukar Anand, Sebastian Fischmeister, and Insup Lee, An Analysis Framework for Network-Code Programs, 131 manuscript pages (Accepted in 2006)
    Link
  • Sebastian Fischmeister, Oleg Sokolsky, and Insup Lee, Network-Code Machine: Programmable Real-Time Communication Schedules, 324 manuscript pages (Accepted in 2006)
    Link
  • Madhukar Anand, Sebastian Fischmeister, Jesung Kim, and Insup Lee, Distributed Code Generation from Hybrid Systems Models for Time-delayed Multirate Systems, 213 manuscript pages (Accepted in 2005)
    Link
  • Sebastian Fischmeister and Klemens Winkler, Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime, 114 manuscript pages (Accepted in 2005)
    Link
  • Guido Menkhaus, Sebastian Fischmeister, Michael Holzmann, and Claudiu Farcas, Towards Efficient Use of Shared Communication Media in the Timed Model, 351 manuscript pages (Accepted in 2005)
    Link
  • Sebastian Fischmeister, Describing Multi-Dimensional Schedules for Media-Access Control in Time-Triggered Communication, 670 manuscript pages (Accepted in 2005)
    Link
  • Guido Menkhaus and Sebastian Fischmeister, Adaptation for Device-independent Authoring, (Accepted in 2004)
    Link
  • Sebastian Fischmeister and Guido Menkhaus, Task Sequencing for Optimizing the Computation Cycle in a Timed Computation Model, 11 manuscript pages (Accepted in 2004)
    Link
  • Guido Menkhaus, Michael Holzmann, and Sebastian Fischmeister, Time-triggered Communication for Distributed Control Applications in a Timed Computation Model, 12 manuscript pages (Accepted in 2004)
    Link
  • Guido Menkhaus and Sebastian Fischmeister, Evaluation of User Interface Transcoding Systems, 204 manuscript pages (Accepted in 2003)
    Link
  • Klaus-Michael Koch, Monja Loge, Wolfgang Pree, and Sebastian Fischmeister, Embedded Systems Knowledge Base, (Accepted in 2003)
    Link
  • Sebastian Fischmeister, Guido Menkhaus, and Alexander Stumpfl, Location-Detection Strategies in Pervasive Computing Environments, 280 manuscript pages (Accepted in 2003)
    Link
  • Sebastian Fischmeister, Mobile Software Agents for Location-based Systems, 239 manuscript pages (Accepted in 2002)
    Link
  • Sebastian Fischmeister, Gunther Hagleitner, and Wolfgang Pree, Hermes---A Lean M-Commerce Software Platform Utilizing Electronic Signatures, 4041 manuscript pages (Accepted in 2002)
    Link
  • Sebastian Fischmeister, Guido Menkhaus, and Wolfgang Pree, MUSA-Shadow: Concepts, Implementation, and Sample Applications; A Location-Based Service Supporting Multiple Devices, 79 manuscript pages (Accepted in 2002)
    Link
  • Sebastian Fischmeister, Giovani Vigna, and Richard Kemmerer, Evaluating the Security Of Three Java-Based Mobile Agent Systems, 41 manuscript pages (Accepted in 2001)
    Link
  • Sebastian Fischmeister, Gunther Hagleitner, Wolfgang Pree, and Gustav Pomberger, Symbolon---A Novel Concept for Secure E-Commerce, 617 manuscript pages (Accepted in 2001)
    Link
  • Sebastian Fischmeister and Wolfgang Lugmayr, The Supervisor--Worker Framework, (Accepted in 1999)
  • Sebastian Fischmeister and Insup Lee, Temporal Control in Real-Time Systems: Languages and Systems, Handbook of Real-Time and Embedded Systems, , 18 manuscript pages
    Link
  • Son, Sang H and Lee, Insup and YT. Leung, Joseph and Lee, Insup and Fischmeister, Sebastian, Temporal Control in Real-Time Systems, Handbook of Real-Time and Embedded Systems, , 1 manuscript pages
  • Sebastian Fischmeister, Web-Service basierte Software (Web-Services), Software Engineering, , 237 manuscript pages
  • Fischmeister, Sebastian and Hagleitner, Günther and Pree, Wolfgang, Symbolon-a Novel Concept For Secure E-Commerce, Towards the E-Society, , 616 manuscript pages
  • Fischmeister, Sebastian, Embedded systems knowledge base: Austria and surrounding regions,
  • Fischmeister, Sebastian, Location context in mobile and pervasive computing systems: technologies, architectures & implementation,
  • Fischmeister, Sebastian, Building Secure Mobile Agents: The Supervisor-Worker Framework,
  • Sebastian Fischmeister (Editors), Embedded Systems Knowledge Base -- Austria and Surrounding Regions, Austrian Computer Society 2004 , 200 pages
  • Sebastian Fischmeister and Wolfgang Pree, Research Directions in Embedded Systems, Austrian Computer Society, 47 manuscript pages
  • Barbara Birke, Klaus-Michael Koch, Sebastian Fischmeister, Helmut Hafner, Daniel Karlsson,, EmBase: Strength, Weakness, Opportunities, and Threats Analysis, Sebastian Fischmeister, Austrian Computer Society, 75 manuscript pages
  • Emilia Coste, Claudiu Farcas, Sebastian Fischmeister, and Wolfgang Pree, Research Directions in Embedded Systems, Austrian Computer Society, 93 manuscript pages
  • Sebastian Fischmeister, Location Context in Mobile and Pervasive Computing Systems: Technologies, Architectures & Implementation, University of Salzburg, 146 manuscript pages
  • Sebastian Fischmeister, Building Secure Mobile Agents: The Supervisor-Worker Framework, Technical University Vienna, 94 manuscript pages
  • Medhat, Ramy and Joshi, Yogi and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Parallelized runtime verification of first-order LTL specifications, January 2014,
  • Medhat, Ramy and Kumar, Deepak and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Runtime verification with controllable time predictability and memory utilization, January 2013,
  • Trausmuth, Robert and Fischmeister, Sebastian, A Soft Processor for Verifiable Real-Time Communication, January 2007,
  • Sebastian Fischmeister, A Comparison of Software Architectures for Location-Based Systems, January 2002,
  • Fischmeister, Sebastian, Cell-based Pervasive Networking Technologies for Location-Aware Services,
  • Newsham, Zack and Lindsay, William and Liang, Jia Hui and Czarnecki, Krzysztof and Fischmeister, Sebastian and Ganesh, Vijay, SATGraf: Visualizing community structure in boolean SAT instances, January
  • Fischmeister, Sebastian and Menkhaus, Guido, The dilemma of cell-based proactive location-aware services, January
  • Fischmeister, Sebastian, Mobile code paradigms, January
  • Fischmeister, Sebastian, Introduction to Programming Embedded Systems, January