Michael Weber

University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science

other persons with the same name:

• Michael Weber
• Michael Weber 0001 - University of Ulm
• Michael Weber 0003 - Humboldt-Universität zu Berlin
• Michael Weber 0004 - Department of Radiology, Medical University of Vienna, Austria
• Michael Weber 0005 - RWTH Aachen, Shock Wave Laboratory
• Michael Weber 0006 - IN2 search interfaces development Ltd., Bremen, Germany

	2013
c10		Calin Cascaval, Seth Fowler, Pablo Montesinos-Ortego, Wayne Piekarski, Mehrdad Reshadi, Behnam Robatmili, Michael Weber, Vrajesh Bhavsar: ZOOMM: a parallel web browser engine for multicore mobile devices. PPOPP 2013: 271-280
	2011
j6		Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber: A Database Approach to Distributed State-Space Generation. J. Log. Comput. 21(1): 45-62 (2011)
c9		Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs: Multi-core Nested Depth-First Search. ATVA 2011: 321-335
c8		Alfons Laarman, Jaco van de Pol, Michael Weber: Multi-Core LTSmin: Marrying Modularity and Scalability. NASA Formal Methods 2011: 506-511
c7		Alfons Laarman, Jaco van de Pol, Michael Weber: Parallel Recursive State Compression for Free. SPIN 2011: 38-56
i3		Wouter Kuijper, Michael Weber: Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing. CoRR abs/1102.3420 (2011)
i2		Alfons Laarman, Jaco van de Pol, Michael Weber: Parallel Recursive State Compression for Free. CoRR abs/1104.3119 (2011)
	2010
j5		Michael Weber: An embeddable virtual machine for state space generation. STTT 12(2): 97-111 (2010)
c6		Stefan Blom, Jaco van de Pol, Michael Weber: LTSmin: Distributed and Symbolic Reachability. CAV 2010: 354-359
c5		Alfons Laarman, Jaco van de Pol, Michael Weber: Boosting multi-core reachability performance with shared hash tables. FMCAD 2010: 247-255
e1		Jaco van de Pol, Michael Weber (Eds.): Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science 6349, Springer 2010, isbn 978-3-642-16163-6
i1		Alfons Laarman, Jaco van de Pol, Michael Weber: Boosting Multi-Core Reachability Performance with Shared Hash Tables. CoRR abs/1004.2772 (2010)
	2008
j4		Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber: A Database Approach to Distributed State Space Generation. Electr. Notes Theor. Comput. Sci. 198(1): 17-32 (2008)
j3		Jaco van de Pol, Michael Weber: A Multi-Core Solver for Parity Games. Electr. Notes Theor. Comput. Sci. 220(2): 19-34 (2008)
	2007
c4		Michael Weber: An Embeddable Virtual Machine for State Space Generation. SPIN 2007: 168-186
	2006
b1		Michael Weber: Parallel algorithms for verification of large systems. RWTH Aachen University 2006, pp. 1-133
c3		Moritz Hammer, Michael Weber: "To Store or Not To Store" Reloaded: Reclaiming Memory on Demand. FMICS/PDMC 2006: 51-66
	2005
j2		Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber: Functional programming languages for verification tools: a comparison of Standard ML and Haskell. STTT 7(2): 184-194 (2005)
	2003
j1		Martin Leucker, Rafal Somla, Michael Weber: Parallel Model Checking for LTL, CTL*, and Lµ2. Electr. Notes Theor. Comput. Sci. 89(1): 4-16 (2003)
	2002
c2		Benedikt Bollig, Martin Leucker, Michael Weber: Local Parallel Model Checking for the Alternation-Free µ-Calculus. SPIN 2002: 128-147
	2001
c1		Benedikt Bollig, Martin Leucker, Michael Weber: Parallel Model Checking for the Alternation Free µ-Calculus. TACAS 2001: 543-558

Coauthor Index

Colors in the list of coauthors

Last update Wed May 22 06:14:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page