×

zbMATH — the first resource for mathematics

Fischmeister, Sebastian

Compute Distance To:
Author ID: fischmeister.sebastian Recent zbMATH articles by "Fischmeister, Sebastian"
Published as: Fischmeister, Sebastian
Documents Indexed: 14 Publications since 2001

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 13 times in 14 Documents Cited by Year
Impact of community structure on SAT solver performance. Zbl 1423.68465
Newsham, Zack; Ganesh, Vijay; Fischmeister, Sebastian; Audemard, Gilles; Simon, Laurent
7
2014
Runtime verification with minimal intrusion through parallelism. Zbl 1323.68363
Berkovich, Shay; Bonakdarpour, Borzoo; Fischmeister, Sebastian
3
2015
State-based scheduling with tree schedules: analysis and evaluation. Zbl 1243.68095
Anand, Madhukar; Fischmeister, Sebastian; Lee, Insup; Phan, Linh T. X.
1
2012
Specification and analysis of network resource requirements of control systems. Zbl 1237.93116
Weiss, Gera; Fischmeister, Sebastian; Anand, Madhukar; Alur, Rajeev
1
2009
Time-triggered runtime verification. Zbl 1291.68248
Bonakdarpour, Borzoo; Navabpour, Samaneh; Fischmeister, Sebastian
1
2013
Runtime verification with minimal intrusion through parallelism. Zbl 1323.68363
Berkovich, Shay; Bonakdarpour, Borzoo; Fischmeister, Sebastian
3
2015
Impact of community structure on SAT solver performance. Zbl 1423.68465
Newsham, Zack; Ganesh, Vijay; Fischmeister, Sebastian; Audemard, Gilles; Simon, Laurent
7
2014
Time-triggered runtime verification. Zbl 1291.68248
Bonakdarpour, Borzoo; Navabpour, Samaneh; Fischmeister, Sebastian
1
2013
State-based scheduling with tree schedules: analysis and evaluation. Zbl 1243.68095
Anand, Madhukar; Fischmeister, Sebastian; Lee, Insup; Phan, Linh T. X.
1
2012
Specification and analysis of network resource requirements of control systems. Zbl 1237.93116
Weiss, Gera; Fischmeister, Sebastian; Anand, Madhukar; Alur, Rajeev
1
2009

Citations by Year