BibTeX records: Erik J. Luit

download as .bib file

@inproceedings{DBLP:conf/icsa/BrilL19,
  author    = {Reinder J. Bril and
               Erik J. Luit},
  title     = {Experience Report: Combining Mixed-Criticality Support with Resource
               Reservation and Spare Capacity Allocation},
  booktitle = {{IEEE} International Conference on Software Architecture Companion,
               {ICSA} Companion 2019, Hamburg, Germany, March 25-26, 2019},
  pages     = {65--68},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/ICSA-C.2019.00019},
  doi       = {10.1109/ICSA-C.2019.00019},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icsa/BrilL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eInformatica/0001LHB18,
  author    = {Tarun Gupta and
               Erik J. Luit and
               Martijn M. H. P. van den Heuvel and
               Reinder J. Bril},
  title     = {Experience Report: Towards Extending an OSEK-Compliant {RTOS} with
               Mixed Criticality Support},
  journal   = {e Informatica Softw. Eng. J.},
  volume    = {12},
  number    = {1},
  pages     = {305--320},
  year      = {2018},
  url       = {https://doi.org/10.5277/e-Inf180112},
  doi       = {10.5277/e-Inf180112},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eInformatica/0001LHB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/GuptaLHB17,
  author    = {Tarun Gupta and
               Erik J. Luit and
               Martijn M. H. P. van den Heuvel and
               Reinder J. Bril},
  title     = {Extending ExSched with Mixed Criticality Support - An Experience Report},
  booktitle = {2017 {IEEE} International Conference on Software Architecture Workshops,
               {ICSA} Workshops 2017, Gothenburg, Sweden, April 5-7, 2017},
  pages     = {23--28},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/ICSAW.2017.45},
  doi       = {10.1109/ICSAW.2017.45},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icsa/GuptaLHB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/birthday/MiddelkoopHKL14,
  author    = {Ronald Middelkoop and
               Cornelis Huizing and
               Ruurd Kuiper and
               Erik J. Luit},
  editor    = {Andrei Voronkov and
               Margarita V. Korovina},
  title     = {Pandora's Box},
  booktitle = {{HOWARD-60:} {A} Festschrift on the Occasion of Howard Barringer's
               60th Birthday},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {258--270},
  publisher = {EasyChair},
  year      = {2014},
  url       = {https://easychair.org/publications/paper/RGv},
  timestamp = {Wed, 27 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/MiddelkoopHKL14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/MiddelkoopHKL08,
  author    = {Ronald Middelkoop and
               Cornelis Huizing and
               Ruurd Kuiper and
               Erik J. Luit},
  title     = {Invariants for Non-Hierarchical Object Structures},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {195},
  pages     = {211--229},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2007.08.034},
  doi       = {10.1016/j.entcs.2007.08.034},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/MiddelkoopHKL08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MiddelkoopHKL08,
  author    = {Ronald Middelkoop and
               Cornelis Huizing and
               Ruurd Kuiper and
               Erik J. Luit},
  title     = {Specification and Verification of Invariants by Exploiting Layers
               in {OO} Designs},
  journal   = {Fundam. Informaticae},
  volume    = {85},
  number    = {1-4},
  pages     = {377--398},
  year      = {2008},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-26},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/MiddelkoopHKL08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/MiddelkoopHKL06,
  author    = {Ronald Middelkoop and
               Cornelis Huizing and
               Ruurd Kuiper and
               Erik J. Luit},
  title     = {Cooperation-based Invariants for {OO} Languages},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {160},
  pages     = {225--237},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2006.05.025},
  doi       = {10.1016/j.entcs.2006.05.025},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/MiddelkoopHKL06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/VerhooselWHL96,
  author    = {Jack P. C. Verhoosel and
               Lonnie R. Welch and
               Dieter K. Hammer and
               Erik J. Luit},
  title     = {Incorporating Temporal Considerations during Assignment and Pre-run-time
               Scheduling of Objects and Processes},
  journal   = {J. Parallel Distributed Comput.},
  volume    = {36},
  number    = {1},
  pages     = {13--31},
  year      = {1996},
  url       = {https://doi.org/10.1006/jpdc.1996.0087},
  doi       = {10.1006/jpdc.1996.0087},
  timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jpdc/VerhooselWHL96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/VerhooselHLWS95,
  author    = {Jack P. C. Verhoosel and
               Dieter K. Hammer and
               Erik J. Luit and
               Lonnie R. Welch and
               Alexander D. Stoyenko},
  title     = {A Model for Scheduling of Object-Based, Distributed Real-Time Systems},
  journal   = {Real Time Syst.},
  volume    = {8},
  number    = {1},
  pages     = {5--34},
  year      = {1995},
  url       = {https://doi.org/10.1007/BF01893144},
  doi       = {10.1007/BF01893144},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/rts/VerhooselHLWS95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/HammerLRSV94,
  author    = {Dieter K. Hammer and
               Erik J. Luit and
               Onno S. van Roosmalen and
               Peter van der Stok and
               Jack P. C. Verhoosel},
  title     = {Dedos: a distributed real-time environment},
  journal   = {{IEEE} Parallel Distributed Technol. Syst. Appl.},
  volume    = {2},
  number    = {4},
  pages     = {32--47},
  year      = {1994},
  url       = {https://doi.org/10.1109/88.345962},
  doi       = {10.1109/88.345962},
  timestamp = {Mon, 18 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ieeecc/HammerLRSV94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdp/VerhooselHLW94,
  author    = {Jack P. C. Verhoosel and
               Dieter K. Hammer and
               Erik J. Luit and
               Lonnie R. Welch},
  title     = {Assignment and pre-run-time scheduling of object-based, parallel real-time
               processes},
  booktitle = {Proceedings of the Sixth {IEEE} Symposium on Parallel and Distributed
               Processing, {SPDP} 1994, Dallas, Texas, {USA} , October 26-29, 1994},
  pages     = {638--645},
  publisher = {{IEEE} Computer Society},
  year      = {1994},
  url       = {https://doi.org/10.1109/SPDP.1994.346113},
  doi       = {10.1109/SPDP.1994.346113},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/spdp/VerhooselHLW94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/VerhooselLHJ91,
  author    = {Jack P. C. Verhoosel and
               Erik J. Luit and
               Dieter K. Hammer and
               E. Jansen},
  title     = {A Static Scheduling Algorithm for Distributed Real-Time Systems},
  journal   = {Real Time Syst.},
  volume    = {3},
  number    = {3},
  pages     = {227--246},
  year      = {1991},
  url       = {https://doi.org/10.1007/BF00364957},
  doi       = {10.1007/BF00364957},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/rts/VerhooselLHJ91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics