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

Franz Josef Rammig (Selection)

Franz-Josef Rammig, Franz J. Rammig

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


71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuhong Zhao, Franz J. Rammig: Online Model Checking for Dependable Real-Time Systems. ISORC 2012: 154-161
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSufyan Samara, Yuhong Zhao, Franz J. Rammig: Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. DIPES/BICC 2010: 102-113
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz J. Rammig, Yuhong Zhao, Sufyan Samara: On-Line Model Checking as Operating System Service. SEUS 2009: 131-143
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuhong Zhao, Franz-Josef Rammig: Model-based Runtime Verification Framework. Electr. Notes Theor. Comput. Sci. 253(1): 179-193 (2009)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig: Model-based Runtime Verification Framework for Self-optimizing Systems. Electr. Notes Theor. Comput. Sci. 144(4): 125-145 (2006)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig: Comprehensive Verification Framework for Dependability of Self-optimizing Systems. ATVA 2005: 39-53
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuhong Zhao, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos: Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS. PPAM 2005: 1034-1041

Selection of 7 from 71 records - Franz Josef Rammig has 95 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