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

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.