Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bart Jacobs 0002
@inproceedings{DBLP:conf/ftfjp/Mommen023,
author = {Niels Mommen and
Bart Jacobs},
editor = {Aaron Tomb},
title = {Verifying {C++} Dynamic Binding},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {1--7},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606448},
doi = {10.1145/3605156.3606448},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/Mommen023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ReinhardF023,
author = {Tobias Reinhard and
Justus Fasse and
Bart Jacobs},
editor = {Pietro Ferrara and
Liana Hadarean},
title = {Completeness Thresholds for Memory Safety of Array Traversing Programs},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
USA, 17 June 2023},
pages = {47--54},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250.3596143},
doi = {10.1145/3589250.3596143},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ReinhardF023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-03606,
author = {Tobias Reinhard and
Justus Fasse and
Bart Jacobs},
title = {Completeness Thresholds for Memory Safety of Array Traversing Programs},
journal = {CoRR},
volume = {abs/2305.03606},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.03606},
doi = {10.48550/ARXIV.2305.03606},
eprinttype = {arXiv},
eprint = {2305.03606},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-03606.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-02073,
author = {Niels Mommen and
Bart Jacobs},
title = {Verifying {C++} dynamic binding},
journal = {CoRR},
volume = {abs/2306.02073},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.02073},
doi = {10.48550/ARXIV.2306.02073},
eprinttype = {arXiv},
eprint = {2306.02073},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-02073.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-15567,
author = {Stefan Wils and
Bart Jacobs},
title = {Certifying {C} program correctness with respect to {CH2O} with VeriFast},
journal = {CoRR},
volume = {abs/2308.15567},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.15567},
doi = {10.48550/ARXIV.2308.15567},
eprinttype = {arXiv},
eprint = {2308.15567},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-09731,
author = {Tobias Reinhard and
Justus Fasse and
Bart Jacobs},
title = {Completeness Thresholds for Memory Safety: Unbounded Guarantees via
Bounded Proofs (Extended Abstract)},
journal = {CoRR},
volume = {abs/2309.09731},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.09731},
doi = {10.48550/ARXIV.2309.09731},
eprinttype = {arXiv},
eprint = {2309.09731},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-09731.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-15379,
author = {Justus Fasse and
Bart Jacobs},
title = {Expressive modular verification of termination for busy-waiting programs},
journal = {CoRR},
volume = {abs/2312.15379},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.15379},
doi = {10.48550/ARXIV.2312.15379},
eprinttype = {arXiv},
eprint = {2312.15379},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-15379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-12976,
author = {Nima Rahimi Foroushaani and
Bart Jacobs},
title = {Modular Formal Verification of Rust Programs with Unsafe Blocks},
journal = {CoRR},
volume = {abs/2212.12976},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.12976},
doi = {10.48550/ARXIV.2212.12976},
eprinttype = {arXiv},
eprint = {2212.12976},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-12976.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-13754,
author = {Niels Mommen and
Bart Jacobs},
title = {Verification of {C++} Programs with VeriFast},
journal = {CoRR},
volume = {abs/2212.13754},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.13754},
doi = {10.48550/ARXIV.2212.13754},
eprinttype = {arXiv},
eprint = {2212.13754},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-13754.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-14126,
author = {Justus Fasse and
Bart Jacobs},
title = {Modular termination verification with a higher-order concurrent separation
logic (Intermediate report)},
journal = {CoRR},
volume = {abs/2212.14126},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.14126},
doi = {10.48550/ARXIV.2212.14126},
eprinttype = {arXiv},
eprint = {2212.14126},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-14126.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ReinhardJ20,
author = {Tobias Reinhard and
Bart Jacobs},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination
of Busy Waiting},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {27--50},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_2},
doi = {10.1007/978-3-030-81688-9\_2},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ReinhardJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-11034,
author = {Stefan Wils and
Bart Jacobs},
title = {Certifying {C} program correctness with respect to CompCert with VeriFast},
journal = {CoRR},
volume = {abs/2110.11034},
year = {2021},
url = {https://arxiv.org/abs/2110.11034},
eprinttype = {arXiv},
eprint = {2110.11034},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-11034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JungLPRTDJ20,
author = {Ralf Jung and
Rodolphe Lepigre and
Gaurav Parthasarathy and
Marianna Rapoport and
Amin Timany and
Derek Dreyer and
Bart Jacobs},
title = {The future is ours: prophecy variables in separation logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {45:1--45:32},
year = {2020},
url = {https://doi.org/10.1145/3371113},
doi = {10.1145/3371113},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/JungLPRTDJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ReinhardT020,
author = {Tobias Reinhard and
Amin Timany and
Bart Jacobs},
editor = {Wytse Oortwijn},
title = {A separation logic to verify termination of busy-waiting for abrupt
program exit},
booktitle = {FTfJP 2020: Proceedings of the 22nd {ACM} {SIGPLAN} International
Workshop on Formal Techniques for Java-Like Programs, Virtual Event,
USA, July 23, 2020},
pages = {26--32},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427761.3428345},
doi = {10.1145/3427761.3428345},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ReinhardT020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/000220,
author = {Bart Jacobs},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Modular Verification of Liveness Properties of the {I/O} Behavior
of Imperative Programs},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {509--524},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_29},
doi = {10.1007/978-3-030-61362-4\_29},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/000220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10215,
author = {Tobias Reinhard and
Amin Timany and
Bart Jacobs},
title = {A Separation Logic to Verify Termination of Busy-Waiting for Abrupt
Program Exit: Technical Report},
journal = {CoRR},
volume = {abs/2007.10215},
year = {2020},
url = {https://arxiv.org/abs/2007.10215},
eprinttype = {arXiv},
eprint = {2007.10215},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-10215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-07800,
author = {Tobias Reinhard and
Amin Timany and
Bart Jacobs},
title = {A Separation Logic to Verify Termination of Busy-Waiting for Abrupt
Program Exit},
journal = {CoRR},
volume = {abs/2010.07800},
year = {2020},
url = {https://arxiv.org/abs/2010.07800},
eprinttype = {arXiv},
eprint = {2010.07800},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-07800.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-11762,
author = {Tobias Reinhard and
Bart Jacobs},
title = {Ghost Signals: Verifying Termination of Busy-Waiting},
journal = {CoRR},
volume = {abs/2010.11762},
year = {2020},
url = {https://arxiv.org/abs/2010.11762},
eprinttype = {arXiv},
eprint = {2010.11762},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-11762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangBBHJKW19,
author = {Dan Zhang and
Dragan Bosnacki and
Mark van den Brand and
Cornelis Huizing and
Bart Jacobs and
Ruurd Kuiper and
Anton Wijs},
title = {Dependency safety for Java - Implementing and testing failboxes},
journal = {Sci. Comput. Program.},
volume = {184},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.102316},
doi = {10.1016/J.SCICO.2019.102316},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhangBBHJKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/AmmarCJHD19,
author = {Mahmoud Ammar and
Bruno Crispo and
Bart Jacobs and
Danny Hughes and
Wilfried Daniels},
title = {S{\(\mu\)}V - The Security MicroVisor: {A} Formally-Verified Software-Based
Security Architecture for the Internet of Things},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {16},
number = {5},
pages = {885--901},
year = {2019},
url = {https://doi.org/10.1109/TDSC.2019.2928541},
doi = {10.1109/TDSC.2019.2928541},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/AmmarCJHD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PenninckxT019,
author = {Willem Penninckx and
Amin Timany and
Bart Jacobs},
editor = {Toby Murray and
Gidon Ernst},
title = {Specifying {I/O} using abstract nested hoare triples in separation
logic},
booktitle = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
pages = {5:1--5:7},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340672.3341118},
doi = {10.1145/3340672.3341118},
timestamp = {Mon, 05 Feb 2024 20:31:47 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/PenninckxT019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Hamin019,
author = {Jafar Hamin and
Bart Jacobs},
editor = {Alastair F. Donaldson},
title = {Transferring Obligations Through Synchronizations},
booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
July 15-19, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {134},
pages = {19:1--19:58},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.19},
doi = {10.4230/LIPICS.ECOOP.2019.19},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Hamin019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Benoit019,
author = {Tuur Benoit and
Bart Jacobs},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded
Systems Programming},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {46--64},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_3},
doi = {10.1007/978-3-030-34968-4\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Benoit019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-10541,
author = {Willem Penninckx and
Amin Timany and
Bart Jacobs},
title = {Abstract {I/O} Specification},
journal = {CoRR},
volume = {abs/1901.10541},
year = {2019},
url = {http://arxiv.org/abs/1901.10541},
eprinttype = {arXiv},
eprint = {1901.10541},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10541.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JacobsBK18,
author = {Bart Jacobs and
Dragan Bosnacki and
Ruurd Kuiper},
title = {Modular Termination Verification of Single-Threaded and Multithreaded
Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {40},
number = {3},
pages = {12:1--12:59},
year = {2018},
url = {https://doi.org/10.1145/3210258},
doi = {10.1145/3210258},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/JacobsBK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Hamin018,
author = {Jafar Hamin and
Bart Jacobs},
editor = {Amal Ahmed},
title = {Deadlock-Free Monitors},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {415--441},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_15},
doi = {10.1007/978-3-319-89884-1\_15},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/Hamin018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Jacobs16,
author = {Bart Jacobs},
editor = {Vladimir Klebanov},
title = {Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFast},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {7},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955818},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Jacobs16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/MohsenJ16,
author = {Mahmoud Mohsen and
Bart Jacobs},
editor = {Maurice H. ter Beek and
Stefania Gnesi and
Alexander Knapp},
title = {One Step Towards Automatic Inference of Formal Specifications Using
Automated VeriFast},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
21st International Workshop on Formal Methods for Industrial Critical
Systems and 16th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9933},
pages = {56--64},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45943-1\_4},
doi = {10.1007/978-3-319-45943-1\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/MohsenJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/HaminJ16,
author = {Jafar Hamin and
Bart Jacobs},
title = {Modular Verification of Termination and Execution Time Bounds Using
Separation Logic},
booktitle = {17th {IEEE} International Conference on Information Reuse and Integration,
{IRI} 2016, Pittsburgh, PA, USA, July 28-30, 2016},
pages = {110--117},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/IRI.2016.22},
doi = {10.1109/IRI.2016.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/HaminJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/0002BBH0KW16,
author = {Dan Zhang and
Dragan Bosnacki and
Mark van den Brand and
Cornelis Huizing and
Bart Jacobs and
Ruurd Kuiper and
Anton Wijs},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic and
Philippe Desfray},
title = {Verifying Atomicity Preservation and Deadlock Freedom of a Generic
Shared Variable Mechanism Used in Model-To-Code Transformations},
booktitle = {Model-Driven Engineering and Software Development - 4th International
Conference, {MODELSWARD} 2016, Rome, Italy, February 19-21, 2016,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {692},
pages = {249--273},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-66302-9\_13},
doi = {10.1007/978-3-319-66302-9\_13},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/0002BBH0KW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/ZhangBBHK0W16,
author = {Dan Zhang and
Dragan Bosnacki and
Mark van den Brand and
Cornelis Huizing and
Ruurd Kuiper and
Bart Jacobs and
Anton Wijs},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic and
Philippe Desfray},
title = {Verification of Atomicity Preservation in Model-to-Code Transformations
using Generic Java Code},
booktitle = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
on Model-Driven Engineering and Software Development, Rome, Italy,
19-21 February, 2016},
pages = {578--588},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005689405780588},
doi = {10.5220/0005689405780588},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/ZhangBBHK0W16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/BosnackiBDH0KWW16,
author = {Dragan Bosnacki and
Mark van den Brand and
Philippe Denissen and
Cornelis Huizing and
Bart Jacobs and
Ruurd Kuiper and
Anton Wijs and
Maciej Wilkowski and
Dan Zhang},
editor = {Walter Binder and
Petr Tuma},
title = {Dependency Safety for Java: Implementing Failboxes},
booktitle = {Proceedings of the 13th International Conference on Principles and
Practices of Programming on the Java Platform: Virtual Machines, Languages,
and Tools, Lugano, Switzerland, August 29 - September 2, 2016},
pages = {15:1--15:6},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2972206.2972216},
doi = {10.1145/2972206.2972216},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pppj/BosnackiBDH0KWW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Timany016,
author = {Amin Timany and
Bart Jacobs},
editor = {Delia Kesner and
Brigitte Pientka},
title = {Category Theory in Coq 8.5},
booktitle = {1st International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
series = {LIPIcs},
volume = {52},
pages = {30:1--30:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2016.30},
doi = {10.4230/LIPICS.FSCD.2016.30},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Timany016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Vogels0P15,
author = {Fr{\'{e}}d{\'{e}}ric Vogels and
Bart Jacobs and
Frank Piessens},
title = {Featherweight VeriFast},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:19)2015},
doi = {10.2168/LMCS-11(3:19)2015},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Vogels0P15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Dam0LP15,
author = {Mads Dam and
Bart Jacobs and
Andreas Lundblad and
Frank Piessens},
title = {Security monitor inlining and certification for multithreaded Java},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {3},
pages = {528--565},
year = {2015},
url = {https://doi.org/10.1017/S0960129512000916},
doi = {10.1017/S0960129512000916},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Dam0LP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/0002SP15,
author = {Bart Jacobs and
Jan Smans and
Frank Piessens},
title = {Solving the VerifyThis 2012 challenges with VeriFast},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {6},
pages = {659--676},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0310-9},
doi = {10.1007/S10009-014-0310-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/0002SP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PatrignaniAS0CP15,
author = {Marco Patrignani and
Pieter Agten and
Raoul Strackx and
Bart Jacobs and
Dave Clarke and
Frank Piessens},
title = {Secure Compilation to Protected Module Architectures},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {37},
number = {2},
pages = {6:1--6:50},
year = {2015},
url = {https://doi.org/10.1145/2699503},
doi = {10.1145/2699503},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/PatrignaniAS0CP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/000215,
author = {Bart Jacobs},
editor = {Rosemary Monahan},
title = {Provably live exception handling},
booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
pages = {7:1--7:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786536.2786543},
doi = {10.1145/2786536.2786543},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/000215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JacobsBK15,
author = {Bart Jacobs and
Dragan Bosnacki and
Ruurd Kuiper},
editor = {John Tang Boyland},
title = {Modular Termination Verification},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {664--688},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.664},
doi = {10.4230/LIPICS.ECOOP.2015.664},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/JacobsBK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Penninckx0P15,
author = {Willem Penninckx and
Bart Jacobs and
Frank Piessens},
editor = {Jan Vitek},
title = {Sound, Modular and Compositional Verification of the Input/Output
Behavior of Programs},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {158--182},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_7},
doi = {10.1007/978-3-662-46669-8\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Penninckx0P15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BosnackiBG0KRWZ15,
author = {Dragan Bosnacki and
Mark van den Brand and
Joost Gabriels and
Bart Jacobs and
Ruurd Kuiper and
Sybren Roede and
Anton Wijs and
Dan Zhang},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {Towards Modular Verification of Threaded Concurrent Executable Code
Generated from {DSL} Models},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {141--160},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_8},
doi = {10.1007/978-3-319-28934-2\_8},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BosnackiBG0KRWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Timany015,
author = {Amin Timany and
Bart Jacobs},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {First Steps Towards Cumulative Inductive Types in {CIC}},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {608--617},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_36},
doi = {10.1007/978-3-319-25150-9\_36},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Timany015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Agten0P15,
author = {Pieter Agten and
Bart Jacobs and
Frank Piessens},
editor = {Sriram K. Rajamani and
David Walker},
title = {Sound Modular Verification of {C} Code Executing in an Unverified
Context},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {581--594},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676972},
doi = {10.1145/2676726.2676972},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/Agten0P15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Vanspauwen015,
author = {Gijs Vanspauwen and
Bart Jacobs},
editor = {Radu Calinescu and
Bernhard Rumpe},
title = {Verifying Protocol Implementations by Augmenting Existing Cryptographic
Libraries with Specifications},
booktitle = {Software Engineering and Formal Methods - 13th International Conference,
{SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9276},
pages = {53--68},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22969-0\_4},
doi = {10.1007/978-3-319-22969-0\_4},
timestamp = {Sat, 30 Sep 2023 09:56:03 +0200},
biburl = {https://dblp.org/rec/conf/sefm/Vanspauwen015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TimanyJ15,
author = {Amin Timany and
Bart Jacobs},
title = {Category Theory in Coq 8.5},
journal = {CoRR},
volume = {abs/1505.06430},
year = {2015},
url = {http://arxiv.org/abs/1505.06430},
eprinttype = {arXiv},
eprint = {1505.06430},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TimanyJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PhilippaertsMPS0P14,
author = {Pieter Philippaerts and
Jan Tobias M{\"{u}}hlberg and
Willem Penninckx and
Jan Smans and
Bart Jacobs and
Frank Piessens},
title = {Software verification with VeriFast: Industrial case studies},
journal = {Sci. Comput. Program.},
volume = {82},
pages = {77--97},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.01.006},
doi = {10.1016/J.SCICO.2013.01.006},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/PhilippaertsMPS0P14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Dooren0J14,
author = {Marko van Dooren and
Bart Jacobs and
Wouter Joosen},
title = {Modular type checking of anchored exception declarations},
journal = {Sci. Comput. Program.},
volume = {87},
pages = {44--61},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.10.007},
doi = {10.1016/J.SCICO.2013.10.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Dooren0J14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/Strackx0P14,
author = {Raoul Strackx and
Bart Jacobs and
Frank Piessens},
editor = {Charles N. Payne Jr. and
Adam Hahn and
Kevin R. B. Butler and
Micah Sherr},
title = {{ICE:} a passive, high-speed, state-continuity scheme},
booktitle = {Proceedings of the 30th Annual Computer Security Applications Conference,
{ACSAC} 2014, New Orleans, LA, USA, December 8-12, 2014},
pages = {106--115},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2664243.2664259},
doi = {10.1145/2664243.2664259},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsac/Strackx0P14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2014,
editor = {Nils Anders Danielsson and
Bart Jacobs},
title = {Proceedings of the 2014 {ACM} {SIGPLAN} Workshop on Programming Languages
meets Program Verification, {PLPV} 2014, January 21, 2014, San Diego,
California, USA, Co-located with {POPL} '14},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2541568},
isbn = {978-1-4503-2567-7},
timestamp = {Thu, 09 Jan 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/VanspauwenJ13,
author = {Gijs Vanspauwen and
Bart Jacobs},
editor = {Robert M. Hierons and
Mercedes G. Merayo and
Mario Bravetti},
title = {Sound Symbolic Linking in the Presence of Preprocessing},
booktitle = {Software Engineering and Formal Methods - 11th International Conference,
{SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {122--136},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7\_9},
doi = {10.1007/978-3-642-40561-7\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/VanspauwenJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/SmansJP13,
author = {Jan Smans and
Bart Jacobs and
Frank Piessens},
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {VeriFast for Java: {A} Tutorial},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
pages = {407--442},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9\_14},
doi = {10.1007/978-3-642-36946-9\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/SmansJP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SmansJP12,
author = {Jan Smans and
Bart Jacobs and
Frank Piessens},
title = {Implicit dynamic frames},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {34},
number = {1},
pages = {2:1--2:58},
year = {2012},
url = {https://doi.org/10.1145/2160910.2160911},
doi = {10.1145/2160910.2160911},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SmansJP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AgtenSJP12,
author = {Pieter Agten and
Raoul Strackx and
Bart Jacobs and
Frank Piessens},
editor = {Stephen Chong},
title = {Secure Compilation to Modern Processors},
booktitle = {25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Cambridge,
MA, USA, June 25-27, 2012},
pages = {171--185},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSF.2012.12},
doi = {10.1109/CSF.2012.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/AgtenSJP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DoorenCJ12,
author = {Marko van Dooren and
Dave Clarke and
Bart Jacobs},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Subobject-Oriented Programming},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {38--82},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_2},
doi = {10.1007/978-3-642-40615-7\_2},
timestamp = {Tue, 21 Mar 2023 21:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/DoorenCJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/PenninckxMSJP12,
author = {Willem Penninckx and
Jan Tobias M{\"{u}}hlberg and
Jan Smans and
Bart Jacobs and
Frank Piessens},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Sound Formal Verification of Linux's {USB} {BP} Keyboard Driver},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {210--215},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_21},
doi = {10.1007/978-3-642-28891-3\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/PenninckxMSJP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/PhilippaertsVSJP11,
author = {Pieter Philippaerts and
Fr{\'{e}}d{\'{e}}ric Vogels and
Jan Smans and
Bart Jacobs and
Frank Piessens},
title = {The Belgian Electronic Identity Card: a Verification Case Study},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {46},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.46.682},
doi = {10.14279/TUJ.ECEASST.46.682},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/PhilippaertsVSJP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/PiessensJL11,
author = {Frank Piessens and
Bart Jacobs and
Gary T. Leavens},
title = {Special Section on Formal Techniques for Java-like Programs},
journal = {J. Object Technol.},
volume = {10},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.e2},
doi = {10.5381/JOT.2011.10.1.E2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/PiessensJL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11,
author = {Vladimir Klebanov and
Peter M{\"{u}}ller and
Natarajan Shankar and
Gary T. Leavens and
Valentin W{\"{u}}stholz and
Eyad Alkassar and
Rob Arthan and
Derek Bronish and
Rod Chapman and
Ernie Cohen and
Mark A. Hillebrand and
Bart Jacobs and
K. Rustan M. Leino and
Rosemary Monahan and
Frank Piessens and
Nadia Polikarpova and
Tom Ridge and
Jan Smans and
Stephan Tobies and
Thomas Tuerk and
Mattias Ulbrich and
Benjamin Wei{\ss}},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {The 1st Verified Software Competition: Experience Report},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {154--168},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_14},
doi = {10.1007/978-3-642-21437-0\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JacobsSP11,
author = {Bart Jacobs and
Jan Smans and
Frank Piessens},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {Verification of Unloadable Modules},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {402--416},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_30},
doi = {10.1007/978-3-642-21437-0\_30},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/JacobsSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VogelsJPS11,
author = {Fr{\'{e}}d{\'{e}}ric Vogels and
Bart Jacobs and
Frank Piessens and
Jan Smans},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Annotation Inference for Separation Logic Based Verifiers},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {319--333},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_21},
doi = {10.1007/978-3-642-21461-5\_21},
timestamp = {Sun, 02 Jun 2019 21:14:32 +0200},
biburl = {https://dblp.org/rec/conf/forte/VogelsJPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/JacobsSPVPP11,
author = {Bart Jacobs and
Jan Smans and
Pieter Philippaerts and
Fr{\'{e}}d{\'{e}}ric Vogels and
Willem Penninckx and
Frank Piessens},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {VeriFast: {A} Powerful, Sound, Predictable, Fast Verifier for {C}
and Java},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {41--55},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_4},
doi = {10.1007/978-3-642-20398-5\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/JacobsSPVPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JacobsP11,
author = {Bart Jacobs and
Frank Piessens},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Expressive modular fine-grained concurrency specification},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {271--282},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926417},
doi = {10.1145/1926385.1926417},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/JacobsP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SmansJPS10,
author = {Jan Smans and
Bart Jacobs and
Frank Piessens and
Wolfram Schulte},
title = {Automatic verification of Java programs with dynamic frames},
journal = {Formal Aspects Comput.},
volume = {22},
number = {3-4},
pages = {423--457},
year = {2010},
url = {https://doi.org/10.1007/s00165-010-0148-1},
doi = {10.1007/S00165-010-0148-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SmansJPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/DamJLP10,
author = {Mads Dam and
Bart Jacobs and
Andreas Lundblad and
Frank Piessens},
title = {Provably correct inline monitoring for multithreaded Java-like programs},
journal = {J. Comput. Secur.},
volume = {18},
number = {1},
pages = {37--59},
year = {2010},
url = {https://doi.org/10.3233/JCS-2010-0365},
doi = {10.3233/JCS-2010-0365},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/DamJLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/JacobsSP10,
author = {Bart Jacobs and
Jan Smans and
Frank Piessens},
editor = {Kazunori Ueda},
title = {A Quick Tour of the VeriFast Program Verifier},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {304--311},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_21},
doi = {10.1007/978-3-642-17164-2\_21},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/JacobsSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SmansJP10,
author = {Jan Smans and
Bart Jacobs and
Frank Piessens},
editor = {John Hatcliff and
Elena Zucca},
title = {Heap-Dependent Expressions in Separation Logic},
booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6117},
pages = {170--185},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13464-7\_14},
doi = {10.1007/978-3-642-13464-7\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/SmansJP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/VogelsJP10,
author = {Fr{\'{e}}d{\'{e}}ric Vogels and
Bart Jacobs and
Frank Piessens},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {A machine-checked soundness proof for an efficient verification condition
generator},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2517--2522},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774610},
doi = {10.1145/1774088.1774610},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/VogelsJP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SmansJP09,
author = {Jan Smans and
Bart Jacobs and
Frank Piessens},
editor = {Sophia Drossopoulou},
title = {Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic},
booktitle = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference,
Genoa, Italy, July 6-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5653},
pages = {148--172},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03013-0\_8},
doi = {10.1007/978-3-642-03013-0\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SmansJP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JacobsP09,
author = {Bart Jacobs and
Frank Piessens},
editor = {Sophia Drossopoulou},
title = {Failboxes: Provably Safe Exception Handling},
booktitle = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference,
Genoa, Italy, July 6-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5653},
pages = {470--494},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03013-0\_22},
doi = {10.1007/978-3-642-03013-0\_22},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/JacobsP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DamJLP09,
author = {Mads Dam and
Bart Jacobs and
Andreas Lundblad and
Frank Piessens},
editor = {Sophia Drossopoulou},
title = {Security Monitor Inlining for Multithreaded Java},
booktitle = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference,
Genoa, Italy, July 6-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5653},
pages = {546--569},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03013-0\_25},
doi = {10.1007/978-3-642-03013-0\_25},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DamJLP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/GadaletaY0JNB09,
author = {Francesco Gadaleta and
Yves Younan and
Bart Jacobs and
Wouter Joosen and
Erik De Neve and
Nils Beosier},
editor = {Hans P. Reiser and
R{\"{u}}diger Kapitza},
title = {Instruction-level countermeasures against stack-based buffer overflow
attacks},
booktitle = {Proceedings of the 1st EuroSys Workshop on Virtualization Technology
for Dependable Systems, {VDTS} '09, Nuremberg, Germany, March 31,
2009},
pages = {7--12},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1518684.1518686},
doi = {10.1145/1518684.1518686},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/GadaletaY0JNB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/VogelsJP09,
author = {Fr{\'{e}}d{\'{e}}ric Vogels and
Bart Jacobs and
Frank Piessens},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {A Machine Checked Soundness Proof for an Intermediate Verification
Language},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {570--581},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_51},
doi = {10.1007/978-3-540-95891-8\_51},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/VogelsJP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JacobsPSLS08,
author = {Bart Jacobs and
Frank Piessens and
Jan Smans and
K. Rustan M. Leino and
Wolfram Schulte},
title = {A programming model for concurrent object-oriented programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {31},
number = {1},
pages = {1:1--1:48},
year = {2008},
url = {https://doi.org/10.1145/1452044.1452045},
doi = {10.1145/1452044.1452045},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/JacobsPSLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SmansJPS08,
author = {Jan Smans and
Bart Jacobs and
Frank Piessens and
Wolfram Schulte},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {An Automatic Verifier for Java-Like Programs Based on Dynamic Frames},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {261--275},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_19},
doi = {10.1007/978-3-540-78743-3\_19},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/SmansJPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/SmansJP08,
author = {Jan Smans and
Bart Jacobs and
Frank Piessens},
editor = {Gilles Barthe and
Frank S. de Boer},
title = {VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
4-6, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5051},
pages = {220--239},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68863-1\_14},
doi = {10.1007/978-3-540-68863-1\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/SmansJP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/JacobsP07,
author = {Bart Jacobs and
Frank Piessens},
title = {Inspector Methods for State Abstraction},
journal = {J. Object Technol.},
volume = {6},
number = {5},
pages = {55--75},
year = {2007},
url = {https://doi.org/10.5381/jot.2007.6.5.a1},
doi = {10.5381/JOT.2007.6.5.A1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/JacobsP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JacobsMP07,
author = {Bart Jacobs and
Peter M{\"{u}}ller and
Frank Piessens},
title = {Sound reasoning about unchecked exceptions},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {113--122},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.36},
doi = {10.1109/SEFM.2007.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/JacobsMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/SmansJP06,
author = {Jan Smans and
Bart Jacobs and
Frank Piessens},
title = {Static Verification of Code Access Security Policy Compliance of .NET
Applications},
journal = {J. Object Technol.},
volume = {5},
number = {3},
pages = {35--58},
year = {2006},
url = {https://doi.org/10.5381/jot.2006.5.3.a2},
doi = {10.5381/JOT.2006.5.3.A2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/SmansJP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/JacobsSPS06,
author = {Bart Jacobs and
Jan Smans and
Frank Piessens and
Wolfram Schulte},
editor = {Zhiming Liu and
Jifeng He},
title = {A Statically Verifiable Programming Model for Concurrent Object-Oriented
Programs},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {420--439},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_23},
doi = {10.1007/11901433\_23},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/JacobsSPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0002PS06,
author = {Bart Jacobs and
Frank Piessens and
Wolfram Schulte},
title = {{VC} generation for functional behavior and non-interference of iterators},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {67--70},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181209},
doi = {10.1145/1181195.1181209},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/0002PS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JacobsSPS07,
author = {Bart Jacobs and
Jan Smans and
Frank Piessens and
Wolfram Schulte},
editor = {Ganesh Gopalakrishnan and
John O'Leary},
title = {A Simple Sequential Reasoning Approach for Sound Modular Verification
of Mainstream Multithreaded Programs},
booktitle = {Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle,
WA, USA, August 21-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {9},
pages = {23--47},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.005},
doi = {10.1016/J.ENTCS.2007.04.005},
timestamp = {Fri, 27 Jan 2023 14:19:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JacobsSPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BarnettCDJL05,
author = {Michael Barnett and
Bor{-}Yuh Evan Chang and
Robert DeLine and
Bart Jacobs and
K. Rustan M. Leino},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Boogie: {A} Modular Reusable Verifier for Object-Oriented Programs},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {364--387},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_17},
doi = {10.1007/11804192\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BarnettCDJL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JacobsPLS05,
author = {Bart Jacobs and
Frank Piessens and
K. Rustan M. Leino and
Wolfram Schulte},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Safe Concurrency for Aggregate Objects with Invariants},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {137--147},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.39},
doi = {10.1109/SEFM.2005.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/JacobsPLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BarnettDFJLSV05,
author = {Michael Barnett and
Robert DeLine and
Manuel F{\"{a}}hndrich and
Bart Jacobs and
K. Rustan M. Leino and
Wolfram Schulte and
Herman Venter},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {The Spec{\#} Programming System: Challenges and Directions},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {144--152},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_16},
doi = {10.1007/978-3-540-69149-5\_16},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/BarnettDFJLSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/PiessensJTJ04,
author = {Frank Piessens and
Bart Jacobs and
Eddy Truyen and
Wouter Joosen},
title = {Support for Metadata-driven Selection of Run-time Services in .NET
is Promising but Immature},
journal = {J. Object Technol.},
volume = {3},
number = {2},
pages = {27--35},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.2.a3},
doi = {10.5381/JOT.2004.3.2.A3},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/PiessensJTJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cms/Desmet0PJ04,
author = {Lieven Desmet and
Bart Jacobs and
Frank Piessens and
Wouter Joosen},
editor = {David Chadwick and
Bart Preneel},
title = {A Generic Architecture for Web Applications to Support Threat Analysis
of Infrastructural Components},
booktitle = {Communications and Multimedia Security - 8th {IFIP} {TC-6} {TC-11}
Conference on Communications and Multimedia Security, Sept. 15-18,
2004, Windermere, The Lake District, United Kingdom},
series = {{IFIP}},
volume = {175},
pages = {125--130},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24486-7\_9},
doi = {10.1007/0-387-24486-7\_9},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cms/Desmet0PJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cms/DesmetJPJ04,
author = {Lieven Desmet and
Bart Jacobs and
Frank Piessens and
Wouter Joosen},
editor = {David Chadwick and
Bart Preneel},
title = {Threat Modelling for Web Services Based Web Applications},
booktitle = {Communications and Multimedia Security - 8th {IFIP} {TC-6} {TC-11}
Conference on Communications and Multimedia Security, Sept. 15-18,
2004, Windermere, The Lake District, United Kingdom},
series = {{IFIP}},
volume = {175},
pages = {131--144},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24486-7\_10},
doi = {10.1007/0-387-24486-7\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cms/DesmetJPJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/PiessensJJ03,
author = {Frank Piessens and
Bart Jacobs and
Wouter Joosen},
title = {Software security: experiments on the .NET common language run-time
and the shared source common language infrastructure},
journal = {{IEE} Proc. Softw.},
volume = {150},
number = {5},
pages = {303--307},
year = {2003},
url = {https://doi.org/10.1049/ip-sen:20030985},
doi = {10.1049/IP-SEN:20030985},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/PiessensJJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
