Fischmeister, Sebastian
47  results:
Search for persons X
?
4

What can we monitor over unreliable channels?:

Kauffman, Sean ; Havelund, Klaus ; Fischmeister, Sebastian
International Journal on Software Tools for Technology Transfer.  23 (2021)  4 - p. 579-600 , 2021
 
?
 
?
7

Energy-Efficient Multiple Producer-Consumer:

Medhat, Ramy ; Bonakdarpour, Borzoo ; Fischmeister, Sebastian
IEEE Transactions on Parallel and Distributed Systems.  30 (2019)  3 - p. 560-574 , 2019
 
?
8

Inferring event stream abstractions:

Kauffman, Sean ; Havelund, Klaus ; Joshi, Rajeev.
Formal Methods in System Design.  53 (2018)  1 - p. 54-82 , 2018
 
?
9

Mining Timed Regular Specifications from System Traces:

Narayan, Apurva ; Cutulenco, Greta ; Joshi, Yogi.
ACM Transactions on Embedded Computing Systems (TECS).  17 (2018)  2 - p. 1-21 , 2018
 
?
10

Mining Timed Regular Specifications from System Traces:

Narayan, Apurva ; Cutulenco, Greta ; Joshi, Yogi.
ACM Transactions on Embedded Computing Systems.  17 (2018)  2 - p. 1-21 , 2018
 
?
11

Managing the Performance/Error Tradeoff of Floating-point I..:

Medhat, Ramy ; Lam, Michael O. ; Rountree, Barry L...
ACM Transactions on Embedded Computing Systems.  16 (2017)  5s - p. 1-19 , 2017
 
?
12

Guest Editorial: Special Issue on LCTES 2015:

Fischmeister, Sebastian ; Xue, Jason
ACM Transactions on Embedded Computing Systems.  16 (2017)  2 - p. 1-1 , 2017
 
?
13

Managing the Performance/Error Tradeoff of Floating-point I..:

Medhat, Ramy ; Lam, Michael O. ; Rountree, Barry L...
ACM Transactions on Embedded Computing Systems (TECS).  16 (2017)  5s - p. 1-19 , 2017
 
?
 
?
15

Guest Editorial : Special Issue on LCTES 2015:

Fischmeister, Sebastian ; Xue, Jason
ACM Transactions on Embedded Computing Systems (TECS).  16 (2017)  2 - p. 1 ff. , 2017
 
1-15