default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Timothy Bourke

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Timothy Bourke

download as .bib file

@article{DBLP:journals/tecs/BourkePP23,
  author       = {Timothy Bourke and
                  Basile Pesin and
                  Marc Pouzet},
  title        = {Verified Compilation of Synchronous Dataflow with State Machines},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {22},
  number       = {5s},
  pages        = {137:1--137:26},
  year         = {2023},
  url          = {https://doi.org/10.1145/3608102},
  doi          = {10.1145/3608102},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/BourkePP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecrts/BourkeBP23,
  author       = {Timothy Bourke and
                  Vincent Bregeon and
                  Marc Pouzet},
  editor       = {Alessandro V. Papadopoulos},
  title        = {Scheduling and Compiling Rate-Synchronous Programs with End-To-End
                  Latency Constraints},
  booktitle    = {35th Euromicro Conference on Real-Time Systems, {ECRTS} 2023, July
                  11-14, 2023, Vienna, Austria},
  series       = {LIPIcs},
  volume       = {262},
  pages        = {1:1--1:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.ECRTS.2023.1},
  doi          = {10.4230/LIPICS.ECRTS.2023.1},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecrts/BourkeBP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tecs/BourkeJPP21,
  author       = {Timothy Bourke and
                  Paul Jeanmaire and
                  Basile Pesin and
                  Marc Pouzet},
  title        = {Verified Lustre Normalization with Node Subsampling},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {20},
  number       = {5s},
  pages        = {98:1--98:25},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477041},
  doi          = {10.1145/3477041},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tecs/BourkeJPP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/Bourke21,
  author       = {Timothy Bourke},
  editor       = {Louis Mandel},
  title        = {Specification and end-to-end proof of a reactive language and its
                  compiler (invited talk)},
  booktitle    = {{REBLS} 2021: Proceedings of the 8th {ACM} {SIGPLAN} International
                  Workshop on Reactive and Event-Based Languages and Systems, Chicago,
                  IL, USA, 18 October 2021},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3486605.3487187},
  doi          = {10.1145/3486605.3487187},
  timestamp    = {Tue, 26 Oct 2021 17:03:23 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/Bourke21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/BourkeBP20,
  author       = {Timothy Bourke and
                  L{\'{e}}lio Brun and
                  Marc Pouzet},
  title        = {Mechanized semantics and verified compilation for a dataflow synchronous
                  language with reset},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{POPL}},
  pages        = {44:1--44:29},
  year         = {2020},
  url          = {https://doi.org/10.1145/3371112},
  doi          = {10.1145/3371112},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/BourkeBP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pieee/BenvenisteBCCPP18,
  author       = {Albert Benveniste and
                  Timothy Bourke and
                  Beno{\^{\i}}t Caillaud and
                  Jean{-}Louis Cola{\c{c}}o and
                  C{\'{e}}dric Pasteur and
                  Marc Pouzet},
  title        = {Building a Hybrid Systems Modeler on Synchronous Languages Principles},
  journal      = {Proc. {IEEE}},
  volume       = {106},
  number       = {9},
  pages        = {1568--1592},
  year         = {2018},
  url          = {https://doi.org/10.1109/JPROC.2018.2858016},
  doi          = {10.1109/JPROC.2018.2858016},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pieee/BenvenisteBCCPP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scopes/BourkeBP18,
  author       = {Timothy Bourke and
                  L{\'{e}}lio Brun and
                  Marc Pouzet},
  editor       = {Sander Stuijk},
  title        = {Towards a verified Lustre compiler with modular reset},
  booktitle    = {Proceedings of the 21st International Workshop on Software and Compilers
                  for Embedded Systems, {SCOPES} 2018, Sankt Goar, Germany, May 28-30,
                  2018},
  pages        = {14--17},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3207719.3207732},
  doi          = {10.1145/3207719.3207732},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scopes/BourkeBP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tecs/BourkeCCPPP17,
  author       = {Timothy Bourke and
                  Francois Carcenac and
                  Jean{-}Louis Cola{\c{c}}o and
                  Bruno Pagano and
                  C{\'{e}}dric Pasteur and
                  Marc Pouzet},
  title        = {A Synchronous Look at the Simulink Standard Library},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {16},
  number       = {5s},
  pages        = {176:1--176:24},
  year         = {2017},
  url          = {https://doi.org/10.1145/3126516},
  doi          = {10.1145/3126516},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/BourkeCCPPP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BaudartBP17,
  author       = {Guillaume Baudart and
                  Timothy Bourke and
                  Marc Pouzet},
  editor       = {Franco Fummi and
                  Hiren D. Patel and
                  Samarjit Chakraborty},
  title        = {Symbolic simulation of dataflow synchronous programs with timers},
  booktitle    = {2017 Forum on Specification and Design Languages, {FDL} 2017, Verona,
                  Italy, September 18-20, 2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FDL.2017.8303894},
  doi          = {10.1109/FDL.2017.8303894},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/BaudartBP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HanxledenBG17,
  author       = {Reinhard von Hanxleden and
                  Timothy Bourke and
                  Alain Girault},
  editor       = {Franco Fummi and
                  Hiren D. Patel and
                  Samarjit Chakraborty},
  title        = {Real-time ticks for synchronous programming},
  booktitle    = {2017 Forum on Specification and Design Languages, {FDL} 2017, Verona,
                  Italy, September 18-20, 2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FDL.2017.8303893},
  doi          = {10.1109/FDL.2017.8303893},
  timestamp    = {Tue, 06 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/HanxledenBG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BaudartBP17a,
  author       = {Guillaume Baudart and
                  Timothy Bourke and
                  Marc Pouzet},
  editor       = {Daniel Gro{\ss}e and
                  Sara Vinco and
                  Hiren D. Patel},
  title        = {Symbolic Simulation of Dataflow Synchronous Programs with Timers},
  booktitle    = {Languages, Design Methods, and Tools for Electronic System Design
                  - Selected Contributions from {FDL} 2017 [Verona, Italy, September
                  18-20, 2017]},
  series       = {Lecture Notes in Electrical Engineering},
  volume       = {530},
  pages        = {45--70},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-02215-0\_3},
  doi          = {10.1007/978-3-030-02215-0\_3},
  timestamp    = {Tue, 29 Nov 2022 08:38:47 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BaudartBP17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/BourkeBDLPR17,
  author       = {Timothy Bourke and
                  L{\'{e}}lio Brun and
                  Pierre{-}{\'{E}}variste Dagand and
                  Xavier Leroy and
                  Marc Pouzet and
                  Lionel Rieg},
  editor       = {Albert Cohen and
                  Martin T. Vechev},
  title        = {A formally verified compiler for Lustre},
  booktitle    = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
                  June 18-23, 2017},
  pages        = {586--601},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3062341.3062358},
  doi          = {10.1145/3062341.3062358},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/BourkeBDLPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BourkeGH16,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {Mechanizing a Process Algebra for Network Protocols},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {3},
  pages        = {309--341},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9358-9},
  doi          = {10.1007/S10817-015-9358-9},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BourkeGH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tecs/BaudartBB16,
  author       = {Guillaume Baudart and
                  Albert Benveniste and
                  Timothy Bourke},
  title        = {Loosely Time-Triggered Architectures: Improvements and Comparisons},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {15},
  number       = {4},
  pages        = {71:1--71:26},
  year         = {2016},
  url          = {https://doi.org/10.1145/2932189},
  doi          = {10.1145/2932189},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tecs/BaudartBB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/BaudartBP16,
  author       = {Guillaume Baudart and
                  Timothy Bourke and
                  Marc Pouzet},
  editor       = {Ruzica Piskac and
                  Muralidhar Talupur},
  title        = {Soundness of the quasi-synchronous abstraction},
  booktitle    = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
                  View, CA, USA, October 3-6, 2016},
  pages        = {9--16},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/FMCAD.2016.7886655},
  doi          = {10.1109/FMCAD.2016.7886655},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/BaudartBP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1812-11668,
  author       = {Timothy Bourke and
                  Jun Inoue and
                  Marc Pouzet},
  editor       = {Kenichi Asai and
                  Mark R. Shinwell},
  title        = {Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers},
  booktitle    = {Proceedings {ML} Family Workshop / OCaml Users and Developers workshops,
                  {ML/OCAML} 2016, Nara, Japan, September 22-23, 2016},
  series       = {{EPTCS}},
  volume       = {285},
  pages        = {101--130},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.285.4},
  doi          = {10.4204/EPTCS.285.4},
  timestamp    = {Thu, 14 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1812-11668.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cc/BourkeCPPP15,
  author       = {Timothy Bourke and
                  Jean{-}Louis Cola{\c{c}}o and
                  Bruno Pagano and
                  C{\'{e}}dric Pasteur and
                  Marc Pouzet},
  editor       = {Bj{\"{o}}rn Franke},
  title        = {A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages},
  booktitle    = {Compiler Construction - 24th International Conference, {CC} 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       = {9031},
  pages        = {69--88},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46663-6\_4},
  doi          = {10.1007/978-3-662-46663-6\_4},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/BourkeCPPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/BaudartBB15,
  author       = {Guillaume Baudart and
                  Albert Benveniste and
                  Timothy Bourke},
  editor       = {Alain Girault and
                  Nan Guan},
  title        = {Loosely time-triggered architectures: improvements and comparisons},
  booktitle    = {2015 International Conference on Embedded Software, {EMSOFT} 2015,
                  Amsterdam, Netherlands, October 4-9, 2015},
  pages        = {85--94},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/EMSOFT.2015.7318263},
  doi          = {10.1109/EMSOFT.2015.7318263},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/BaudartBB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/BourkeGH15,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {A mechanized proof of loop freedom of the (untimed) {AODV} routing
                  protocol},
  journal      = {CoRR},
  volume       = {abs/1505.05646},
  year         = {2015},
  url          = {http://arxiv.org/abs/1505.05646},
  eprinttype    = {arXiv},
  eprint       = {1505.05646},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BourkeGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/BourkeGH15a,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {Mechanizing a Process Algebra for Network Protocols},
  journal      = {CoRR},
  volume       = {abs/1512.07304},
  year         = {2015},
  url          = {http://arxiv.org/abs/1512.07304},
  eprinttype    = {arXiv},
  eprint       = {1512.07304},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BourkeGH15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Bourke14,
  author       = {Timothy Bourke},
  title        = {Mechanization of the Algebra for Wireless Networks {(AWN)}},
  journal      = {Arch. Formal Proofs},
  volume       = {2014},
  year         = {2014},
  url          = {https://www.isa-afp.org/entries/AWN.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Bourke14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BourkeH14,
  author       = {Timothy Bourke and
                  Peter H{\"{o}}fner},
  title        = {Loop freedom of the (untimed) {AODV} routing protocol},
  journal      = {Arch. Formal Proofs},
  volume       = {2014},
  year         = {2014},
  url          = {https://www.isa-afp.org/entries/AODV.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/BourkeH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BourkeGH14,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  editor       = {Franck Cassez and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {A Mechanized Proof of Loop Freedom of the (Untimed) {AODV} Routing
                  Protocol},
  booktitle    = {Automated Technology for Verification and Analysis - 12th International
                  Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8837},
  pages        = {47--63},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11936-6\_5},
  doi          = {10.1007/978-3-319-11936-6\_5},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BourkeGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BenvenisteBCPP14,
  author       = {Albert Benveniste and
                  Timothy Bourke and
                  Beno{\^{\i}}t Caillaud and
                  Bruno Pagano and
                  Marc Pouzet},
  editor       = {Martin Fr{\"{a}}nzle and
                  John Lygeros},
  title        = {A type-based analysis of causality loops in hybrid systems modelers},
  booktitle    = {17th International Conference on Hybrid Systems: Computation and Control
                  (part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
  pages        = {71--82},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2562059.2562125},
  doi          = {10.1145/2562059.2562125},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/BenvenisteBCPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/BourkeGH14,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  editor       = {Gerwin Klein and
                  Ruben Gamboa},
  title        = {Showing Invariance Compositionally for a Process Algebra for Network
                  Protocols},
  booktitle    = {Interactive Theorem Proving - 5th International Conference, {ITP}
                  2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
                  Austria, July 14-17, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8558},
  pages        = {144--159},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08970-6\_10},
  doi          = {10.1007/978-3-319-08970-6\_10},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/BourkeGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/BourkeGH14,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {Showing invariance compositionally for a process algebra for network
                  protocols},
  journal      = {CoRR},
  volume       = {abs/1407.3519},
  year         = {2014},
  url          = {http://arxiv.org/abs/1407.3519},
  eprinttype    = {arXiv},
  eprint       = {1407.3519},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BourkeGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tecs/BourkeS13,
  author       = {Timothy Bourke and
                  Arcot Sowmya},
  title        = {Analyzing an embedded sensor with timed automata in uppaal},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {13},
  number       = {3},
  pages        = {44:1--44:26},
  year         = {2013},
  url          = {https://doi.org/10.1145/2539036.2539040},
  doi          = {10.1145/2539036.2539040},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/BourkeS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BourkeP13,
  author       = {Timothy Bourke and
                  Marc Pouzet},
  editor       = {Calin Belta and
                  Franjo Ivancic},
  title        = {Z{\'{e}}lus: a synchronous language with ODEs},
  booktitle    = {Proceedings of the 16th international conference on Hybrid systems:
                  computation and control, {HSCC} 2013, April 8-11, 2013, Philadelphia,
                  PA, {USA}},
  pages        = {113--118},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2461328.2461348},
  doi          = {10.1145/2461328.2461348},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/BourkeP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sp/MurrayMBGBSLGK13,
  author       = {Toby C. Murray and
                  Daniel Matichuk and
                  Matthew Brassil and
                  Peter Gammie and
                  Timothy Bourke and
                  Sean Seefried and
                  Corey Lewis and
                  Xin Gao and
                  Gerwin Klein},
  title        = {seL4: From General Purpose to a Proof of Information Flow Enforcement},
  booktitle    = {2013 {IEEE} Symposium on Security and Privacy, {SP} 2013, Berkeley,
                  CA, USA, May 19-22, 2013},
  pages        = {415--429},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SP.2013.35},
  doi          = {10.1109/SP.2013.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sp/MurrayMBGBSLGK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/BenvenisteBCP12,
  author       = {Albert Benveniste and
                  Timothy Bourke and
                  Beno{\^{\i}}t Caillaud and
                  Marc Pouzet},
  title        = {Non-standard semantics of hybrid systems modelers},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {78},
  number       = {3},
  pages        = {877--910},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jcss.2011.08.009},
  doi          = {10.1016/J.JCSS.2011.08.009},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BenvenisteBCP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/BourkeDKK12,
  author       = {Timothy Bourke and
                  Matthias Daum and
                  Gerwin Klein and
                  Rafal Kolanski},
  editor       = {Johan Jeuring and
                  John A. Campbell and
                  Jacques Carette and
                  Gabriel Dos Reis and
                  Petr Sojka and
                  Makarius Wenzel and
                  Volker Sorge},
  title        = {Challenges and Experiences in Managing Large-Scale Proofs},
  booktitle    = {Intelligent Computer Mathematics - 11th International Conference,
                  {AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop,
                  {DML} 2012, 11th International Conference, {MKM} 2012, Systems and
                  Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7362},
  pages        = {32--48},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31374-5\_3},
  doi          = {10.1007/978-3-642-31374-5\_3},
  timestamp    = {Sun, 02 Jun 2019 21:23:46 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/BourkeDKK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/BenvenisteBCP11,
  author       = {Albert Benveniste and
                  Timothy Bourke and
                  Beno{\^{\i}}t Caillaud and
                  Marc Pouzet},
  editor       = {Samarjit Chakraborty and
                  Ahmed Jerraya and
                  Sanjoy K. Baruah and
                  Sebastian Fischmeister},
  title        = {A hybrid synchronous language with hierarchical automata: static typing
                  and translation to synchronous code},
  booktitle    = {Proceedings of the 11th International Conference on Embedded Software,
                  {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
                  Taipei, Taiwan, October 9-14, 2011},
  pages        = {137--148},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2038642.2038664},
  doi          = {10.1145/2038642.2038664},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/BenvenisteBCP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lctrts/BenvenisteBCP11,
  author       = {Albert Benveniste and
                  Timothy Bourke and
                  Beno{\^{\i}}t Caillaud and
                  Marc Pouzet},
  editor       = {Jan Vitek and
                  Bjorn De Sutter},
  title        = {Divide and recycle: types and compilation for a hybrid synchronous
                  language},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN/SIGBED} 2011 conference on Languages,
                  compilers, and tools for embedded systems, {LCTES} 2011, Chicago,
                  IL, USA, April 11-14, 2011},
  pages        = {61--70},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1967677.1967687},
  doi          = {10.1145/1967677.1967687},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/BenvenisteBCP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/BourkeDLLLNW10,
  author       = {Timothy Bourke and
                  Alexandre David and
                  Kim G. Larsen and
                  Axel Legay and
                  Didier Lime and
                  Ulrik Nyman and
                  Andrzej Wasowski},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {New Results on Timed Specifications},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {175--192},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_12},
  doi          = {10.1007/978-3-642-28412-0\_12},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BourkeDLLLNW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Bourke09,
  author       = {Timothy Bourke},
  title        = {Modelling and programming embedded controllers with timed automata
                  and synchronous languages},
  school       = {University of New South Wales, Sydney, Australia},
  year         = {2009},
  url          = {http://handle.unsw.edu.au/1959.4/44746},
  timestamp    = {Thu, 15 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Bourke09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/BourkeS08,
  author       = {Timothy Bourke and
                  Arcot Sowmya},
  editor       = {Luca de Alfaro and
                  Jens Palsberg},
  title        = {Automatically transforming and relating Uppaal models of embedded
                  systems},
  booktitle    = {Proceedings of the 8th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2008, Atlanta, GA, USA, October 19-24,
                  2008},
  pages        = {59--68},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1450058.1450068},
  doi          = {10.1145/1450058.1450068},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/BourkeS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/BourkeS06,
  author       = {Timothy Bourke and
                  Arcot Sowmya},
  editor       = {Sang Lyul Min and
                  Wang Yi},
  title        = {A timing model for synchronous language implementations in simulink},
  booktitle    = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
  pages        = {93--101},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1176887.1176901},
  doi          = {10.1145/1176887.1176901},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/BourkeS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijseke/BourkeS05,
  author       = {Timothy Bourke and
                  Arcot Sowmya},
  title        = {Formal Models in Industry Standard Tools: an Argos Block within Simulink},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {15},
  number       = {2},
  pages        = {389--396},
  year         = {2005},
  url          = {https://doi.org/10.1142/S0218194005002300},
  doi          = {10.1142/S0218194005002300},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/BourkeS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.