Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Julien Schmaltz
@book{DBLP:books/sp/GrooteMSW21,
author = {Jan Friso Groote and
Rolf Morel and
Julien Schmaltz and
Adam Watkins},
title = {Logic Gates, Circuits, Processors, Compilers and Computers},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-68553-9},
doi = {10.1007/978-3-030-68553-9},
isbn = {978-3-030-68552-2},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/GrooteMSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FedotovKS20,
author = {Alexander Fedotov and
Jeroen J. A. Keiren and
Julien Schmaltz},
title = {Effective System Level Liveness Verification},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {7--15},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_7},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_7},
timestamp = {Thu, 14 Jan 2021 08:55:22 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/FedotovKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WeselS18,
author = {Perry van Wesel and
Julien Schmaltz},
title = {Formal micro-architectural analysis of on-chip ring networks},
booktitle = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
2018, San Francisco, CA, USA, June 24-29, 2018},
pages = {94:1--94:6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3195970.3196054},
doi = {10.1145/3195970.3196054},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/dac/WeselS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FedotovS18,
author = {Alexander Fedotov and
Julien Schmaltz},
editor = {Jan Madsen and
Ayse K. Coskun},
title = {Automatic generation of hardware checkers from formal micro-architectural
specifications},
booktitle = {2018 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
pages = {1568--1573},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/DATE.2018.8342265},
doi = {10.23919/DATE.2018.8342265},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/FedotovS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/KoolenS16,
author = {Ruud Koolen and
Julien Schmaltz},
editor = {Sergey Tverdyshev},
title = {Modeling Information Routing with Noninterference},
booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure
Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
publisher = {Zenodo},
year = {2016},
url = {https://doi.org/10.5281/zenodo.47980},
doi = {10.5281/ZENODO.47980},
timestamp = {Thu, 02 Aug 2018 14:39:18 +0200},
biburl = {https://dblp.org/rec/conf/hipeac/KoolenS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/JoostenS15,
author = {Sebastiaan J. C. Joosten and
Julien Schmaltz},
editor = {Wolfgang Nebel and
David Atienza},
title = {Automatic extraction of micro-architectural models of communication
fabrics from register transfer level designs},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {1413--1418},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2757140},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/JoostenS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/KoolenS15,
author = {Ruud Koolen and
Julien Schmaltz},
editor = {Sergey Tverdyshev},
title = {Formal Methods for {MILS:} Formalisations of the {GWV} Firewall},
booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure
Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
2015},
publisher = {Zenodo},
year = {2015},
url = {https://doi.org/10.5281/zenodo.47983},
doi = {10.5281/ZENODO.47983},
timestamp = {Thu, 02 Aug 2018 14:39:18 +0200},
biburl = {https://dblp.org/rec/conf/hipeac/KoolenS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/WoudaJS15,
author = {Sanne Wouda and
Sebastiaan J. C. Joosten and
Julien Schmaltz},
title = {Process algebra semantics {\&} reachability analysis for micro-architectural
models of communication fabrics},
booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
pages = {198--207},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/MEMCOD.2015.7340487},
doi = {10.1109/MEMCOD.2015.7340487},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/WoudaJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/VerbeekHSTBL0WN15,
author = {Freek Verbeek and
Oto Havle and
Julien Schmaltz and
Sergey Tverdyshev and
Holger Blasum and
Bruno Langenstein and
Werner Stephan and
Burkhart Wolff and
Yakoub Nemouchi},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Formal {API} Specification of the PikeOS Separation Kernel},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {375--389},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_26},
doi = {10.1007/978-3-319-17524-9\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/VerbeekHSTBL0WN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/VerbeekTHBLSNFWS14,
author = {Freek Verbeek and
Sergey Tverdyshev and
Oto Havle and
Holger Blasum and
Bruno Langenstein and
Werner Stephan and
Yakoub Nemouchi and
Abderrahmane Feliachi and
Burkhart Wolff and
Julien Schmaltz},
title = {Formal Specification of a Generic Separation Kernel},
journal = {Arch. Formal Proofs},
volume = {2014},
year = {2014},
url = {https://www.isa-afp.org/entries/CISC-Kernel.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/VerbeekTHBLSNFWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/VerbeekS14,
author = {Freek Verbeek and
Julien Schmaltz},
title = {A Decision Procedure for Deadlock-Free Routing in Wormhole Networks},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {25},
number = {8},
pages = {1935--1944},
year = {2014},
url = {https://doi.org/10.1109/TPDS.2013.121},
doi = {10.1109/TPDS.2013.121},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/VerbeekS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/JoostenS14,
author = {Sebastiaan J. C. Joosten and
Julien Schmaltz},
editor = {Gerhard P. Fettweis and
Wolfgang Nebel},
title = {Scalable liveness verification for communication fabrics},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2014, Dresden, Germany, March 24-28, 2014},
pages = {1--6},
publisher = {European Design and Automation Association},
year = {2014},
url = {https://doi.org/10.7873/DATE.2014.126},
doi = {10.7873/DATE.2014.126},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/JoostenS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RamirezSVLB14,
author = {Adrian Garcia Ramirez and
Julien Schmaltz and
Freek Verbeek and
Bruno Langenstein and
Holger Blasum},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {246--261},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_17},
doi = {10.1007/978-3-319-10506-2\_17},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/RamirezSVLB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi/GastelVS14,
author = {Bernard van Gastel and
Freek Verbeek and
Julien Schmaltz},
editor = {Lorena Garcia},
title = {Inference of channel types in micro-architectural models of on-chip
communication networks},
booktitle = {22nd International Conference on Very Large Scale Integration, VLSI-SoC,
Playa del Carmen, Mexico, October 6-8, 2014},
pages = {1--6},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/VLSI-SoC.2014.7004168},
doi = {10.1109/VLSI-SOC.2014.7004168},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/vlsi/GastelVS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/VerbeekS14,
editor = {Freek Verbeek and
Julien Schmaltz},
title = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover
and its Applications, Vienna, Austria, 12-13th July 2014},
series = {{EPTCS}},
volume = {152},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.152},
doi = {10.4204/EPTCS.152},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/VerbeekS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/VerbeekJS13,
author = {Freek Verbeek and
Sebastiaan J. C. Joosten and
Julien Schmaltz},
title = {Formal Deadlock Verification for Click Circuits},
booktitle = {19th {IEEE} International Symposium on Asynchronous Circuits and Systems,
{ASYNC} 2013, Santa Monica, CA, USA, May 19-22, 2013},
pages = {183--190},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ASYNC.2013.21},
doi = {10.1109/ASYNC.2013.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/VerbeekJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/JoostenS13,
author = {Sebastiaan J. C. Joosten and
Julien Schmaltz},
title = {Generation of inductive invariants from register transfer level designs
of communication fabrics},
booktitle = {11th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMCODE} 2013, Portland, OR, USA, October 18-20, 2013},
pages = {57--64},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6670941/},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/JoostenS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1304-7875,
author = {Sebastiaan J. C. Joosten and
Bernard van Gastel and
Julien Schmaltz},
editor = {Ruben Gamboa and
Jared Davis},
title = {A Macro for Reusing Abstract Functions and Theorems},
booktitle = {Proceedings International Workshop on the {ACL2} Theorem Prover and
its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
series = {{EPTCS}},
volume = {114},
pages = {29--41},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.114.3},
doi = {10.4204/EPTCS.114.3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1304-7859,
author = {Freek Verbeek and
Julien Schmaltz},
editor = {Ruben Gamboa and
Jared Davis},
title = {Verification of Building Blocks for Asynchronous Circuits},
booktitle = {Proceedings International Workshop on the {ACL2} Theorem Prover and
its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
series = {{EPTCS}},
volume = {114},
pages = {70--84},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.114.6},
doi = {10.4204/EPTCS.114.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7859.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1304-7862,
author = {Bernard van Gastel and
Julien Schmaltz},
editor = {Ruben Gamboa and
Jared Davis},
title = {A formalisation of {XMAS}},
booktitle = {Proceedings International Workshop on the {ACL2} Theorem Prover and
its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
series = {{EPTCS}},
volume = {114},
pages = {111--126},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.114.9},
doi = {10.4204/EPTCS.114.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7862.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/VerbeekS12,
author = {Freek Verbeek and
Julien Schmaltz},
title = {Proof Pearl: {A} Formal Proof of Dally and Seitz' Necessary and Sufficient
Condition for Deadlock-Free Routing in Interconnection Networks},
journal = {J. Autom. Reason.},
volume = {48},
number = {4},
pages = {419--439},
year = {2012},
url = {https://doi.org/10.1007/s10817-010-9206-x},
doi = {10.1007/S10817-010-9206-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/VerbeekS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HeidarianSV12,
author = {Faranak Heidarian and
Julien Schmaltz and
Frits W. Vaandrager},
title = {Analysis of a clock synchronization protocol for wireless sensor networks},
journal = {Theor. Comput. Sci.},
volume = {413},
number = {1},
pages = {87--105},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.07.018},
doi = {10.1016/J.TCS.2011.07.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HeidarianSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/VerbeekS12,
author = {Freek Verbeek and
Julien Schmaltz},
title = {Easy Formal Specification and Validation of Unbounded Networks-on-Chips
Architectures},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {17},
number = {1},
pages = {1:1--1:28},
year = {2012},
url = {https://doi.org/10.1145/2071356.2071357},
doi = {10.1145/2071356.2071357},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/VerbeekS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/VerbeekS12a,
author = {Freek Verbeek and
Julien Schmaltz},
title = {Towards the formal verification of cache coherency at the architectural
level},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {17},
number = {3},
pages = {20:1--20:16},
year = {2012},
url = {https://doi.org/10.1145/2209291.2209293},
doi = {10.1145/2209291.2209293},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/VerbeekS12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/VerbeekS12,
author = {Freek Verbeek and
Julien Schmaltz},
title = {Automatic generation of deadlock detection algorithms for a family
of microarchitecture description languages of communication fabrics},
booktitle = {2012 {IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2012, Huntington Beach, CA, USA, November 9-10, 2012},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HLDVT.2012.6418239},
doi = {10.1109/HLDVT.2012.6418239},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/VerbeekS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/AlhussienBVGS12,
author = {Abdulaziz Alhussien and
Nader Bagherzadeh and
Freek Verbeek and
Bernard van Gastel and
Julien Schmaltz},
title = {A formally verified deadlock-free routing function in a fault-tolerant
NoC architecture},
booktitle = {25th Symposium on Integrated Circuits and Systems Design, {SBCCI}
2012, Brasilia, Brazil, August 30 - September 2, 2012},
pages = {1--6},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SBCCI.2012.6344433},
doi = {10.1109/SBCCI.2012.6344433},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/sbcci/AlhussienBVGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/VerbeekS11,
author = {Freek Verbeek and
Julien Schmaltz},
title = {A Comment on "A Necessary and Sufficient Condition for Deadlock-Free
Adaptive Routing in Wormhole Networks"},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {22},
number = {10},
pages = {1775--1776},
year = {2011},
url = {https://doi.org/10.1109/TPDS.2011.16},
doi = {10.1109/TPDS.2011.16},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/VerbeekS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/VerbeekS11a,
author = {Freek Verbeek and
Julien Schmaltz},
title = {On Necessary and Sufficient Conditions for Deadlock-Free Routing in
Wormhole Networks},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {22},
number = {12},
pages = {2022--2032},
year = {2011},
url = {https://doi.org/10.1109/TPDS.2011.60},
doi = {10.1109/TPDS.2011.60},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/VerbeekS11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/VerbeekS11,
author = {Freek Verbeek and
Julien Schmaltz},
editor = {Per Bjesse and
Anna Slobodov{\'{a}}},
title = {Hunting deadlocks efficiently in microarchitectural models of communication
fabrics},
booktitle = {International Conference on Formal Methods in Computer-Aided Design,
{FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
pages = {223--231},
publisher = {{FMCAD} Inc.},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2157688},
timestamp = {Mon, 09 Aug 2021 15:21:44 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/VerbeekS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RutzS11,
author = {Carsten R{\"{u}}tz and
Julien Schmaltz},
title = {An Experience Report on an Industrial Case-Study about Timed Model-Based
Testing with {UPPAAL-TRON}},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
Proceedings},
pages = {39--46},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSTW.2011.92},
doi = {10.1109/ICSTW.2011.92},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RutzS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nocs/VerbeekS11,
author = {Freek Verbeek and
Julien Schmaltz},
editor = {Radu Marculescu and
Michael Kishinevsky and
Ran Ginosar and
Karam S. Chatha},
title = {Automatic verification for deadlock in networks-on-chips with adaptive
routing and wormhole switching},
booktitle = {{NOCS} 2011, Fifth {ACM/IEEE} International Symposium on Networks-on-Chip,
Pittsburgh, Pennsylvania, USA, May 1-4, 2011},
pages = {25--32},
publisher = {{ACM/IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1145/1999946.1999951},
doi = {10.1145/1999946.1999951},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nocs/VerbeekS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/VerbeekS11,
author = {Freek Verbeek and
Julien Schmaltz},
editor = {Yiannis Cotronis and
Marco Danelutto and
George Angelos Papadopoulos},
title = {A Fast and Verified Algorithm for Proving Store-and-Forward Networks
Deadlock-Free},
booktitle = {Proceedings of the 19th International Euromicro Conference on Parallel,
Distributed and Network-based Processing, {PDP} 2011, Ayia Napa, Cyprus,
9-11 February 2011},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PDP.2011.23},
doi = {10.1109/PDP.2011.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/VerbeekS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1110-4677,
author = {Freek Verbeek and
Julien Schmaltz},
editor = {David S. Hardin and
Julien Schmaltz},
title = {Formal verification of a deadlock detection algorithm},
booktitle = {Proceedings 10th International Workshop on the {ACL2} Theorem Prover
and its Applications, {ACL2} 2011, Austin, Texas, USA, November 3-4,
2011},
series = {{EPTCS}},
volume = {70},
pages = {103--112},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.70.8},
doi = {10.4204/EPTCS.70.8},
timestamp = {Tue, 16 Nov 2021 18:11:09 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-4677.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2011,
editor = {Marko C. J. D. van Eekelen and
Herman Geuvers and
Julien Schmaltz and
Freek Wiedijk},
title = {Interactive Theorem Proving - Second International Conference, {ITP}
2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6898},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22863-6},
doi = {10.1007/978-3-642-22863-6},
isbn = {978-3-642-22862-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1110-4473,
editor = {David S. Hardin and
Julien Schmaltz},
title = {Proceedings 10th International Workshop on the {ACL2} Theorem Prover
and its Applications, {ACL2} 2011, Austin, Texas, USA, November 3-4,
2011},
series = {{EPTCS}},
volume = {70},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.70},
doi = {10.4204/EPTCS.70},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-4473.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-2246,
author = {Julien Schmaltz},
title = {Formal verification of a time-triggered hardware interface},
journal = {CoRR},
volume = {abs/1103.2246},
year = {2011},
url = {http://arxiv.org/abs/1103.2246},
eprinttype = {arXiv},
eprint = {1103.2246},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-2246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BerendsenJSV10,
author = {Jasper Berendsen and
David N. Jansen and
Julien Schmaltz and
Frits W. Vaandrager},
title = {The axiomatization of override and update},
journal = {J. Appl. Log.},
volume = {8},
number = {1},
pages = {141--150},
year = {2010},
url = {https://doi.org/10.1016/j.jal.2009.11.001},
doi = {10.1016/J.JAL.2009.11.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BerendsenJSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/VerbeekS10,
author = {Freek Verbeek and
Julien Schmaltz},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Formal specification of networks-on-chips: deadlock and evacuation},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {1701--1706},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457089},
doi = {10.1109/DATE.2010.5457089},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/VerbeekS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/StypBS10,
author = {Sabrina von Styp and
Henrik C. Bohnenkamp and
Julien Schmaltz},
editor = {Krishnendu Chatterjee and
Thomas A. Henzinger},
title = {A Conformance Testing Relation for Symbolic Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6246},
pages = {243--255},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15297-9\_19},
doi = {10.1007/978-3-642-15297-9\_19},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/StypBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AartsSV10,
author = {Fides Aarts and
Julien Schmaltz and
Frits W. Vaandrager},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Inference and Abstraction of the Biometric Passport},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6415},
pages = {673--686},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16558-0\_54},
doi = {10.1007/978-3-642-16558-0\_54},
timestamp = {Sun, 02 Jun 2019 21:11:28 +0200},
biburl = {https://dblp.org/rec/conf/isola/AartsSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/VerbeekS10,
author = {Freek Verbeek and
Julien Schmaltz},
editor = {Matt Kaufmann and
Lawrence C. Paulson},
title = {A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free
Adaptive Networks},
booktitle = {Interactive Theorem Proving, First International Conference, {ITP}
2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6172},
pages = {67--82},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14052-5\_7},
doi = {10.1007/978-3-642-14052-5\_7},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/VerbeekS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/BorrioneHPS09,
author = {Dominique Borrione and
Amr Helmy and
Laurence Pierre and
Julien Schmaltz},
title = {A Formal Approach to the Verification of Networks on Chip},
journal = {{EURASIP} J. Embed. Syst.},
volume = {2009},
year = {2009},
url = {https://doi.org/10.1155/2009/548324},
doi = {10.1155/2009/548324},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejes/BorrioneHPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HeidarianSV09,
author = {Faranak Heidarian and
Julien Schmaltz and
Frits W. Vaandrager},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {516--531},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_33},
doi = {10.1007/978-3-642-05089-3\_33},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/HeidarianSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BroekS09,
author = {Tom van den Broek and
Julien Schmaltz},
title = {Towards a formally verified network-on-chip},
booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
pages = {184--187},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FMCAD.2009.5351124},
doi = {10.1109/FMCAD.2009.5351124},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BroekS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/MostowskiPSTS09,
author = {Wojciech Mostowski and
Erik Poll and
Julien Schmaltz and
Jan Tretmans and
Ronny Wichers Schreur},
editor = {Mar{\'{\i}}a Alpuente and
Byron Cook and
Christophe Joubert},
title = {Model-Based Testing of Electronic Passports},
booktitle = {Formal Methods for Industrial Critical Systems, 14th International
Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5825},
pages = {207--209},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04570-7\_19},
doi = {10.1007/978-3-642-04570-7\_19},
timestamp = {Sun, 02 Oct 2022 16:01:27 +0200},
biburl = {https://dblp.org/rec/conf/fmics/MostowskiPSTS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SchmaltzB08,
author = {Julien Schmaltz and
Dominique Borrione},
title = {A functional formalization of on chip communications},
journal = {Formal Aspects Comput.},
volume = {20},
number = {3},
pages = {241--258},
year = {2008},
url = {https://doi.org/10.1007/s00165-007-0049-0},
doi = {10.1007/S00165-007-0049-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SchmaltzB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/SchmaltzT08,
author = {Julien Schmaltz and
Jan Tretmans},
editor = {Franck Cassez and
Claude Jard},
title = {On Conformance Testing for Timed Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {250--264},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_18},
doi = {10.1007/978-3-540-85778-5\_18},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/SchmaltzT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/BorrioneHPS08,
author = {Dominique Borrione and
Amr Helmy and
Laurence Pierre and
Julien Schmaltz},
editor = {Marcelo Lubaszewski and
Michel Renovell and
Rajesh K. Gupta},
title = {Executable formal specification and validation of NoC communication
infrastructures},
booktitle = {Proceedings of the 21st Annual Symposium on Integrated Circuits and
Systems Design, {SBCCI} 2008, Gramado, Brazil, September 1-4, 2008},
pages = {176--181},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1404371.1404421},
doi = {10.1145/1404371.1404421},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbcci/BorrioneHPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Schmaltz07,
author = {Julien Schmaltz},
title = {A Formal Model of Clock Domain Crossing and Automated Verification
of Time-Triggered Hardware},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {223--230},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.22},
doi = {10.1109/FAMCAD.2007.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Schmaltz07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nocs/BorrioneHPS07,
author = {Dominique Borrione and
Amr Helmy and
Laurence V. Pierre and
Julien Schmaltz},
title = {A Generic Model for Formally Verifying NoC Communication Architectures:
{A} Case Study},
booktitle = {First International Symposium on Networks-on-Chips, {NOCS} 2007, 7-9
May 2007, Princeton, New Jersey, USA, Proceedings},
pages = {127--136},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/NOCS.2007.1},
doi = {10.1109/NOCS.2007.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nocs/BorrioneHPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl2/SchmaltzB06,
author = {Julien Schmaltz and
Dominique Borrione},
editor = {Panagiotis Manolios and
Matthew Wilding},
title = {Towards a formal theory of on chip communications in the {ACL2} logic},
booktitle = {Proceedings of the Sixth International Workshop on the {ACL2} Theorem
Prover and its Applications, {ACL2} 2006, Seattle, Washington, USA,
August 15-16, 2006},
pages = {47--56},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1217975.1217985},
doi = {10.1145/1217975.1217985},
timestamp = {Tue, 23 Jun 2020 17:42:40 +0200},
biburl = {https://dblp.org/rec/conf/acl2/SchmaltzB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SchmaltzB06,
author = {Julien Schmaltz and
Dominique Borrione},
editor = {Serge Autexier and
Stephan Merz and
Leendert W. N. van der Torre and
Reinhard Wilhelm and
Pierre Wolper},
title = {Formalizing On Chip Communications in a Functional Style},
booktitle = {Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University,
Saarbr{\"{u}}cken, Germany},
series = {OASIcs},
volume = {3},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/700},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/SchmaltzB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Schmaltz06,
author = {Julien Schmaltz},
title = {A Formal Model of Lower System Layers},
booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
{FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
pages = {191--192},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/FMCAD.2006.1},
doi = {10.1109/FMCAD.2006.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Schmaltz06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/SchmaltzB05,
author = {Julien Schmaltz and
Dominique Borrione},
editor = {Joe Hurd and
Thomas F. Melham},
title = {A Generic Network on Chip Model},
booktitle = {Theorem Proving in Higher Order Logics, 18th International Conference,
TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3603},
pages = {310--325},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11541868\_20},
doi = {10.1007/11541868\_20},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/SchmaltzB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SchmaltzB04,
author = {Julien Schmaltz and
Dominique Borrione},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {A Functional Approach to the Formal Specification of Networks on Chip},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {52--66},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_5},
doi = {10.1007/978-3-540-30494-4\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SchmaltzB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/SammaneSTOB04,
author = {Ghiath Al Sammane and
Julien Schmaltz and
Diana Toma and
Pierre Ostier and
Dominique Borrione},
editor = {Edna Natividade da Silva Barros and
Fl{\'{a}}vio Rech Wagner and
Luigi Carro and
Franz{-}Josef Rammig},
title = {TheoSim: combining symbolic simulation and theorem proving for hardware
verification},
booktitle = {Proceedings of the 17th Annual Symposium on Integrated Circuits and
Systems Design, {SBCCI} 2004, Pernambuco, Brazil, September 7-11,
2004},
pages = {60--65},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1016568.1016591},
doi = {10.1145/1016568.1016591},
timestamp = {Fri, 03 Jun 2022 10:53:26 +0200},
biburl = {https://dblp.org/rec/conf/sbcci/SammaneSTOB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SammaneTSOB03,
author = {Ghiath Al Sammane and
Diana Toma and
Julien Schmaltz and
Pierre Ostier and
Dominique Borrione},
editor = {Daniel Geist and
Enrico Tronci},
title = {Constrained Symbolic Simulation with Mathematica and {ACL2}},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {150--157},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_14},
doi = {10.1007/978-3-540-39724-3\_14},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/SammaneTSOB03.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-25 02:41 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:
