| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan Smans, Bart Jacobs, Frank Piessens |
Implicit dynamic frames.  |
ACM Trans. Program. Lang. Syst.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Jorik Mandemaker |
Relating Operator Spaces via Adjunctions |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens |
Sound Formal Verification of Linux's USB BP Keyboard Driver. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann |
Fibrational Induction Meets Effects. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens |
The Belgian Electronic Identity Card: a Verification Case Study. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva |
Preface. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Probabilities, distribution monads, and convex categories. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo, Bart Jacobs |
Traces for coalgebraic components. |
Mathematical Structures in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Piessens, Bart Jacobs, Gary T. Leavens |
Special Section on Formal Techniques for Java-like Programs. |
Journal of Object Technology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Heunen, Bart Jacobs |
Quantum Logic in Dagger Kernel Categories. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans |
Annotation Inference for Separation Logic Based Verifiers. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Frank Piessens |
Expressive modular fine-grained concurrency specification. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Ronny Wichers Schreur |
Logical Formalisation and Analysis of the Mifare Classic Card in PVS. |
ITP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß |
The 1st Verified Software Competition: Experience Report. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Jan Smans, Frank Piessens |
Verification of Unloadable Modules. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio D. Garcia, Eric R. Verheul, Bart Jacobs |
Cell-Based Roadpricing. |
EuroPKI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens |
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Bases as Coalgebras. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Coalgebraic Walks, in Quantum and Turing Computation. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte |
Automatic verification of Java programs with dynamic frames. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
From Coalgebraic to Monoidal Traces. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo, Bart Jacobs, Milad Niqui |
Coalgebraic Representation Theory of Fractals. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Ana Sokolova |
Exemplaric Expressivity of Modal Logics. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bart Jacobs |
Involutive Categories and Monoids, with a GNS-correspondence |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chris Heunen, Bart Jacobs |
Quantum Logic in Dagger Kernel Categories. |
Order |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Smans, Bart Jacobs, Frank Piessens |
Heap-Dependent Expressions in Separation Logic. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, Pim Vullers |
Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. |
CARDIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio D. Garcia, Bart Jacobs |
Privacy-Friendly Energy-Metering via Homomorphic Encryption. |
STM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Convexity, Duality and Effects. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Jan Smans, Frank Piessens |
A Quick Tour of the VeriFast Program Verifier. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Ichiro Hasuo |
Semantics and logic for security protocols. |
Journal of Computer Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ben A. M. Schouten, Bart Jacobs |
Biometrics and their use in e-passports. |
Image Vision Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Chris Heunen, Ichiro Hasuo |
Categorical semantics for arrows. |
J. Funct. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Tews, Bart Jacobs |
Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. |
WISTP |
2009 |
DBLP DOI BibTeX RDF |
selective disclosure, blinded issuing, performance, Java Card |
| 1 | Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova |
Coalgebraic Components in a Many-Sorted Microcosm. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Ana Sokolova |
Traces, Executions and Schedulers, Coalgebraically. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur |
Crossing Borders: Security and Privacy Issues of the European e-Passport |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jaap-Henk Hoepman, Bart Jacobs |
Increased security through open source |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wiebren de Jonge, Bart Jacobs |
Privacy-Friendly Electronic Traffic Pricing via Commits. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Wolter Pieters |
Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. |
FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo, Bart Jacobs, Ana Sokolova |
The Microcosm Principle and Concurrency in Coalgebra. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs |
Dismantling MIFARE Classic. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur |
Code-carrying theories. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Compression, Code generation, Functional languages, Unification, PVS, Proof assistants |
| 1 | Bart Jacobs, Frank Piessens |
Inspector Methods for State Abstraction. |
Journal of Object Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo, Bart Jacobs, Ana Sokolova |
Generic Trace Semantics via Coinduction. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaap-Henk Hoepman, Bart Jacobs |
Increased security through open source. |
Commun. ACM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo, Bart Jacobs, Ana Sokolova |
Generic Trace Semantics via Coinduction |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu |
Categorical Views on Computations on Trees (Extended Abstract). |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Distributive laws for the coinductive solution of recursive equations. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo, Bart Jacobs, Ana Sokolova |
Generic Trace Theory. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Heunen, Bart Jacobs |
Arrows, like Monads, are Monoids. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur |
Crossing Borders: Security and Privacy Issues of the European e-Passport. |
IWSEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, John M. Rushby |
PVS. |
The Seventeen Provers of the World |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs |
Formal methods for smart cards: an experience report. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Wolter Pieters, Martijn Warnier |
Statically checking confidentiality via dynamic labels. |
WITS |
2005 |
DBLP DOI BibTeX RDF |
(Higher Order) theorem proving, formal verification, static analysis, abstract interpretation, confidentiality |
| 1 | Engelbert Hubbers, Bart Jacobs, Wolter Pieters |
RIES - Internet Voting in Action. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo, Bart Jacobs |
Context-Free Languages via Coalgebraic Trace Semantics. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Martijn Oostdijk, Martijn Warnier |
Source code verification of a secure payment applet. |
J. Log. Algebr. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Weakest pre-condition reasoning for Java programs with JML annotations. |
J. Log. Algebr. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Hughes, Bart Jacobs |
Simulations in coalgebra. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Relating Two Approaches to Coinductive Solution of Recursive Equations. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Trace Semantics for Coalgebras. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Counting Votes with Formal Methods. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Claude Marché, Nicole Rauch |
Formal Verification of a Commercial Smart Card Applet with Multiple Tools. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Erik Poll |
Coalgebras and monads in the semantics of Java. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Jesse Hughes |
Simulations in Coalgebra. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Java's Integral Types in PVS. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Erik Poll |
Java Program Verification at Nijmegen: Developments and Perspective. |
ISSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Jan J. M. M. Rutten |
Coalgebraic Methods in Computer Science - Foreword. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
The Temporal Logic of Coalgebras via Galois Algebras. |
Mathematical Structures in Computer Science |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Comprehension for Coalgebras. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Hughes, Bart Jacobs |
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Arend Rensink (eds.) |
Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg |
Specifying and Verifying a Decimal Representation in Java for Smart Cards. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Joseph Kiniry, Martijn Warnier |
Java Program Verification Challenges. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten |
Foreword : Coalgebraic Methods in Computer Science 1998. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Rothe, Hendrik Tews, Bart Jacobs |
The Coalgebraic Class Specification Language CCSL. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Erik Poll, Joachim van den Berg, Bart Jacobs |
Formal specification of the JavaCard API in JML: the APDU class. |
Computer Networks |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marieke Huisman, Bart Jacobs, Joachim van den Berg |
A case study in class library verification: Java's vector class. |
STTT |
2001 |
DBLP DOI BibTeX RDF |
Java, Specification, Program verification, Invariant |
| 1 | Joachim van den Berg, Bart Jacobs |
The LOOP Compiler for Java and JML. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Erik Poll |
A Logic for the Java Modeling Language JML. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
JavaCard Program Verification. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
A Formalisation of Java's Exception Mechanism. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Object-oriented hybrid systems of coalgebras plus monoid actions. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Towards a Duality Result in Coalgebraic Modal Logic. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter |
Formal Techniques for Java Programs. |
ECOOP Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Poll, Joachim van den Berg, Bart Jacobs |
Specification of the JavaCard API in JML. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Bart Jacobs, Erik Poll |
A Monad for Basic Java Semantics. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marieke Huisman, Bart Jacobs |
Java Program Verification via a Hoare Logic with Abrupt Termination. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim van den Berg, Bart Jacobs, Erik Poll |
Formal Specification and Verification of JavaCard's Application Identifier Class. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marieke Huisman, Bart Jacobs |
Inheritance in Higher Order Logic: Modeling and Reasoning. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Exercises in Coalgebraic Specification. |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Jan J. M. M. Rutten |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Hensel, Bart Jacobs |
Coalgebraic Theories of Sequences in PVS. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")