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: Fischmeister:Sebastian
Facilitated 1 volumes:
EdContributed to:
2015
2015
201420142014
20132013
20132013
2011201120102009
2017Wrote 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.