Peter Poplavko

27 papers A 2B 4C 7Misc 2Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2020 J jnl
Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.
Int. J. Softw. Tools Technol. Transf.
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
2020 J jnl
Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.
Int. J. Softw. Tools Technol. Transf.
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
2019 J jnl
Priority-based scheduling of mixed-critical jobs.
Real Time Syst.
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2018 B conf
A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism.
FASE
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
2018 Misc conf
Algorithmic Complexity of Correctness Testing in MC-Scheduling.
RTNS
Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem
2018 J jnl
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems.
Des. Autom. Embed. Syst.
Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Benoît Dupont de Dinechin
2018 J jnl
Maximal software execution time: a regression-based approach.
Innov. Syst. Softw. Eng.
Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
2018 B conf
Predictability in Mixed-Criticality Systems.
RTCSA
Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem
2018 — conf
Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine.
MeTRiD@ETAPS
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Pedro Palomo
2017 B conf
Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper).
SEFM
Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo
2017 C conf
Regression-Based Statistical Bounds on Software Execution Time.
VECoS
Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
2016 — conf
Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference.
ISoLA (1)
Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga
2015 — conf
A Timed-Automata Based Middleware for Time-Critical Multicore Applications.
ISORC Workshops
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2015 A conf
Models for deterministic execution of real-time multiprocessor applications.
DATE
Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga
2015 C conf
Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs.
ISORC
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2015 — conf
Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms.
HPCC/CSS/ICESS
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2014 C conf
Many-Core Scheduling of Data Parallel Applications Using SMT Solvers.
DSD
Pranav Tendulkar, Peter Poplavko, Ioannis Galanommatis, Oded Maler
2013 B conf
Mixed Critical Earliest Deadline First.
ECRTS
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2013 — conf
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores.
FORMATS
Pranav Tendulkar, Peter Poplavko, Oded Maler
2012 A conf
SPDF: A schedulable parametric data-flow MoC.
DATE
Pascal Fradet, Alain Girault, Peter Poplavko
2010 C conf
Predicting the throughput of multiprocessor applications under dynamic workload.
ICCD
Peter Poplavko, Marc Geilen, Twan Basten
2007 C conf
Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism.
DSD
Peter Poplavko, Twan Basten, Jef L. van Meerbergen
2005 C conf
Extended abstract: estimation times of on-chip multiprocessor stream-oriented applications.
MEMOCODE
Peter Poplavko, Twan Basten, Milan Pastrnak, Jef L. van Meerbergen, Marco Bekooij, Peter H. N. de With
2004 — conf
Data-flow Timing Models of Dynamic Multimedia Applications for Multiprocessor Systems.
IWSOC
Milan Pastrnak, Peter Poplavko, Peter H. N. de With, Dirk Farin
2004 C conf
Predictable Embedded Multiprocessor System Design.
SCOPES
Marco Bekooij, Orlando Moreira, Peter Poplavko, Bart Mesman, Milan Pastrnak, Jef L. van Meerbergen
2003 — ch.
Guaranteeing the Quality of Services in Networks on Chip.
Networks on Chip
Kees Goossens, John Dielissen, Jef L. van Meerbergen, Peter Poplavko, Andrei Radulescu, Edwin Rijpkema, Erwin Waterlander, Paul Wielage
2003 Misc conf
Task-level timing models for guaranteed performance in multiprocessor networks-on-chip.
CASES
Peter Poplavko, Twan Basten, Marco Bekooij, Jef L. van Meerbergen, Bart Mesman