Dionisio de Niz

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 16

Top Topics

Spatial Locality

Execution Times

Priority Scheduling

Formal Verification

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton D. Hristozov, Bruno Sinopoli
Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks. IEEE Trans. Control. Syst. Technol. 31 (4) (2023)
Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton D. Hristozov, Bruno Sinopoli
Runtime System Support for CPS Software Rejuvenation. IEEE Trans. Emerg. Top. Comput. 11 (3) (2023)
Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Björn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim
Formal Verification of a Mixed-Trust Synchronization Protocol. RTNS (2021)
Hyoseung Kim, Dionisio de Niz, Björn Andersson, Mark H. Klein, John P. Lehoczky
Addressing Multi-core Timing Interference using Co-Runner Locking. RTSS (2021)
Dionisio de Niz, Björn Andersson, Hyoseung Kim, Mark H. Klein, John P. Lehoczky
Resilient Mixed-Trust Scheduling. RTSS (2021)
Dionisio de Niz, Björn Andersson, Hyoseung Kim, Mark Klein, John P. Lehoczky
Work-In-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling. RTSS (2020)
Jian-Jia Chen, Geoffrey Nelissen, Wen-Hung Huang, Maolin Yang, Björn B. Brandenburg, Konstantinos Bletsas, Cong Liu, Pascal Richard, Frédéric Ridouard, Neil C. Audsley, Raj Rajkumar, Dionisio de Niz, Georg von der Brüggen
Many suspensions, many problems: a review of self-suspending tasks in real-time systems. Real Time Syst. 55 (1) (2019)
Dionisio de Niz, Björn Andersson, Mark H. Klein, John P. Lehoczky, Amit Vasudevan, Hyoseung Kim, Gabriel A. Moreno
Mixed-Trust Computing for Real-Time Systems. RTCSA (2019)
Björn Andersson, Hyoseung Kim, Dionisio de Niz, Mark H. Klein, Ragunathan Rajkumar, John P. Lehoczky
Schedulability Analysis of Tasks with Corunner-Dependent Execution Times. ACM Trans. Embed. Comput. Syst. 17 (3) (2018)
Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Bruno Sinopoli
Software Rejuvenation for Secure Tracking Control. CoRR (2018)
Dionisio de Niz, Björn Andersson, Hyoseung Kim, Mark H. Klein, Linh Thi Xuan Phan, Raj Rajkumar
Mixed-criticality processing pipelines. DATE (2017)
Björn Andersson, Sagar Chaki, Dionisio de Niz
Combining Symbolic Runtime Enforcers for Cyber-Physical Systems. RV (2017)
Sagar Chaki, Dionisio de Niz
Formal Verification of a Timing Enforcer Implementation. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Björn Andersson, Hyoseung Kim, John P. Lehoczky, Dionisio de Niz
Deriving the average-case performance of bandwidth-like interfaces for tasksets with infinite minimum inter-arrival time, equal task density, uniformly distributed deadlines, and infinite number of tasks. SIGBED Rev. 14 (3) (2017)
Hyoseung Kim, Dionisio de Niz, Björn Andersson, Mark H. Klein, Onur Mutlu, Ragunathan Rajkumar
Bounding and reducing memory interference in COTS-based multi-core systems. Real Time Syst. 52 (3) (2016)
Dionisio de Niz, Min-Young Nam, Julien Delange
Behavioral complexity quantification (Becom-Q). WETSoM@ICSE (2016)
Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan
Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. CPS-SPC@CCS (2015)
Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein
Semantic Importance Sampling for Statistical Model Checking. TACAS (2015)
Dionisio de Niz, Lutz Wrage, Anthony Rowe, Ragunathan Rajkumar
Utility-Based Resource Overbooking for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 13 (5s) (2014)
Dionisio de Niz, Linh T. X. Phan
Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms. RTAS (2014)
Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan
Contract-based integration of cyber-physical analyses. EMSOFT (2014)
Hyoseung Kim, Dionisio de Niz, Björn Andersson, Mark H. Klein, Onur Mutlu, Ragunathan Rajkumar
Bounding memory interference delay in COTS-based multi-core systems. RTAS (2014)
Dionisio de Niz, Lutz Wrage, Anthony Rowe, Ragunathan Rajkumar
Utility-based resource overbooking for Cyber-Physical Systems. RTCSA (2013)
Junsung Kim, Björn Andersson, Dionisio de Niz, Ragunathan Rajkumar
Segment-Fixed Priority Scheduling for Self-Suspending Real-Time Tasks. RTSS (2013)
Noriaki Suzuki, Hyoseung Kim, Dionisio de Niz, Björn Andersson, Lutz Wrage, Mark H. Klein, Ragunathan Rajkumar
Coordinated Bank and Cache Coloring for Temporal Protection of Memory Accesses. CSE (2013)
Björn Andersson, Dionisio de Niz
Analyzing Global-EDF for Multiprocessor Scheduling of Parallel Tasks. OPODIS (2012)
Björn Andersson, Sagar Chaki, Dionisio de Niz, Brian Dougherty, Russell Kegley, Jules White
Non-preemptive Scheduling with History-Dependent Execution Time. ECRTS (2012)
Dionisio de Niz, Lutz Wrage, Nathaniel Storer, Anthony Rowe, Ragunathan Rajkumar
On Resource Overbooking in an Unmanned Aerial Vehicle. ICCPS (2012)
Gabriel A. Moreno, Dionisio de Niz
An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors. RTCSA (2012)
Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar, Gabriel A. Moreno
Overload provisioning in mixed-criticality cyber-physical systems. ACM Trans. Embed. Comput. Syst. 11 (4) (2012)
Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz
Integrated Task and Interrupt Management for Real-Time Systems. ACM Trans. Embed. Comput. Syst. 11 (2) (2012)
Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha
Resource allocation contracts for open analytic runtime models. EMSOFT (2011)
Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar
Mixed-Criticality Task Synchronization in Zero-Slack Scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium (2011)
Julien Delange, Laurent Pautet, Jérôme Hugues, Dionisio de Niz
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. ICECCS (2010)
Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar, Gabriel A. Moreno
Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems. ICDCS (2010)
Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar
Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors. RTSS (2009)
Dionisio de Niz, Karthik Lakshmanan, Ragunathan Rajkumar
On the Scheduling of Mixed-Criticality Real-Time Task Sets. RTSS (2009)
Dionisio de Niz, Peter H. Feiler
Verification of Replication Architectures in AADL. ICECCS (2009)
Dionisio de Niz, Peter H. Feiler
On Resource Allocation in Architectural Models. ISORC (2008)
Dionisio de Niz
Architectural Concurrency Equivalence with Chaotic Models. MOMPES (2008)
Dionisio de Niz, Peter H. Feiler
Aspects in the industry standard AADL. AOM@AOSD (2007)
Peter H. Feiler, Dionisio de Niz, Chris Raistrick, Bruce A. Lewis
From PIMs to PSMs. ICECCS (2007)
Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz
Predictable Interrupt Management for Real Time Kernels over conventional PC Hardware. IEEE Real Time Technology and Applications Symposium (2006)
Dionisio de Niz, Raj Rajkumar
Partitioning bin-packing algorithms for distributed real-time systems. Int. J. Embed. Syst. 2 (3/4) (2006)
Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz
Real-Time Scheduling of Interrupt Requests over Conventional PC Hardware. ENC (2006)
Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz
Abnormal Events Handling for Dependable Embedded Systems. ENC (2006)
Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz
Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels. RTCSA (2006)
Dionisio de Niz, Gaurav Bhatia, Raj Rajkumar
Model-Based Development of Embedded Systems: The SysWeaver Approach. IEEE Real Time Technology and Applications Symposium (2006)
Dionisio de Niz, Raj Rajkumar
Time weaver: a software-through-models framework for embedded real-time systems. LCTES (2003)
Dionisio de Niz, Saowanee Saewong, Ragunathan Rajkumar, Luca Abeni
Resource Sharing in Reservation-Based Systems. IEEE Real Time Technology and Applications Symposium (2001)
Dionisio de Niz, Luca Abeni, Saowanee Saewong, Ragunathan Rajkumar
Resource Sharing in Reservation-Based Systems. RTSS (2001)
Scott Johnson, Farnam Jahanian, Akihiko Miyoshi, Dionisio de Niz, Ragunathan Rajkumar
Constructing Real-time Group Communication Middleware Using the Resource Kernel. RTSS (2000)
Dionisio de Niz, Ragunathan Rajkumar
Chocolate: A Reservation-Based Real-Time Java Environment on Windows/NT. IEEE Real Time Technology and Applications Symposium (2000)