|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ludovic Henrio, Florian Kammüller, Bianca Lutz |
ASPfun : A typed functional active object calculus.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kammüller |
Mechanical Analysis of Finite Idempotent Relations. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof |
Locally Nameless Sigma Calculus. |
Archive of Formal Proofs |
2010 |
DBLP BibTeX RDF |
|
| 1 | Steffen Helke, Florian Kammüller |
Formalizing Statecharts using Hierarchical Automata. |
Archive of Formal Proofs |
2010 |
DBLP BibTeX RDF |
|
| 1 | Florian Kammüller |
Privacy Enforcement and Analysis for Functional Active Objects. |
DPM/SETOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Henrio, Florian Kammüller |
Functional Active Objects: Typing and Formalisation. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan |
A Framework for Reasoning on Component Composition. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kammüller |
Formalizing non-interference for a simple bytecode language in Coq. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Formal methods for security, Programming language analysis, Interactive theorem proving, Modular specification |
| 1 | Florian Kammüller, Sören Preibusch |
An industrial application of symbolic model checking. |
Inform., Forsch. Entwickl. |
2008 |
DBLP DOI BibTeX RDF |
Schlagworte Symbolisches Model Checking, Mechanische Verifikation, Industrielle Fallstudie, Zustandsbasierte Systeme, Sicherheit, SMV |
| 1 | Florian Kammüller, Henry Sudhof |
Composing Safely - A Type System for Aspects. |
Software Composition |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Henrio, Florian Kammüller, Marcela Rivera |
An Asynchronous Distributed Component Model and Its Semantics. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Henrio, Florian Kammüller |
A Mechanized Model of the Theory of Objects. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sören Preibusch, Florian Kammüller |
Checking the TWIN Elevator System by Translating Object-Z to SMV. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Helke, Florian Kammüller |
Structure Preserving Data Abstractions for Statecharts. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kammüller, Jeff W. Sanders |
Heuristics for Refinement Relations. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kammüller, Jeff W. Sanders |
Idempotent Relations in Isabelle/HOL. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Margot Bittner, Florian Kammüller |
Translating Fusion/UML to Object-Z. (PDF / PS) |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kammüller |
Book Reviews. |
Softw. Test., Verif. Reliab. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Florian Kammüller, Thomas Santen |
Encoding Object-Z in Isabelle/HOL. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
reference semantics, Object-Z, higher-order logic, Isabelle |
| 1 | Jochen Burghardt, Florian Kammüller, Jeff W. Sanders |
On the antisymmetry of Galois embeddings. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Helke, Florian Kammüller |
Representing Hierarchical Automata in Interactive Theorem Provers. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kammüller |
Modular Reasoning in Isabelle. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kammüller, Lawrence C. Paulson |
A Formal Proof of Sylow's Theorem. |
J. Autom. Reasoning |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kammüller, Markus Wenzel, Lawrence C. Paulson |
Locales - A Sectioning Concept for Isabelle. |
TPHOLs |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kammüller |
Modular Structures as Dependent Types in Isabelle. |
TYPES |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer |
Formalization of Algebraic Specification in the Development Language DEVA. |
KORSO Book |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")