Florian Kammüller

	2012
26		Ludovic Henrio, Florian Kammüller, Bianca Lutz: ASPfun : A typed functional active object calculus. Sci. Comput. Program. 77(7-8): 823-847 (2012)
	2011
25		Florian Kammüller: Mechanical Analysis of Finite Idempotent Relations. Fundam. Inform. 107(1): 43-65 (2011)
	2010
24		Florian Kammüller: Privacy Enforcement and Analysis for Functional Active Objects. DPM/SETOP 2010: 93-107
23		Steffen Helke, Florian Kammüller: Formalizing Statecharts using Hierarchical Automata. Archive of Formal Proofs 2010: (2010)
22		Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof: Locally Nameless Sigma Calculus. Archive of Formal Proofs 2010: (2010)
	2009
21		Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan: A Framework for Reasoning on Component Composition. FMCO 2009: 1-20
20		Ludovic Henrio, Florian Kammüller: Functional Active Objects: Typing and Formalisation. Electr. Notes Theor. Comput. Sci. 255: 83-101 (2009)
	2008
19		Ludovic Henrio, Florian Kammüller, Marcela Rivera: An Asynchronous Distributed Component Model and Its Semantics. FMCO 2008: 159-179
18		Florian Kammüller, Henry Sudhof: Composing Safely - A Type System for Aspects. Software Composition 2008: 231-247
17		Florian Kammüller: Formalizing non-interference for a simple bytecode language in Coq. Formal Asp. Comput. 20(3): 259-275 (2008)
16		Florian Kammüller, Sören Preibusch: An industrial application of symbolic model checking. Inform., Forsch. Entwickl. 22(2): 95-108 (2008)
	2007
15		Sören Preibusch, Florian Kammüller: Checking the TWIN Elevator System by Translating Object-Z to SMV. FMICS 2007: 38-55
14		Ludovic Henrio, Florian Kammüller: A Mechanized Model of the Theory of Objects. FMOODS 2007: 190-205
	2005
13		Steffen Helke, Florian Kammüller: Structure Preserving Data Abstractions for Statecharts. FORTE 2005: 305-319
	2004
12		Florian Kammüller, Jeff W. Sanders: Idempotent Relations in Isabelle/HOL. ICTAC 2004: 310-324
11		Florian Kammüller, Jeff W. Sanders: Heuristics for Refinement Relations. SEFM 2004: 292-299
	2003
10		Margot Bittner, Florian Kammüller: Translating Fusion/UML to Object-Z. MEMOCODE 2003: 49-50
	2002
9		Graeme Smith, Florian Kammüller, Thomas Santen: Encoding Object-Z in Isabelle/HOL. ZB 2002: 82-99
8		Florian Kammüller: Book Reviews. Softw. Test., Verif. Reliab. 12(3): 188-189 (2002)
	2001
7		Steffen Helke, Florian Kammüller: Representing Hierarchical Automata in Interactive Theorem Provers. TPHOLs 2001: 233-248
6		Jochen Burghardt, Florian Kammüller, Jeff W. Sanders: On the antisymmetry of Galois embeddings. Inf. Process. Lett. 79(2): 57-63 (2001)
	2000
5		Florian Kammüller: Modular Reasoning in Isabelle. CADE 2000: 99-114
	1999
4		Florian Kammüller, Markus Wenzel, Lawrence C. Paulson: Locales - A Sectioning Concept for Isabelle. TPHOLs 1999: 149-166
3		Florian Kammüller, Lawrence C. Paulson: A Formal Proof of Sylow's Theorem. J. Autom. Reasoning 23(3-4): 235-264 (1999)
	1998
2		Florian Kammüller: Modular Structures as Dependent Types in Isabelle. TYPES 1998: 121-132
	1995
1		Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer: Formalization of Algebraic Specification in the Development Language DEVA. KORSO Book 1995: 223-238

Coauthor Index

1	Martin Beyer	[1]
2	Margot Bittner	[10]
3	Jochen Burghardt	[6]
4	Steffen Helke	[7] [13] [23]
5	Ludovic Henrio	[14] [19] [20] [21] [22] [26]
6	Stefan Jähnichen	[1]
7	Muhammad Uzair Khan	[21]
8	Bianca Lutz	[22] [26]
9	Lawrence C. Paulson	[3] [4]
10	Sören Preibusch	[15] [16]
11	Marcela Rivera	[19]
12	Jeff W. Sanders (Jeffrey W. Sanders)	[6] [11] [12]
13	Thomas Santen	[1] [9]
14	Graeme Smith	[9]
15	Henry Sudhof	[18] [22]
16	Markus Wenzel (Makarius Wenzel)	[4]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page