BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Germany
1 × Russia
1 × Sweden
1 × United Kingdom
2 × Ireland
4 × USA
Collaborated with:
S.Navabpour B.Bonakdarpour G.Carvajal C.Moreno Y.Ba G.Gracioli J.H.Liang K.Czarnecki Z.Newsham V.Ganesh S.Chaudhary L.Tan M.A.Hasan J.J.Thomas D.Kumar L.Schmidt A.Narayan A.Azim R.Pellizzoni A.Ketata G.Audemard L.Simon A.B.d.Oliveira A.Diwan M.Hauswirth P.F.Sweeney W.Lindsay Y.Joshi C.W.W.Wu S.Berkovich R.Medhat
Talks about:
trace (4) time (4) base (4) softwar (3) program (3) sampl (3) sat (3) structur (2) perform (2) monitor (2)

Person: Sebastian Fischmeister

DBLP DBLP: Fischmeister:Sebastian

Facilitated 1 volumes:

LCTES 2015Ed

Contributed to:

MoDELS 20152015
SAT 20152015
DATE 20142014
LCTES 20142014
SAT 20142014
ASPLOS 20132013
DATE 20132013
ESEC/FSE 20132013
LCTES 20132013
FM 20112011
LCTES 20112011
LCTES 20102010
LCTES 20092009
ASE 20172017

Wrote 15 papers:

MoDELS-2015-KetataMFLC #migration #modelling #performance #predict
Performance prediction upon toolchain migration in model-based software (AK, CM, SF, JHL, KC), pp. 302–311.
SAT-2015-NewshamLGLFC #evolution #named #satisfiability #visualisation
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers (ZN, WL, VG, JHL, SF, KC), pp. 62–70.
DATE-2014-AzimCPF #communication #distributed #generative #multi #realtime
Generation of communication schedules for multi-mode distributed real-time applications (AA, GC, RP, SF), pp. 1–6.
LCTES-2014-ChaudharyFT #compilation #named #specification
em-SPADE: a compiler extension for checking rules extracted from processor specifications (SC, SF, LT), pp. 105–114.
SAT-2014-NewshamGFAS #community #performance #satisfiability
Impact of Community Structure on SAT Solver Performance (ZN, VG, SF, GA, LS), pp. 252–268.
ASPLOS-2013-OliveiraFDHS #why
Why you should care about quantile regression (ABdO, SF, AD, MH, PFS), pp. 207–218.
DATE-2013-CarvajalF #framework #platform #realtime
An open platform for mixed-criticality real-time ethernet (GC, SF), pp. 153–156.
ESEC-FSE-2013-NavabpourJWBMBF #c #named #runtime #source code #verification
RiTHM: a tool for enabling time-triggered runtime verification for C programs (SN, YJ, CWWW, SB, RM, BB, SF), pp. 603–606.
LCTES-2013-MorenoFH #analysis #debugging #embedded
Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis (CM, SF, MAH), pp. 77–88.
FM-2011-BonakdarpourNF #runtime #verification
Sampling-Based Runtime Verification (BB, SN, SF), pp. 88–102.
LCTES-2011-NavabpourBF #debugging #testing #using
Software debugging and testing using the abstract diagnosis theory (SN, BB, SF), pp. 111–120.
LCTES-2011-ThomasFK #execution #monitoring
Lowering overhead in sampling-based execution monitoring and tracing (JJT, SF, DK), pp. 101–110.
LCTES-2010-FischmeisterB #execution #monitoring
Sampling-based program execution monitoring (SF, YB), pp. 133–142.
LCTES-2009-GracioliF #embedded
Tracing interrupts in embedded software (GG, SF), pp. 137–146.
ASE-2017-SchmidtNF #mining #named #specification
TREM: a tool for mining timed regular specifications from system traces (LS, AN, SF), pp. 901–906.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.