Chocolate: A Reservation-Based Real-Time Java Environment on Windows/NT. - Dionisio de Niz; Ragunathan Rajkumar (IEEE Real Time Technology and Applications Symposium, 2000)

Constructing Real-time Group Communication Middleware Using the Resource Kernel. - Scott Johnson 002; Farnam Jahanian; Akihiko Miyoshi; Dionisio de Niz; Ragunathan Rajkumar (RTSS, 2000)

Resource Sharing in Reservation-Based Systems. - Dionisio de Niz; Saowanee Saewong; Ragunathan Rajkumar; Luca Abeni (IEEE Real Time Technology and Applications Symposium, 2001)

Time weaver: a software-through-models framework for embedded real-time systems. - Dionisio de Niz; Raj Rajkumar (LCTES, 2003)

Real-Time Scheduling of Interrupt Requests over Conventional PC Hardware. - Luis E. Leyva-del-Foyo; Pedro Mejía-Alvarez; Dionisio de Niz (ENC, 2006)

Abnormal Events Handling for Dependable Embedded Systems. - Luis E. Leyva-del-Foyo; Pedro Mejía-Alvarez; Dionisio de Niz (ENC, 2006)

Predictable Interrupt Management for Real Time Kernels over conventional PC Hardware. - Luis E. Leyva-del-Foyo; Pedro Mejía-Alvarez; Dionisio de Niz (IEEE Real Time Technology and Applications Symposium, 2006)

Model-Based Development of Embedded Systems: The SysWeaver Approach. - Dionisio de Niz; Gaurav Bhatia; Raj Rajkumar (IEEE Real Time Technology and Applications Symposium, 2006)

Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels. - Luis E. Leyva-del-Foyo; Pedro Mejía-Alvarez; Dionisio de Niz (RTCSA, 2006)

Partitioning bin-packing algorithms for distributed real-time systems. - Dionisio de Niz; Raj Rajkumar (Int. J. Embed. Syst., 2006)

Aspects in the industry standard AADL. - Dionisio de Niz; Peter H. Feiler (AOM@AOSD, 2007)

From PIMs to PSMs. - Peter H. Feiler; Dionisio de Niz; Chris Raistrick; Bruce A. Lewis (ICECCS, 2007)

On Resource Allocation in Architectural Models. - Dionisio de Niz; Peter H. Feiler (ISORC, 2008)

Architectural Concurrency Equivalence with Chaotic Models. - Dionisio de Niz (MOMPES, 2008)

Verification of Replication Architectures in AADL. - Dionisio de Niz; Peter H. Feiler (ICECCS, 2009)

Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors. - Karthik Lakshmanan; Dionisio de Niz; Ragunathan Rajkumar (RTSS, 2009)

On the Scheduling of Mixed-Criticality Real-Time Task Sets. - Dionisio de Niz; Karthik Lakshmanan; Ragunathan Rajkumar (RTSS, 2009)

Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems. - Karthik Lakshmanan; Dionisio de Niz; Ragunathan Rajkumar; Gabriel A. Moreno (ICDCS, 2010)

An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. - Julien Delange; Laurent Pautet; Jérôme Hugues; Dionisio de Niz (ICECCS, 2010)

Resource allocation contracts for open analytic runtime models. - Min-Young Nam; Dionisio de Niz; Lutz Wrage; Lui Sha (EMSOFT, 2011)

Mixed-Criticality Task Synchronization in Zero-Slack Scheduling. - Karthik Lakshmanan; Dionisio de Niz; Ragunathan Rajkumar (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Non-preemptive Scheduling with History-Dependent Execution Time. - Björn Andersson; Sagar Chaki; Dionisio de Niz; Brian Dougherty; Russell Kegley; Jules White (ECRTS, 2012)

On Resource Overbooking in an Unmanned Aerial Vehicle. - Dionisio de Niz; Lutz Wrage; Nathaniel Storer; Anthony Rowe 001; Ragunathan Rajkumar (ICCPS, 2012)

Analyzing Global-EDF for Multiprocessor Scheduling of Parallel Tasks. - Björn Andersson; Dionisio de Niz (OPODIS, 2012)

An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors. - Gabriel A. Moreno; Dionisio de Niz (RTCSA, 2012)

Overload provisioning in mixed-criticality cyber-physical systems. - Karthik Lakshmanan; Dionisio de Niz; Ragunathan Rajkumar; Gabriel A. Moreno (ACM Trans. Embed. Comput. Syst., 2012)

Integrated Task and Interrupt Management for Real-Time Systems. - Luis E. Leyva-del-Foyo; Pedro Mejía-Alvarez; Dionisio de Niz (ACM Trans. Embed. Comput. Syst., 2012)

Coordinated Bank and Cache Coloring for Temporal Protection of Memory Accesses. - Noriaki Suzuki; Hyoseung Kim 001; Dionisio de Niz; Björn Andersson; Lutz Wrage; Mark H. Klein 001; Ragunathan Rajkumar (CSE, 2013)

Segment-Fixed Priority Scheduling for Self-Suspending Real-Time Tasks. - Junsung Kim 001; Björn Andersson; Dionisio de Niz; Ragunathan Rajkumar (RTSS, 2013)

Contract-based integration of cyber-physical analyses. - Ivan Ruchkin; Dionisio de Niz; Sagar Chaki; David Garlan (EMSOFT, 2014)

Bounding memory interference delay in COTS-based multi-core systems. - Hyoseung Kim 001; Dionisio de Niz; Björn Andersson; Mark H. Klein 001; Onur Mutlu; Ragunathan Rajkumar (RTAS, 2014)

Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms. - Dionisio de Niz; Linh T. X. Phan (RTAS, 2014)

Utility-Based Resource Overbooking for Cyber-Physical Systems. - Dionisio de Niz; Lutz Wrage; Anthony Rowe 001; Ragunathan Rajkumar (ACM Trans. Embed. Comput. Syst., 2014)

Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. - Ivan Ruchkin; Ashwini Rao; Dionisio de Niz; Sagar Chaki; David Garlan (CPS-SPC@CCS, 2015)

Semantic Importance Sampling for Statistical Model Checking. - Jeffery P. Hansen; Lutz Wrage; Sagar Chaki; Dionisio de Niz; Mark H. Klein 001 (TACAS, 2015)

Behavioral complexity quantification (Becom-Q). - Dionisio de Niz; Min-Young Nam; Julien Delange (WETSoM@ICSE, 2016)

Bounding and reducing memory interference in COTS-based multi-core systems. - Hyoseung Kim 001; Dionisio de Niz; Björn Andersson; Mark H. Klein 001; Onur Mutlu; Ragunathan Rajkumar (Real Time Syst., 2016)

Mixed-criticality processing pipelines. - Dionisio de Niz; Björn Andersson; Hyoseung Kim 001; Mark H. Klein 001; Linh Thi Xuan Phan; Raj Rajkumar (DATE, 2017)

Combining Symbolic Runtime Enforcers for Cyber-Physical Systems. - Björn Andersson; Sagar Chaki; Dionisio de Niz (RV, 2017)

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. - Björn Andersson; Hyoseung Kim 001; John P. Lehoczky; Dionisio de Niz (SIGBED Rev., 2017)

Formal Verification of a Timing Enforcer Implementation. - Sagar Chaki; Dionisio de Niz (ACM Trans. Embed. Comput. Syst., 2017)

Software Rejuvenation for Secure Tracking Control. - Raffaele Romagnoli; Bruce H. Krogh; Dionisio de Niz; Bruno Sinopoli (CoRR, 2018)

Schedulability Analysis of Tasks with Corunner-Dependent Execution Times. - Björn Andersson; Hyoseung Kim 001; Dionisio de Niz; Mark H. Klein 001; Ragunathan Rajkumar; John P. Lehoczky (ACM Trans. Embed. Comput. Syst., 2018)

Mixed-Trust Computing for Real-Time Systems. - Dionisio de Niz; Björn Andersson; Mark H. Klein 001; John P. Lehoczky; Amit Vasudevan; Hyoseung Kim 001; Gabriel A. Moreno (RTCSA, 2019)

Many suspensions, many problems: a review of self-suspending tasks in real-time systems. - Jian-Jia Chen; Geoffrey Nelissen; Wen-Hung Huang 001; Maolin Yang; Björn B. Brandenburg; Konstantinos Bletsas; Cong Liu 005; Pascal Richard; Frédéric Ridouard; Neil C. Audsley; Raj Rajkumar; Dionisio de Niz; et al. (Real Time Syst., 2019)

Work-In-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling. - Dionisio de Niz; Björn Andersson; Hyoseung Kim 001; Mark Klein 003; John P. Lehoczky (RTSS, 2020)

Formal Verification of a Mixed-Trust Synchronization Protocol. - Ruben Martins; Michael McCall; Dionisio de Niz; Amit Vasudevan; Björn Andersson; Mark Klein 003; John P. Lehoczky; Hyoseung Kim 001 (RTNS, 2021)

Addressing Multi-core Timing Interference using Co-Runner Locking. - Hyoseung Kim 001; Dionisio de Niz; Björn Andersson; Mark H. Klein 001; John P. Lehoczky (RTSS, 2021)

Resilient Mixed-Trust Scheduling. - Dionisio de Niz; Björn Andersson; Hyoseung Kim 001; Mark H. Klein 001; John P. Lehoczky (RTSS, 2021)

Runtime System Support for CPS Software Rejuvenation. - Raffaele Romagnoli; Bruce H. Krogh; Dionisio de Niz; Anton Dimov Hristozov; Bruno Sinopoli (IEEE Trans. Emerg. Top. Comput., 2023)

Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks. - Raffaele Romagnoli; Bruce H. Krogh; Dionisio de Niz; Anton Dimov Hristozov; Bruno Sinopoli (IEEE Trans. Control. Syst. Technol., 2023)

Mixed-trust Computing: Safe and Secure Real-time Systems. - Dionisio de Niz; Björn Andersson; Mark Klein 003; John P. Lehoczky; Hyoseung Kim 001; Gabriel A. Moreno (ACM Trans. Cyber Phys. Syst., 2025)