Travelled to:1 × France
1 × Italy
1 × United Kingdom
Collaborated with:S.Jacobs V.Sofronie-Stokkermans ∅ C.Ihlemann R.Dong Z.Liu J.Srba N.Zhan J.Zhu
Talks about:composit (2) complex (2) specif (2) verif (2) time (2) architectur (1) parametr (1) unblock (1) topolog (1) softwar (1)
Person: Johannes Faber
DBLP: Faber:Johannes
Contributed to:
2012
20102007Wrote 4 papers:
- CBSE-2012-DongFLSZZ #component #composition
- Unblockable compositions of software components (RD, JF, ZL, JS, NZ, JZ), pp. 103–108.
- IFM-2010-Faber #architecture #composition #realtime #reasoning #verification
- Verification Architectures: Compositional Reasoning for Real-Time Systems (JF), pp. 136–151.
- IFM-2010-FaberIJS #automation #parametricity #specification #verification
- Automatic Verification of Parametric Specifications with Complex Topologies (JF, CI, SJ, VSS), pp. 152–167.
- IFM-2007-FaberJS #data type #parametricity #specification #verification
- Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters (JF, SJ, VSS), pp. 233–252.