Author Publications

Article

Blom, Stefan and Lisser, Bert and Pol van de, Jaco and Weber, Michael (2009) A Database Approach to Distributed State-Space Generation. Journal of Logic and Computation, 21 (1). pp. 45-62. ISSN 0955-792X

Blom, Stefan and Lisser, Bert and Pol van de, Jaco and Weber, Michael (2008) A Database Approach to Distributed State Space Generation. Electronic Notes in Theoretical Computer Science, 198 (1). pp. 17-32. ISSN 1571-0661

Dietzel, Stefan and Schoch, Elmar and Kargl, Frank and Könings, Bastian and Weber, Michael (2010) Resilient Secure Aggregation for Vehicular Networks. IEEE Network, 24 (1). pp. 26-31. ISSN 0890-8044

Ma, Zhendong and Kargl, Frank and Weber, Michael (2010) Measuring long-term location privacy in vehicular communication systems. Computer Communications, 33 (12). pp. 1414-1427. ISSN 0140-3664

Pol van de, Jaco and Weber, Michael (2008) A Multi-Core Solver for Parity Games. Electronic Notes in Theoretical Computer Science, 220 (2). pp. 19-34. ISSN 1571-0661

Schaub, Florian and Hipp, Markus and Kargl, Frank and Weber, Michael (2012) On Credibility Improvements for Automotive Navigation Systems. Journal of personal and ubiquitous computing . ISSN 1617-4909

Book Section

Pol van de, Jaco and Weber, Michael (2010) Preface. In: Model Checking Software. Lecture Notes in Computer Science, 6349 . Springer Verlag, Berlin, Germany, v-vi. ISBN 9783642161636

Conference or Workshop Item

Ballarini, Paolo and Barnat, Jiri and Weber, Michael (2010) Preface. In: 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2010) and the 2nd International Workshop on High Performance Computational Systems Biology (HiBi 2010), 30 Sept. - 1 Oct. 2010, Enschede, the Netherlands.

Barnat, J. and Brim, L. and Šimeček, P. and Weber, M. (2008) Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. In: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, 29 Mar - 06 Apr 2008, Budapest, Hungary.

Blom, Stefan and Lisser, Bert and Pol van de, Jaco and Weber, Michael (2007) A Database Approach to Distributed State Space Generation. In: Sixth International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007, 8 July 2007, Berlin, Germany.

Blom, Stefan and Pol van de, Jaco and Weber, Michael (2010) LTSmin: Distributed and Symbolic Reachability. In: 22nd International Conference on Computer Aided Verification, CAV 2010, 15-19 July 2010, Edinburgh, UK.

Hipp, Markus and Schaub, Florian and Kargl, Frank and Weber, Michael (2010) Interaction Weaknesses of Personal Navigation Devices. In: Second International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2010, 11-12 Nov 2010, Pittsburgh, Pennsylvania.

Könings, Bastian and Schaub, Florian and Weber, Michael and Kargl, Frank (2010) Territorial Privacy in Smart Environments. In: Proceedings of the Intelligent Information Privacy Management Symposium, AAAI Spring Symposium, Stanford University, USA.

Laarman, Alfons and Langerak, Rom and Pol van de, Jaco and Weber, Michael and Wijs, Anton (2011) Multi-Core Nested Depth-First Search. In: 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, 11-14 October 2011, Tapei, Taiwan.

Laarman, Alfons and Pol van de, Jaco and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. In: 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, 20-23 October 2010, Lugano, Switzerland.

Laarman, Alfons and Pol van de, Jaco and Weber, Michael (2011) Multi-Core LTSmin: Marrying Modularity and Scalability. In: Third International Symposium on NASA Formal Methods, NFM 2011, 18-20 April 2011, Pasadena, CA, USA.

Laarman, Alfons and Pol van de, Jaco and Weber, Michael (2011) Parallel Recursive State Compression for Free. In: 18th International SPIN Workshop on Model Checking of Software, SPIN 2011, 14-15 July 2011, Snow Bird, Utah.

Schaub, Florian and Kargl, Frank and Ma, Zhendong and Weber, Michael (2010) V-Tokens for Conditional Pseudonymity in VANETs. In: IEEE Wireless Communications and Networking Conference (WCNC 2010), 18-21 April 2010, Sydney, Australia.

Schaub, Florian and Koenings, Bastian and Dietzel, Stefan and Weber, Michael and Kargl, Frank (2012) Privacy context model for dynamic privacy adaptation in ubiquitous computing. In: ACM Conference on Ubiquitous Computing, UbiComp 2012, CASEMANS 2012 Workshop, 8 September 2012, Pittsburgh, PA, USA.

Schaub, Florian and Könings, Bastian and Weber, Michael and Kargl, Frank (2012) Towards context adaptive privacy decisions in ubiquitous computing. In: IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2012, 19-23 March 2012, Lugano, Switserland.

Weber, M. (2007) An Embeddable Virtual Machine for State Space Generation. In: Proceedings of the 14th International SPIN Workshop, 1-3 Jul 2007, Berlin, Germany.

Report

Blom, Stefan and Pol van de, Jaco and Weber, Michael (2009) Bridging the Gap between Enumerative and Symbolic Model Checkers. [Report]

Laarman, Alfons and Pol van de, Jaco and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. [Report]