| 2021 | RTSS | Addressing Multi-core Timing Interference using Co-Runner Locking. | Hyoseung Kim, Dionisio de Niz, Bjrn Andersson, Mark H. Klein, John P. Lehoczky |
| 2021 | RTSS | Resilient Mixed-Trust Scheduling. | Dionisio de Niz, Bjrn Andersson, Hyoseung Kim, Mark H. Klein, John P. Lehoczky |
| 2021 | RTNS | Formal Verification of a Mixed-Trust Synchronization Protocol. | Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Bjrn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim |
| 2020 | RTSS | Work-In-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling. | Dionisio de Niz, Bjrn Andersson, Hyoseung Kim, Mark Klein, John P. Lehoczky |
| 2019 | RTCSA | Mixed-Trust Computing for Real-Time Systems. | Dionisio de Niz, Bjrn Andersson, Mark H. Klein, John P. Lehoczky, Amit Vasudevan, Hyoseung Kim, Gabriel A. Moreno |
| 2017 | DATE | Mixed-criticality processing pipelines. | Dionisio de Niz, Bjrn Andersson, Hyoseung Kim, Mark H. Klein, Linh Thi Xuan Phan, Raj Rajkumar |
| 2017 | RV | Combining Symbolic Runtime Enforcers for Cyber-Physical Systems. | Bjrn Andersson, Sagar Chaki, Dionisio de Niz |
| 2016 | ICSE | Behavioral complexity quantification (Becom-Q). | Dionisio de Niz, Min-Young Nam, Julien Delange |
| 2015 | CCS | Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. | Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan |
| 2015 | TACAS | Semantic Importance Sampling for Statistical Model Checking. | Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein |
| 2014 | EMSOFT | Contract-based integration of cyber-physical analyses. | Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan |
| 2014 | RTAS | Bounding memory interference delay in COTS-based multi-core systems. | Hyoseung Kim, Dionisio de Niz, Bjrn Andersson, Mark H. Klein, Onur Mutlu, Ragunathan Rajkumar |
| 2014 | RTAS | Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms. | Dionisio de Niz, Linh T. X. Phan |
| 2013 | RTSS | Segment-Fixed Priority Scheduling for Self-Suspending Real-Time Tasks. | Junsung Kim, Bjrn Andersson, Dionisio de Niz, Ragunathan Rajkumar |
| 2013 | RTCSA | Utility-based resource overbooking for Cyber-Physical Systems. | Dionisio de Niz, Lutz Wrage, Anthony Rowe, Ragunathan Rajkumar |
| 2012 | ECRTS | Non-preemptive Scheduling with History-Dependent Execution Time. | Bjrn Andersson, Sagar Chaki, Dionisio de Niz, Brian Dougherty, Russell Kegley, Jules White |
| 2012 | OPODIS | Analyzing Global-EDF for Multiprocessor Scheduling of Parallel Tasks. | Bjrn Andersson, Dionisio de Niz |
| 2012 | RTCSA | An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors. | Gabriel A. Moreno, Dionisio de Niz |
| 2011 | EMSOFT | Resource allocation contracts for open analytic runtime models. | Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha |
| 2011 | RTAS | Mixed-Criticality Task Synchronization in Zero-Slack Scheduling. | Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar |
| 2010 | ICDCS | Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems. | Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar, Gabriel A. Moreno |
| 2010 | ICECCS | An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. | Julien Delange, Laurent Pautet, Jrme Hugues, Dionisio de Niz |
| 2009 | ICECCS | Verification of Replication Architectures in AADL. | Dionisio de Niz, Peter H. Feiler |
| 2009 | RTSS | Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors. | Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar |
| 2009 | RTSS | On the Scheduling of Mixed-Criticality Real-Time Task Sets. | Dionisio de Niz, Karthik Lakshmanan, Ragunathan Rajkumar |
| 2008 | ISORC | On Resource Allocation in Architectural Models. | Dionisio de Niz, Peter H. Feiler |
| 2007 | ICECCS | From PIMs to PSMs. | Peter H. Feiler, Dionisio de Niz, Chris Raistrick, Bruce A. Lewis |
| 2006 | RTAS | Predictable Interrupt Management for Real Time Kernels over conventional PC Hardware. | Luis E. Leyva-del-Foyo, Pedro Meja-Alvarez, Dionisio de Niz |
| 2006 | RTAS | Model-Based Development of Embedded Systems: The SysWeaver Approach. | Dionisio de Niz, Gaurav Bhatia, Raj Rajkumar |
| 2006 | RTCSA | Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels. | Luis E. Leyva-del-Foyo, Pedro Meja-Alvarez, Dionisio de Niz |
| 2001 | RTSS | Resource Sharing in Reservation-Based Systems. | Dionisio de Niz, Luca Abeni, Saowanee Saewong, Ragunathan Rajkumar |
| 2001 | RTAS | Resource Sharing in Reservation-Based Systems. | Dionisio de Niz, Saowanee Saewong, Ragunathan Rajkumar, Luca Abeni |
| 2000 | RTSS | Constructing Real-time Group Communication Middleware Using the Resource Kernel. | Scott Johnson, Farnam Jahanian, Akihiko Miyoshi, Dionisio de Niz, Ragunathan Rajkumar |
| 2000 | RTAS | Chocolate: A Reservation-Based Real-Time Java Environment on Windows/NT. | Dionisio de Niz, Ragunathan Rajkumar |