dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Borzoo Bonakdarpour (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBorzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister: Sampling-Based Runtime Verification. FM 2011: 88-102
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister: Software debugging and testing using the abstract diagnosis theory. LCTES 2011: 111-120
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister: Optimal Instrumentation of Data-flow in Concurrent Data Structures. OPODIS 2011: 497-512
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBorzoo Bonakdarpour, Sebastian Fischmeister: Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. RV 2011: 19-33
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister: Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. RV 2011: 208-222

Selection of 5 from 33 records - Borzoo Bonakdarpour has 19 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page