Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter Poplavko
@article{DBLP:journals/sttt/GioulekasPKBP20,
author = {Fotios Gioulekas and
Peter Poplavko and
Panagiotis Katsaros and
Saddek Bensalem and
Pedro Palomo},
title = {Correct-by-construction model-based design of reactive streaming software
for multi-core embedded systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {1},
pages = {3--32},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00521-7},
doi = {10.1007/S10009-019-00521-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GioulekasPKBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GioulekasPKBP20a,
author = {Fotios Gioulekas and
Peter Poplavko and
Panagiotis Katsaros and
Saddek Bensalem and
Pedro Palomo},
title = {Correction to: Correct-by-construction model-based design of reactive
streaming software for multi-core embedded systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {1},
pages = {33--34},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00523-5},
doi = {10.1007/S10009-019-00523-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GioulekasPKBP20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/SocciPBB19,
author = {Dario Socci and
Peter Poplavko and
Saddek Bensalem and
Marius Bozga},
title = {Priority-based scheduling of mixed-critical jobs},
journal = {Real Time Syst.},
volume = {55},
number = {4},
pages = {709--773},
year = {2019},
url = {https://doi.org/10.1007/s11241-019-09329-9},
doi = {10.1007/S11241-019-09329-9},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/SocciPBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/GiannopoulouPSH18,
author = {Georgia Giannopoulou and
Peter Poplavko and
Dario Socci and
Pengcheng Huang and
Nikolay Stoimenov and
Paraskevas Bourgos and
Lothar Thiele and
Marius Bozga and
Saddek Bensalem and
Sylvain Girbal and
Madeleine Faug{\`{e}}re and
Romain Soulat and
Beno{\^{\i}}t Dupont de Dinechin},
title = {DOL-BIP-Critical: a tool chain for rigorous design and implementation
of mixed-criticality multi-core systems},
journal = {Des. Autom. Embed. Syst.},
volume = {22},
number = {1-2},
pages = {141--181},
year = {2018},
url = {https://doi.org/10.1007/s10617-018-9206-3},
doi = {10.1007/S10617-018-9206-3},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/GiannopoulouPSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/NouriPAZBK18,
author = {Ayoub Nouri and
Peter Poplavko and
Lefteris Angelis and
Alexandros Zerzelidis and
Saddek Bensalem and
Panagiotis Katsaros},
title = {Maximal software execution time: a regression-based approach},
journal = {Innov. Syst. Softw. Eng.},
volume = {14},
number = {2},
pages = {101--116},
year = {2018},
url = {https://doi.org/10.1007/s11334-018-0314-9},
doi = {10.1007/S11334-018-0314-9},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/NouriPAZBK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GioulekasPKBP18,
author = {Fotios Gioulekas and
Peter Poplavko and
Panagiotis Katsaros and
Saddek Bensalem and
Pedro Palomo},
editor = {Alessandra Russo and
Andy Sch{\"{u}}rr},
title = {A Process Network Model for Reactive Streaming Software with Deterministic
Task Parallelism},
booktitle = {Fundamental Approaches to Software Engineering, 21st International
Conference, {FASE} 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 = {10802},
pages = {94--110},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89363-1\_6},
doi = {10.1007/978-3-319-89363-1\_6},
timestamp = {Fri, 31 Jan 2020 21:32:22 +0100},
biburl = {https://dblp.org/rec/conf/fase/GioulekasPKBP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/KahilPSB18,
author = {Rany Kahil and
Peter Poplavko and
Dario Socci and
Saddek Bensalem},
title = {Predictability in Mixed-Criticality Systems},
booktitle = {24th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2018, Hakodate, Japan, August 28-31,
2018},
pages = {179--184},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/RTCSA.2018.00029},
doi = {10.1109/RTCSA.2018.00029},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/KahilPSB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/KahilSPB18,
author = {Rany Kahil and
Dario Socci and
Peter Poplavko and
Saddek Bensalem},
editor = {Yassine Ouhammou and
Fr{\'{e}}d{\'{e}}ric Ridouard and
Emmanuel Grolleau and
Mathieu Jan and
Moris Behnam},
title = {Algorithmic Complexity of Correctness Testing in MC-Scheduling},
booktitle = {Proceedings of the 26th International Conference on Real-Time Networks
and Systems, {RTNS} 2018, Chasseneuil-du-Poitou, France, October 10-12,
2018},
pages = {180--190},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3273905.3273916},
doi = {10.1145/3273905.3273916},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtns/KahilSPB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1806-09850,
author = {Fotios Gioulekas and
Peter Poplavko and
Panagiotis Katsaros and
Pedro Palomo},
editor = {Simon Bliudze and
Saddek Bensalem},
title = {Process Network Models for Embedded System Design Based on the Real-Time
{BIP} Execution Engine},
booktitle = {Proceedings of the 1st International Workshop on Methods and Tools
for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
15th April 2018},
series = {{EPTCS}},
volume = {272},
pages = {79--92},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.272.7},
doi = {10.4204/EPTCS.272.7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-09850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GioulekasPKKBBP17,
author = {Fotios Gioulekas and
Peter Poplavko and
Rany Kahil and
Panagiotis Katsaros and
Marius Bozga and
Saddek Bensalem and
Pedro Palomo},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Design of Embedded Systems with Complex Task Dependencies and Shared
Resource Interference (Short Paper)},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {401--407},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_28},
doi = {10.1007/978-3-319-66197-1\_28},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GioulekasPKKBBP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/PoplavkoNAZBK17,
author = {Peter Poplavko and
Ayoub Nouri and
Lefteris Angelis and
Alexandros Zerzelidis and
Saddek Bensalem and
Panagiotis Katsaros},
editor = {Kamel Barkaoui and
Hanifa Boucheneb and
Ali Mili and
Sofi{\`{e}}ne Tahar},
title = {Regression-Based Statistical Bounds on Software Execution Time},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 11th International Conference, VECoS 2017, Montreal, QC, Canada,
August 24-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10466},
pages = {48--63},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66176-6\_4},
doi = {10.1007/978-3-319-66176-6\_4},
timestamp = {Wed, 31 Jan 2024 20:36:03 +0100},
biburl = {https://dblp.org/rec/conf/vecos/PoplavkoNAZBK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PoplavkoKSBB16,
author = {Peter Poplavko and
Rany Kahil and
Dario Socci and
Saddek Bensalem and
Marius Bozga},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {605--621},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_42},
doi = {10.1007/978-3-319-47166-2\_42},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/PoplavkoKSBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/PoplavkoSBBB15,
author = {Peter Poplavko and
Dario Socci and
Paraskevas Bourgos and
Saddek Bensalem and
Marius Bozga},
editor = {Wolfgang Nebel and
David Atienza},
title = {Models for deterministic execution of real-time multiprocessor applications},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {1665--1670},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2757198},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/PoplavkoSBBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/SocciPBB15,
author = {Dario Socci and
Peter Poplavko and
Saddek Bensalem and
Marius Bozga},
title = {Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor
Platforms},
booktitle = {17th {IEEE} International Conference on High Performance Computing
and Communications, {HPCC} 2015, 7th {IEEE} International Symposium
on Cyberspace Safety and Security, {CSS} 2015, and 12th {IEEE} International
Conference on Embedded Software and Systems, {ICESS} 2015, New York,
NY, USA, August 24-26, 2015},
pages = {684--687},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/HPCC-CSS-ICESS.2015.321},
doi = {10.1109/HPCC-CSS-ICESS.2015.321},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/SocciPBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/SocciPBB15a,
author = {Dario Socci and
Peter Poplavko and
Saddek Bensalem and
Marius Bozga},
title = {A Timed-Automata Based Middleware for Time-Critical Multicore Applications},
booktitle = {2015 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2015,
Auckland, New Zealand, April 13-17, 2015},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISORCW.2015.55},
doi = {10.1109/ISORCW.2015.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/SocciPBB15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/SocciPBB15,
author = {Dario Socci and
Peter Poplavko and
Saddek Bensalem and
Marius Bozga},
title = {Multiprocessor Scheduling of Precedence-constrained Mixed-Critical
Jobs},
booktitle = {{IEEE} 18th International Symposium on Real-Time Distributed Computing,
{ISORC} 2015, Auckland, New Zealand, 13-17 April, 2015},
pages = {198--207},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISORC.2015.18},
doi = {10.1109/ISORC.2015.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/SocciPBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/TendulkarPGM14,
author = {Pranav Tendulkar and
Peter Poplavko and
Ioannis Galanommatis and
Oded Maler},
title = {Many-Core Scheduling of Data Parallel Applications Using {SMT} Solvers},
booktitle = {17th Euromicro Conference on Digital System Design, {DSD} 2014, Verona,
Italy, August 27-29, 2014},
pages = {615--622},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/DSD.2014.10},
doi = {10.1109/DSD.2014.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/TendulkarPGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/SocciPBB13,
author = {Dario Socci and
Peter Poplavko and
Saddek Bensalem and
Marius Bozga},
title = {Mixed Critical Earliest Deadline First},
booktitle = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
France, July 9-12, 2013},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ECRTS.2013.20},
doi = {10.1109/ECRTS.2013.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/SocciPBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/TendulkarPM13,
author = {Pranav Tendulkar and
Peter Poplavko and
Oded Maler},
editor = {V{\'{\i}}ctor A. Braberman and
Laurent Fribourg},
title = {Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores},
booktitle = {Formal Modeling and Analysis of Timed Systems - 11th International
Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8053},
pages = {228--242},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40229-6\_16},
doi = {10.1007/978-3-642-40229-6\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/TendulkarPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FradetGP12,
author = {Pascal Fradet and
Alain Girault and
Peter Poplavko},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {{SPDF:} {A} schedulable parametric data-flow MoC},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {769--774},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176572},
doi = {10.1109/DATE.2012.6176572},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/FradetGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/PoplavkoGB10,
author = {Peter Poplavko and
Marc Geilen and
Twan Basten},
title = {Predicting the throughput of multiprocessor applications under dynamic
workload},
booktitle = {28th International Conference on Computer Design, {ICCD} 2010, 3-6
October 2010, Amsterdam, The Netherlands, Proceedings},
pages = {282--288},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICCD.2010.5647740},
doi = {10.1109/ICCD.2010.5647740},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/PoplavkoGB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/PoplavkoBM07,
author = {Peter Poplavko and
Twan Basten and
Jef L. van Meerbergen},
title = {Execution-time Prediction for Dynamic Streaming Applications with
Task-level Parallelism},
booktitle = {Tenth Euromicro Conference on Digital System Design: Architectures,
Methods and Tools {(DSD} 2007), 29-31 August 2007, L{\"{u}}beck,
Germany},
pages = {228--235},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/DSD.2007.4341473},
doi = {10.1109/DSD.2007.4341473},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/dsd/PoplavkoBM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/PoplavkoBPMBW05,
author = {Peter Poplavko and
Twan Basten and
Milan Pastrnak and
Jef L. van Meerbergen and
Marco Bekooij and
Peter H. N. de With},
title = {Extended abstract: estimation times of on-chip multiprocessor stream-oriented
applications},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {250--251},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487928},
doi = {10.1109/MEMCOD.2005.1487928},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/PoplavkoBPMBW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsoc/PastrnakPWF04,
author = {Milan Pastrnak and
Peter Poplavko and
Peter H. N. de With and
Dirk Farin},
title = {Data-flow Timing Models of Dynamic Multimedia Applications for Multiprocessor
Systems},
booktitle = {Proceedings of the 4th {IEEE} International Workshop on System-on-Chip
for Real-Time Applications (IWSOC'04), 19-21 July 2004, Banff, Alberta,
Canada},
pages = {206--209},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IWSOC.2004.1319879},
doi = {10.1109/IWSOC.2004.1319879},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwsoc/PastrnakPWF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/BekooijMPMPM04,
author = {Marco Bekooij and
Orlando Moreira and
Peter Poplavko and
Bart Mesman and
Milan Pastrnak and
Jef L. van Meerbergen},
editor = {Henk Schepers},
title = {Predictable Embedded Multiprocessor System Design},
booktitle = {Software and Compilers for Embedded Systems, 8th International Workshop,
{SCOPES} 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3199},
pages = {77--91},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30113-4\_7},
doi = {10.1007/978-3-540-30113-4\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/scopes/BekooijMPMPM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/PoplavkoBBMM03,
author = {Peter Poplavko and
Twan Basten and
Marco Bekooij and
Jef L. van Meerbergen and
Bart Mesman},
editor = {Jaime H. Moreno and
Praveen K. Murthy and
Thomas M. Conte and
Paolo Faraboschi},
title = {Task-level timing models for guaranteed performance in multiprocessor
networks-on-chip},
booktitle = {Proceedings of the International Conference on Compilers, Architectures
and Synthesis for Embedded Systems, {CASES} 2003, San Jose, California,
USA, October 30 - November 1, 2003},
pages = {63--72},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/951710.951721},
doi = {10.1145/951710.951721},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/PoplavkoBBMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/03/GoossensDMPRRWW03,
author = {Kees Goossens and
John Dielissen and
Jef L. van Meerbergen and
Peter Poplavko and
Andrei Radulescu and
Edwin Rijpkema and
Erwin Waterlander and
Paul Wielage},
editor = {Axel Jantsch and
Hannu Tenhunen},
title = {Guaranteeing the Quality of Services in Networks on Chip},
booktitle = {Networks on Chip},
pages = {61--82},
publisher = {Kluwer / Springer},
year = {2003},
url = {https://doi.org/10.1007/0-306-48727-6\_4},
doi = {10.1007/0-306-48727-6\_4},
timestamp = {Thu, 18 Jul 2019 19:46:19 +0200},
biburl = {https://dblp.org/rec/books/sp/03/GoossensDMPRRWW03.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 05:56 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:
