|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Mondex: Engineering a Provable Secure Electronic Purse.  |
Int. J. Software and Informatics  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Kurt Stenzel, Nina Moebius, Wolfgang Reif |
Formal Verification of QVT Transformations for Code Generation. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Pitfalls in Formal Reasoning about Security Protocols. |
ARES |
2010 |
DBLP DOI BibTeX RDF |
formal verification, security protocols |
| 1 | Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach. |
ESSoS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif |
Model-Driven Code Generation for Secure Smart Card Applications. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif |
SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Stenzel, Holger Grandy, Wolfgang Reif |
Verification of Java Programs with Generics. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif |
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Grandy, Kurt Stenzel, Wolfgang Reif |
A Refinement Method for Java Programs. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif |
ASN1-light: A Verified Message Encoding for Security Protocols. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel |
Developing Provable Secure M-Commerce Applications. |
ETRICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Stenzel |
Verification of Java card programs. |
|
2005 |
RDF |
|
| 1 | Holger Grandy, Kurt Stenzel, Wolfgang Reif |
Object Oriented Verification Kernels for Secure Java Applications. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Haneberg, Wolfgang Reif, Kurt Stenzel |
A Construction Kit for Modeling the Security of M-commerce Applications. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Stenzel |
A Formally Verified Calculus for Full Java Card. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Haneberg, Kurt Stenzel, Wolfgang Reif |
Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. |
Workshop Mobile Commerce |
2004 |
DBLP BibTeX RDF |
|
| 1 | Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel |
Design for Trust: Security im M-Commerce. |
GI Jahrestagung |
2003 |
DBLP BibTeX RDF |
|
| 1 | Dominik Haneberg, Wolfgang Reif, Kurt Stenzel |
A Method for Secure Smartcard Applications. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums |
Formal System Development with KIV. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
VSE: Controlling the Complexity in Formal Software Developments. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
KIV 3.0 for Provably Correct Systems. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Proving System Correctness with KIV 3.0. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Proving System Correctness with KIV. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Three Selected Case Studies in Verification. |
KORSO Book |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Tactics in KIV. |
Elektronische Informationsverarbeitung und Kybernetik |
1994 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Formal Specification and Verification Using KIV. |
FTRTFT |
1994 |
DBLP BibTeX RDF |
|
| 1 | Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers |
The KIV System: A Tool for Formal Program Development. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Reif, Kurt Stenzel |
Reuse of Proofs in Software Verification. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")