Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007
Number of items: 24.

2013

Laarman, Alfons and Pater, Elwin and Pol, Jaco van de and Weber, Michael (2013) Guard-based partial-order reduction. In: 20th International SPIN Symposium on Model Checking of Software, SPIN 2013, 8-9 July 2013, Stony Brook, NY, USA.

2012

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, 17 (5). pp. 803-813. ISSN 1617-4909

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 (pp. pp. 752-757).

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 (pp. pp. 407-410).

2011

Laarman, Alfons and Langerak, Rom and Pol, Jaco van de 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, Jaco van de 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 (pp. pp. 506-511).

Laarman, Alfons and Pol, Jaco van de 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.

2010

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 (pp. vii-viii).

Blom, Stefan and Pol, Jaco van de 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 (pp. pp. 354-359).

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

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 (pp. pp. 129-136).

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 (pp. pp. 113-118).

Laarman, Alfons and Pol, Jaco van de 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 (pp. pp. 247-255).

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

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

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 (pp. pp. 1-6).

2009

Blom, Stefan and Lisser, Bert and Pol, Jaco van de 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 Pol, Jaco van de and Weber, Michael (2009) Bridging the Gap between Enumerative and Symbolic Model Checkers. [Report]

2008

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 (pp. pp. 48-62).

Blom, Stefan and Lisser, Bert and Pol, Jaco van de 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

Pol, Jaco van de 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

2007

Blom, Stefan and Lisser, Bert and Pol, Jaco van de 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 (pp. pp. 17-32).

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 (pp. pp. 168-186).

This list was generated on Tue Jul 29 05:21:46 2014 CEST.