Bart Jacobs - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Bart Jacobs' as author, editor, or advisor:

A Monad for Basic Java SemanticsBart Jacobs, Erik Poll. amast 2000: 150-164 [doi]
Initial Algebras of Terms with Binding and Algebraic StructureBart Jacobs, Alexandra Silva. BIRTHDAY 2014: 211-234 [doi]
Cell-Based RoadpricingFlavio D. Garcia, Eric R. Verheul, Bart Jacobs. europki 2012: 106-122 [doi]
Automata Learning: A Categorical PerspectiveBart Jacobs, Alexandra Silva. BIRTHDAY 2014: 384-406 [doi]
Secure Compilation to Modern ProcessorsPieter Agten, Raoul Strackx, Bart Jacobs, Frank Piessens. csfw 2012: 171-185 [doi]
An Algebraic View of Structural InductionClaudio Hermida, Bart Jacobs. csl 1995: 412-426
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 NetherlandsBart Jacobs, Arend Rensink, editors, Volume 209 of IFIP Conference Proceedings, Kluwer, 2002.
Subobject-Oriented ProgrammingMarko van Dooren, Dave Clarke, Bart Jacobs. FMCO 2013: 38-82 [doi]
Parameters and Parametrization in Specification, Using Distributive CategoriesBart Jacobs. FUIN, 24(3):209-250, 1995.
Privacy-Friendly Electronic Traffic Pricing via CommitsWiebren de Jonge, Bart Jacobs. ifip1-7 2009: 143-161 [doi]
Inheritance and Cofree ConstructionsBart Jacobs. ECOOP 1996: 210-231 [doi]
Measurable Spaces and Their Effect LogicBart Jacobs. lics 2013: 83-92 [doi]
On Block Structures in Quantum ComputationBart Jacobs. ENTCS, 298:233-255, 2013. [doi]
A Type-Theoretic Memory Model for Verification of Sequential Java ProgramsJoachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll. WADT 2000: 1-21
Threat Modelling for Web Services Based Web ApplicationsLieven Desmet, Bart Jacobs, Frank Piessens, Wouter Joosen. cms 2005: 131-144 [doi]
Arrows, like Monads, are MonoidsChris Heunen, Bart Jacobs. ENTCS, 158:219-236, 2006. [doi]
Formal methods for smart cards: an experience reportCees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs. SCP, 55(1-3):53-80, 2005. [doi]
Java s Integral Types in PVSBart Jacobs. fmoods 2003: 1-15 [doi]
Translating Dependent Type Theory into Higher Order LogicBart Jacobs, Thomas F. Melham. tlca 1993: 209-229
Towards Practical Attribute-Based Identity Management: The IRMA TrajectoryGergely Alpár, Bart Jacobs. idman 2013: 1-3 [doi]
Inheritance in Higher Order Logic: Modeling and ReasoningMarieke Huisman, Bart Jacobs. tphol 2000: 301-319
Traces, Executions and Schedulers, CoalgebraicallyBart Jacobs, Ana Sokolova. calco 2009: 206-220 [doi]
A Recipe for State-and-Effect TrianglesBart Jacobs. calco 2015: 116-129 [doi]
PVSBart Jacobs, John M. Rushby. tphol 2006: 24-27 [doi]
Generic Trace TheoryIchiro Hasuo, Bart Jacobs, Ana Sokolova. ENTCS, 164(1):47-65, 2006. [doi]
Drawing with DistanceBart Jacobs. lmcs, 21(2), 2025. [doi]
Implicit dynamic framesJan Smans, Bart Jacobs, Frank Piessens. TOPLAS, 34(1):2, 2012. [doi]
RIES - Internet Voting in ActionEngelbert Hubbers, Bart Jacobs, Wolter Pieters. compsac 2005: 417-424 [doi]
Exemplaric Expressivity of Modal LogicsBart Jacobs, Ana Sokolova. logcom, 20(5):1041-1068, 2010. [doi]
Two of the Grand Changes through Computer and Network TechnologyBart Jacobs. primelife 2014: 1-11 [doi]
Coalgebraic Walks, in Quantum and Turing ComputationBart Jacobs. fossacs 2011: 12-26 [doi]
Dijkstra Monads in Monadic ComputationBart Jacobs. cmcs 2014: 135-150 [doi]
Trace Semantics for CoalgebrasBart Jacobs. ENTCS, 106:167-184, 2004. [doi]
On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-VersaBart Jacobs. ctcs 1989: 198-212
Coalgebras and ApproximationBart Jacobs. lfcs 1994: 173-183
A Bialgebraic Review of Deterministic Automata, Regular Expressions and LanguagesBart Jacobs. BIRTHDAY 2006: 375-404 [doi]
Distributive laws for the coinductive solution of recursive equationsBart Jacobs. iandc, 204(4):561-587, 2006. [doi]
Semantics of Weakening and ContractionBart Jacobs. APAL, 69(1):73-106, 1994.
JavaCard Program VerificationBart Jacobs. tphol 2001: 1-3 [doi]
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic StudyBart Jacobs. ita, 35(1):31-59, 2001. [doi]
Automatic verification of Java programs with dynamic framesJan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte. fac, 22(3-4):423-457, 2010. [doi]
Coalgebraic Components in a Many-Sorted MicrocosmIchiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova. calco 2009: 64-80 [doi]
Coalgebras and monads in the semantics of JavaBart Jacobs, Erik Poll. TCS, 291(3):329-349, 2003.
Logical Formalisation and Analysis of the Mifare Classic Card in PVSBart Jacobs, Ronny Wichers Schreur. itp 2011: 3-17 [doi]
Sound Symbolic Linking in the Presence of PreprocessingGijs Vanspauwen, Bart Jacobs. SEFM 2013: 122-136 [doi]
Comprehension Categories and the Semantics of Type DependencyBart Jacobs. TCS, 107(2):169-207, 1993.
Electronic Voting in the Netherlands: From Early Adoption to Early AbolishmentBart Jacobs, Wolter Pieters. fosad 2009: 121-144 [doi]
Towards a Duality Result in Coalgebraic Modal LogicBart Jacobs. ENTCS, 33:160-195, 2000. [doi]
Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java CardHendrik Tews, Bart Jacobs. WISTP 2009: 95-111 [doi]
Specifying and Verifying a Decimal Representation in Java for Smart CardsCees-Bart Breunesse, Bart Jacobs, Joachim van den Berg. amast 2002: 304-318 [doi]
Cell-based privacy-friendly roadpricingFlavio D. Garcia, Eric R. Verheul, Bart Jacobs. cma, 65(5):774-785, 2013. [doi]
The Microcosm Principle and Concurrency in CoalgebraIchiro Hasuo, Bart Jacobs, Ana Sokolova. fossacs 2008: 246-260 [doi]
Verification of Unloadable ModulesBart Jacobs, Jan Smans, Frank Piessens. FM 2011: 402-416 [doi]
Coalgebraic Reasoning about Classes in Object-Oriented LanguagesBart Jacobs. ENTCS, 11:231-242, 1998. [doi]
States of Convex SetsBart Jacobs, Bas Westerbaan, Bram Westerbaan. fossacs 2015: 87-101 [doi]
Categorical Views on Computations on Trees (Extended Abstract)Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu. icalp 2007: 619-630 [doi]
Crossing Borders: Security and Privacy Issues of the European e-PassportJaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur. IWSEC 2006: 152-167 [doi]
Relating Models of Impredicative Type TheoriesBart Jacobs, Eugenio Moggi, Thomas Streicher. ctcs 1991: 197-218
Duality Beyond Sober Spaces: Topological Spaces and Observation FramesMarcello M. Bonsangue, Bart Jacobs, Joost N. Kok. TCS, 151(1):79-124, 1995. [doi]
Design Principles for Actual SecurityMerel Brandon, Hanna Kathrin Schraffenberger, Wouter Sluis-Thiescheffer, Thea van der Geest, Daniel Ostkamp, Bart Jacobs. nordichi 2022: [doi]
The LOOP Compiler for Java and JMLJoachim van den Berg, Bart Jacobs. TACAS 2001: 299-312 [doi]
PrefaceBart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten. ENTCS, 11:259, 1998. [doi]
Dismantling MIFARE ClassicFlavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs. esorics 2008: 97-114 [doi]
Reasonong about Classess in Object-Oriented Languages: Logical Models and ToolsUlrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews. ESOP 1998: 105-121 [doi]
The 1st Verified Software Competition: Experience ReportVladimir 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ß. FM 2011: 154-168 [doi]
Probabilities, distribution monads, and convex categoriesBart Jacobs. TCS, 412(28):3323-3336, 2011. [doi]
Mongruences and Cofree CoalgebrasBart Jacobs. amast 1995: 245-260
AHA: Amortized Heap Space Usage AnalysisMarko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers. sfp 2007: 36-53
A Formalisation of Java s Exception MechanismBart Jacobs. ESOP 2001: 284-301 [doi]
Coalgebraic Theories of Sequences in PVSUlrich Hensel, Bart Jacobs. logcom, 9(4):463-500, 1999. [doi]
Subtypes and bounded quantification from a fibred perspectiveBart Jacobs. ENTCS, 1:273-289, 1995. [doi]
Java Program Verification via a Hoare Logic with Abrupt TerminationMarieke Huisman, Bart Jacobs. FASE 2000: 284-303 [doi]
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFastBart Jacobs. ECOOP 2016: 7 [doi]
Semantics of lambda-I and of other substructure lambda calculiBart Jacobs. tlca 1993: 195-208
Simulations in coalgebraJesse Hughes, Bart Jacobs. TCS, 327(1-2):71-108, 2004. [doi]
Exercises in Coalgebraic SpecificationBart Jacobs. acmmpc 2002: 237-280 [doi]
Counting Votes with Formal MethodsBart Jacobs. amast 2004: 21-22 [doi]
Sound Formal Verification of Linux's USB BP Keyboard DriverWillem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens. NFM 2012: 210-215 [doi]
Foreword : Coalgebraic Methods in Computer Science 1998Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten. TCS, 260(1-2):1, 2001. [doi]
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand DualityRobert Furber, Bart Jacobs. calco 2013: 141-157 [doi]
Quantum Logic in Dagger Kernel CategoriesChris Heunen, Bart Jacobs. order, 27(2):177-212, 2010. [doi]
On CubismBart Jacobs. JFP, 6(3):379-391, 1996.
Relating Two Approaches to Coinductive Solution of Recursive EquationsBart Jacobs. ENTCS, 106:145-166, 2004. [doi]
Architecture Is Politics: Security and Privacy Issues in Transport and BeyondBart Jacobs. In Serge Gutwirth, Yves Poullet, Paul De Hert, editors, Data Protection in a Profiled World. pages 289-299, Springer, 2010. [doi]
Simulations in CoalgebraBart Jacobs, Jesse Hughes. ENTCS, 82(1):128-149, 2003. [doi]
Coalgebraic Representation Theory of FractalsIchiro Hasuo, Bart Jacobs, Milad Niqui. ENTCS, 265:351-368, 2010. [doi]
Source code verification of a secure payment appletBart Jacobs, Martijn Oostdijk, Martijn Warnier. jlp, 58(1-2):107-120, 2004. [doi]
Trace Semantics via DeterminizationBart Jacobs, Alexandra Silva, Ana Sokolova. cmcs 2012: 109-129 [doi]
Special Section on Formal Techniques for Java-like ProgramsFrank Piessens, Bart Jacobs, Gary T. Leavens. jot, 10, 2011. [doi]
Formal Verification of a Commercial Smart Card Applet with Multiple ToolsBart Jacobs, Claude Marché, Nicole Rauch. amast 2004: 241-257 [doi]
PrefaceBart Jacobs, Jan J. M. M. Rutten. ENTCS, 19:1, 1999. [doi]
Coinductive Predicates and Final Sequences in a FibrationIchiro Hasuo, Kenta Cho, Toshiki Kataoka, Bart Jacobs. ENTCS, 298:197-214, 2013. [doi]
A Logic for the Java Modeling Language JMLBart Jacobs, Erik Poll. FASE 2001: 284-299 [doi]
Objects and Classes, Co-AlgebraicallyBart Jacobs. Dagstuhl 1995: 83-103
Privacy-Friendly Energy-Metering via Homomorphic EncryptionFlavio D. Garcia, Bart Jacobs. STM 2011: 226-238 [doi]
Dagger Categories of Tame RelationsBart Jacobs. lu, 7(3):341-370, 2013. [doi]
Traces for coalgebraic componentsIchiro Hasuo, Bart Jacobs. mscs, 21(2):267-320, 2011. [doi]
A Case Study in Class Library Verification: Java s Vector ClassMarieke Huisman, Bart Jacobs, Joachim van den Berg. ECOOPW 1999: 109-110
Bases as CoalgebrasBart Jacobs. calco 2011: 237-252 [doi]
Invariants, Bisimulations and the Correctness of Coalgebraic RefinementsBart Jacobs. amast 1997: 276-291
A case study in class library verification: Java s vector classMarieke Huisman, Bart Jacobs, Joachim van den Berg. STTT, 3(3):332-352, 2001. [doi]
Object-oriented hybrid systems of coalgebras plus monoid actionsBart Jacobs. TCS, 239(1):41-95, 2000. [doi]
Categorical semantics for arrowsBart Jacobs, Chris Heunen, Ichiro Hasuo. JFP, 19(3-4):403-438, 2009. [doi]
Trace semantics via determinizationBart Jacobs, Alexandra Silva 0001, Ana Sokolova. jcss, 81(5):859-879, 2015. [doi]
Statically checking confidentiality via dynamic labelsBart Jacobs, Wolter Pieters, Martijn Warnier. POPL 2005: 50-56 [doi]
Fibrational Induction Meets EffectsRobert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann. fossacs 2012: 42-57 [doi]
Quantum Logic in Dagger Kernel CategoriesChris Heunen, Bart Jacobs. ENTCS, 270(2):79-103, 2011. [doi]
Developing Efficient Blinded Attribute Certificates on Smart Cards via PairingsLejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, Pim Vullers. cardis 2010: 209-222 [doi]
Factorization systems and fibrations: Toward a fibred Birkhoff variety theoremJesse Hughes, Bart Jacobs. ENTCS, 69:156-182, 2002. [doi]
From Coalgebraic to Monoidal TracesBart Jacobs. ENTCS, 264(2):125-140, 2010. [doi]
Biometrics and their use in e-passportsBen A. M. Schouten, Bart Jacobs. ivc, 27(3):305-312, 2009. [doi]
Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda CalculiClaudio Hermida, Bart Jacobs. mscs, 5(4):501-531, 1995.
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic SystemsBart Jacobs. ENTCS, 203(5):131-152, 2008. [doi]
PrefaceBart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva. ENTCS, 264(2):1-2, 2010. [doi]
Code-carrying theoriesBart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur. fac, 19(2):191-203, 2007. [doi]
Specification of the JavaCard API in JMLErik Poll, Joachim van den Berg, Bart Jacobs. cardis 2000: 135-154
Generic Trace Semantics via CoinductionIchiro Hasuo, Bart Jacobs, Ana Sokolova. lmcs, 3(4), 2007. [doi]
VeriFast for Java: A TutorialJan Smans, Bart Jacobs, Frank Piessens. In Dave Clarke, James Noble, Tobias Wrigstad, editors, Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Volume 7850 of Lecture Notes in Computer Science, pages 407-442, Springer, 2013. [doi]
The Temporal Logic of Coalgebras via Galois AlgebrasBart Jacobs. mscs, 12(6):875-903, 2002.
Formal specification of the JavaCard API in JML: the APDU classErik Poll, Joachim van den Berg, Bart Jacobs. cn, 36(4):407-421, 2001. [doi]
Coalgebraic Methods in Computer Science - ForewordBart Jacobs, Jan J. M. M. Rutten. TCS, 280(1-2):1, 2002. [doi]
Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness ProofsBart Jacobs. tapsoft 1997: 787-802
The Coalgebraic Class Specification Language CCSLJan Rothe, Hendrik Tews, Bart Jacobs. jucs, 7(2):175-193, 2001. [doi]
Java Program Verification at Nijmegen: Developments and PerspectiveBart Jacobs, Erik Poll. isss2 2004: 134-153 [doi]
Weakest pre-condition reasoning for Java programs with JML annotationsBart Jacobs. jlp, 58(1-2):61-88, 2004. [doi]
The Belgian Electronic Identity Card: a Verification Case StudyPieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens. eceasst, 46, 2011. [doi]
Heap-Dependent Expressions in Separation LogicJan Smans, Bart Jacobs, Frank Piessens. forte 2010: 170-185 [doi]
Semantics and logic for security protocolsBart Jacobs, Ichiro Hasuo. jcs, 17(6):909-944, 2009. [doi]
Context-Free Languages via Coalgebraic Trace SemanticsIchiro Hasuo, Bart Jacobs. calco 2005: 213-231 [doi]
Modular Verification of Termination and Execution Time Bounds Using Separation LogicJafar Hamin, Bart Jacobs. iri 2016: 110-117 [doi]
Proof Principles for Datatypes with Iterated RecursionUlrich Hensel, Bart Jacobs. ctcs 1997: 220-241
PrefaceBart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva. TCS, 412(38):4967-4968, 2011. [doi]
Inspector Methods for State AbstractionBart Jacobs, Frank Piessens. jot, 6(5):55-75, 2007. [doi]
Expressive modular fine-grained concurrency specificationBart Jacobs, Frank Piessens. POPL 2011: 271-282 [doi]
Convexity, Duality and EffectsBart Jacobs. ifipTCS 2010: 1-19 [doi]
JML (poster session): notations and tools supporting detailed design in JavaGary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs. OOPSLA 2000: 105-106 [doi]
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and JavaBart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens. NFM 2011: 41-55 [doi]
Modular Termination VerificationBart Jacobs, Dragan Bosnacki, Ruurd Kuiper. ECOOP 2015: 664-688 [doi]
Comprehension for CoalgebrasBart Jacobs. ENTCS, 65(1):112-134, 2002. [doi]
Structural Induction and Coinduction in a Fibrational SettingClaudio Hermida, Bart Jacobs. iandc, 145(2):107-152, 1998.
Formal Specification and Verification of JavaCard s Application Identifier ClassJoachim van den Berg, Bart Jacobs, Erik Poll. javacard 2001: 137-150 [doi]
PrefaceBart Jacobs, Alexandra Silva 0001, Sam Staton. ENTCS, 308:1-2, 2014. [doi]
Filter Models with Polymorphic TypesBart Jacobs, Ines Margaria, Maddalena Zacchi. TCS, 95(1):143-148, 1992.
Coalgebraic Specifications and Models of Determinatistic Hybrid SystemsBart Jacobs. amast 1996: 520-535
Semantics of the Second Order Lambda CalculusBart Jacobs. mscs, 1(3):327-360, 1991.
A Quick Tour of the VeriFast Program VerifierBart Jacobs, Jan Smans, Frank Piessens. aplas 2010: 304-311 [doi]
Annotation Inference for Separation Logic Based VerifiersFrédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans. forte 2011: 319-333 [doi]
Increased security through open sourceJaap-Henk Hoepman, Bart Jacobs. CACM, 50(1):79-83, 2007. [doi]
Dijkstra and Hoare monads in monadic computationBart Jacobs. TCS, 604:30-45, 2015. [doi]
Reasoning about Java Classes (Preliminary Report)Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum. OOPSLA 1998: 329-340 [doi]
Java Program Verification ChallengesBart Jacobs, Joseph Kiniry, Martijn Warnier. FMCO 2003: 202-219 [doi]
Lumen maintenance predictions for LED packagesW. D. van Driel, M. Schuld, B. Jacobs, F. Commissaris, J. van der Eyden, B. Hamon. mr, 62:39-44, 2016. [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Bart Jacobs's Profile

Unidentified Publications