-
Bjorn Andersson, Dionisio de Niz, William Vance, John Ross, Mark Wotell, Willie Fitzpatrick, Tuan Bui.
What Is Determinism? Definitions and Implications for Airworthiness and Critical Software.
DASC 2024. -
Dionisio de Niz, Bjorn Andersson, Mark H. Klein, John Lehoczky, Hyoseung Kim, George Romanski, Jonathan Preston, Floyd Fazi, Daniel Shapiro, Douglas C. Schmidt, Ronald Koontz, and Sam Procter
Flight Incident Analysis Through Symbolic Argumentation.
DASC 2024. -
Dionisio de Niz, Bjorn Andersson, Mark Klein, John Lehoczky, Amit Vasudevan, Hyoseung Kim, and Gabriel Moreno.
Mixed-Trust Computing: Safe and Secure Real-Time Systems.
ACM Transactions of Cyber-Physical Systems (December 2023).
-
Dionisio de Niz and Lutz Wrage.
Symbolic Refinement for CPS.
ACM SIGAda Ada Letters 43(1):88-93. DOI 10.1145/3631483.3631498. 2023. -
Dionisio de Niz and Lutz Wrage.
Symbolic Assurance Refinement for CPS.
International Conference on Reliable Software Technologies (AEiC 2023). WIP. -
Bjorn Andersson, Dionisio de Niz, and Mark Klein.
A Tool for Satisfying Real-Time Requirements of Software Executing on ARINC 653 with Undocumented Multicore.
Digital Avionics Systems Conference. 2023. -
Bjorn Andersson, Dionisio de Niz, William Vance, John Ross, Mark Wotell, and Tuan Bui.
Methodology of Combining Empirical Stress Testing and Formal-Methods Based Schedulability Analysis for Real-Time Multicore Software.
Digital Avionics Systems Conference. 2023. -
Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton Hristozov, and Bruno Sinopli.
Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyber Attacks.
IEEE Conference on Control Technology and Applications (CCTA) 2023. -
Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton Hristozov, and Bruno Sinopli.
Runtime System Support for CPS Software Rejuvenation.
IEEE Transactions on Emerging Topics in Computing. to appear. 2023. -
Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton Hristozov, Bruno Sinopoli.
Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Runtime Cyber Attacks.
IEEE Transactions on Control Systems Technology. to appear. 2023. -
Bjorn Andersson, Dionisio de Niz, and Mark Klein.
Satisfying Real-Time Requirements of Multicore Softwrae on ARINC 653: The Issue of Undocumented Hardware.
DASC 22. -
Assurance Evidence for Continuously-Evolving Real-Time Systems Workshop Report
Report. August 2022. - Anita Carleton, Mark Klein, John Robert, Erin Harper, Rob Cunninghan, Dionisio de Niz, Ed Desautels, John Foreman, John Goodenough, James Herbsleb, Charles Holland, Ipek Oskaya, Doug Schmidt, Forrest Shull. Architecting the Future of Software Engineering -- A National Agenada for Software Engineering Research and Development. Carnegie Mellon University Software Engineering Institute. 2021.
-
Hyoseung Kim, Dionisio de Niz, Bjorn Andersson, Mark Klein and John Lehoczky.
Addressing Multi-Core Timing Interference using Co-Runner Locking.
Real-Time Systems Symposium 2021. -
Dionisio de Niz, Bjorn Andersson, Hyoseung Kim, Mark Klein and John Lehoczky
Resilient Mixed-Trust Scheduling.
Real-Time Systems Symposium 2021. -
Bjorn Andersson, Dionisio de Niz, and Mark Klein.
The Multicore Challenge in Assured Autonomy.
AUSI Xponential 2021.
-
Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Bjorn Andersson, Mark Klein, John Lehoczky, and Hyoseung Kim.
Formal Verification of a Mixed-Trust Synchronization Protocol.
Real-Time Network and Systems, 2021.
-
Dionisio de Niz, Bjorn Andersson, Hyoseung Kim, Mark Klein, and John Lehoczky.
Toward Precomputing in Real-Time Mixed-Trust Scheduling.
Work-in-Progress. IEEE RTSS 2020
-
Dionisio de Niz, Bjorn Andersson, Mark Klein, John Lehoczky, Amit Vasudevan, Hyoseung Kim, and Gabriel A. Moreno.
Mixed-Trust Computing for Real-Time Systems.
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2019.
-
Bjorn Andersson, Dionisio de Niz, and Gabriel Moreno
Limiting Run-Time Behavior to Improve the Verification of Autonomous Systems.
AUVSI Xponential 2019. -
Dionisio de Niz and Bjorn Andersson
Processing Enhancement and Virtualization for Cyber-Physical Computations
1st International Workshop on Next-Generation Operating System for Cyber-Physical Systems 2019. -
Chen, Jian-Jia; Nelissen Geoffrey; Huang, Wen-Hung; Yang, Maolin; Brandenburg, Bjorn; Bletsas, Konstantinos;Liu, Cong; Richard, Pascal; Ridouard, Frederic;Audsley, Neil; Rajkumar, Raj;de Niz, Dionisio;von der Bruggen, Georg
Many suspensions, many problems: a review of self-suspending tasks in real-time systems.
Journal of Real-Time Systems. Sept 2018.
-
Dionisio de Niz, Bjorn Andersson, and Gabriel Moreno.
Safety Enforcement for the Verification of Autonomous Systems.
SPIE Conference on Autonomous Systems: Sensors, Vehicles, Security and the Internet of Everything. 2018
-
Bjorn Andersson, Hyoseung Kim, Dionisio de Niz, Mark Klein, Ragunathan (Raj) Rajkumar, and John Lehoczky
Schedulability Analysis of Tasks with Co-Runner-Dependent Execution Times
ACM Transactions on Embedded Computing Systems. 2018.
-
Sagar Chaki and Dionisio de Niz
Formal Verification of a Timing Enforcer Implementation
EMSOFT 2017
-
Bjorn Andersson, Sagar Chaki, and Dionisio de Niz
Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
International Conference in Runtime Verification. 2017
-
Dionisio de Niz, Bjorn Andersson, Hyoseung Kim, Mark Klein, Linh Thi Xuan Phan, and Raj Rajkumar
Mixed-Criticality Processing Pipelines
DATE 2017
-
Sagar Chaki and Dioniso de Niz
Certifiable Runtime Assurance of Distributed Real-Time Systems
AIAA Information Systems-AIAA Infotech @ Aerospace. 2017. -
Cyber-Physical Systems
(SEI Series in Software Engineering)
1st Edition
Raj Rajkumar, Dionisio de Niz, and Mark Klein (Editors)
Addison-Wesley Professional
December 23, 2016
ISBN-13: 978-0321926968
ISBN-10: 032192696X
-
Sagar Chaki and Dionisio de Niz
Contract-Based Verification of Timing Enforcers
ACM SIGAda’s High Integrity Language Technology International Workshop on Model-Based Development and Contract-Based Programming (HILT)
October 6-7, 2016, Pittsburgh, PA, USA. -
Bjorn Andersson, Hyoseung Kim, John Lehoczky, and 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."
International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS) 2016. -
Dionisio de Niz, Min Young Nam, and Julien Delange.
"Behavioral Complexity Quantification (Becom-Q)"
International Workshop on Emerging Trends in Software Metrics (WETSoM) 2016. -
Hyoseung Kim, Dionisio de Niz, Bjorn Andersson, Mark Klein, Onum Mutlu, and Ragunathan (Raj) Rajkumar.
"Bounding and Reducing Memory Interference in COTS-Based Multi-Core Systems"
Journal of Real-Time Systems. 2016. -
Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, and David Garlan
"Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach"
CPS-SPC 2015. -
Dionisio de Niz, Hyoseung Kim, Bjorn Andersson, Mark Klein, and Raj Rajkumar.
"Towards Certifiable Sharing of Hardware Resources in Multicore Processors"
First TCRTS Workshop on Certifiable Multicore Avionics Systems (CMAS) 2015. -
Dionisio de Niz, Bjorn Andersson, and Lutz Wrage.
"COTS Multicore Processors in Avionics Systems: Challenges and Solutions"
SciTech 2015. -
Jeffrey Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, and Mark Klein.
"Semantic Importance Sampling for Statistical Model Checking"
TACAS 2015. -
Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, and David Garlan.
"ACTIVE: A Tool for Integrating Analysis Contracts "
AVICPS 2014. -
Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, and David Garlan.
"Contract-Based Integration of Cyber-Physical Analyses"
EMSOFT 2014. -
Dionisio de Niz, Lutz Wrage, Anthony Rowe, and Ragunathan (Raj) Rajkumar.
"Utility-Based Resource Overbooking For Cyber-Physical Systems"
ACM Transactions on Embedded Computing Systems. To appear. -
Dionisio de Niz and Linh Thi Xuan Phan.
"Partitioned Scheduling of Multi-Modal Mixed-Criticality Real-Time Systems on Multiprocessor Platforms"
IEEE RTAS 2014. -
Hyoseung Kim, Dionisio de Niz, Bjorn Andersson, Mark Klein, Onur Mutlu, Ragunathan (Raj) Rajkumar.
"Bounding Memory Interference Delay in COTS-Based Multicore Systems"
IEEE RTAS 2014.
Best Paper Award -
Noriaki Suzuki, Hyoseung Kim, Dionisio de Niz, Bjorn Andersson, Lutz Wrage, Mark Klein, and Ragunathan (Raj) Rajkumar.
"Coordinated Bank and Cache Coloring for Temporal Protection of Memory Access"
ICESS 2013. -
Junsung Kim, Bjorn Andersson, Dionisio de Niz, and Ragunathan (Raj) Rajkumar.
"Segment-Fixed Priority Scheduling for Self-Suspending Real-time Tasks"
RTSS 2013. -
Dionisio de Niz, Lutz Wrage, Anthony Rowe, and Ragunathan (Raj) Rajkumar.
"Utility-Based Resource Overbooking For Cyber-Physical Systems"
RTCSA 2013. -
Dionisio de Niz
"Mixed Physical and Cyber Clocks for CPS."
NITRD National Workshop on The New Clockwork for Time-Critical Cyber-Physical Systems.
Oct 25-27, 2012. -
Dionisio de Niz and Anthony Rowe
"Integration of Mixed-Criticality Cyber-Physical Systems with Criticality Layers."
AVICPS 2012.
-
Bjorn Andersson and Dionisio de Niz
"Analyzing Global-EDF for Multiprocessor Scheduling of Parallel Tasks."
OPODIS 2012.
-
Gabriel Moreno and Dionisio de Niz.
"An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors."
RTCSA. 2012.
-
Bjorn Andersson, Sagar Chaki, Dionisio de Niz, Brian Daugherty, Russell Kegley, and Jules White.
"Non-Preemptive Scheduling with History-Dependent Execution Time."
ECRTS. 2012.
-
Dionisio de Niz, Lutz Wrage, Nathaniel Storer, Anthony Rowe, and Ragunathan (Raj) Rajkumar.
"On Resource Overbooking in an Unmanned Aerial Vehicle."
ICCPS. 2012.
-
Dionisio de Niz and Lutz Wrage.
"A Criticality Decomposition Architecture to Integrate Encrypted Sensor Data in the Smart Grid."
AVICPS. 2011.
-
Min-Young Nam, Dionisio de Niz, Lutz Wrage, and Lui Sha.
"Resource Allocation Contracts for Open Analytic Runtime Models."
EMSOFT. 2011.
-
Bjorn Andersson, Dionisio de Niz, and Sagar Chaki.
"Non-Preemptive Fixed-Priority Uniprocessor Scheduling Where the Execution Time of a Job Depends on the Scheduling of Jobs that Execute Before It."
RTSOPS. 2011.
-
Karthik Lakshmanan, Dionisio de Niz, Raj Rajkumar, and Gabriel Moreno.
"Overload Provisioning in Mixed-Criticality Cyber-Physical Systems"
To Appear on: ACM Transactions on Embedded Computing Systems. 2011.
-
Sibin Mohan, Marco Caccamo, Lui Sha, Rodolfo Pellizzoni, Greg Arundale, Russell Kegley, and Dionisio de Niz.
"Using Multicore Architectures in Cyber-Physical Systems."
Workshop on Developing Dependable and Secure Automotive Cyber-Physical Systems from Components.
March 17, 2011.
Troy, MI.
-
Min-Young Nam, Dionisio de Niz, Lutz Wrage, and Lui R. Sha
"Open Analytic Runtime Models for CPS."
Architectures for Cyber-Physical Systems. 2011.
Chicago, IL.
-
Karthik Lakshmanan, Dionisio de Niz, and Ragunathan (Raj) Rajkumar.
"Mixed-Criticality Task Synchronization in Zero-Slack Scheduling."
IEEE RTAS 2011.
Chicago, IL.
-
Luis E. Leyva-del-Foyo, Pedro Mejia-Alvarez, and Dionisio de Niz.
"Integrated Task and Interrupt Management for Real-Time Systems."
To appear on: ACM Transactions on Embedded Computing Systems.
-
Karthik Lakshmanan, Dionisio de Niz, Gabriel Moreno, and Raj Rajkumar.
"Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems"
ICDCS 2010.
Genoa, Italy
- Karthik Lakshmanan, Dionisio de Niz, and Raj Rajkumar.
"Coordinated Task Scheduling, Allocation, and Synchronization in Multiprocessors."
RTSS 09. Washington, D.C.
Best Student Paper Award.
- Dionisio de Niz, Karthik Lakshmanan, and Raj Rajkumar.
"On the Scheduling of Mixed-Criticality Real-Time Tasksets."
RTSS 09. Washington, D.C. - Dionisio de Niz, Gaurav Bhatia, and Raj Rajkumar.
"Separation of Concerns in Model-Based Development of Distributed Real-Time Systems"
Book Chapter.
Book Title: "Behavioral Modeling for Embedded Systems and Technologies"
Editors: Luis Gomes and Joao M. Fernandes
Information Science Reference - Dionisio de Niz and Peter H. Feiler.
"Verification of Replication Architectures in AADL."
14th IEEE International Conference on Engineering of Complex Computer Systems.
2009. Potsdam, Germany. - Dionisio de Niz and Peter H. Feiler.
"On Resource Allocation in Architectural Models."
ISORC 2008. Orlando Florida. - Dionisio de Niz, Peter H. Feiler, Jorgen Hansson, and John Hudak.
"On Model-Based Engineering for Cyberphysical Systems."
Workshop on High-Confidence Automotive CyberPhysical Systems. April 2008. - Dionisio de Niz.
"Architectural Concurrency Equivalance with Chaotic Models."
MOMPES 2008. - Dionisio de Niz and Peter H. Feiler.
"Aspects in the Industry Standard AADL".
Workshop on Aspect Oriented Modeling. Vancouver, CA March 2007. - Peter H. Feiler, Dionisio de Niz, Chris Raistrick, and Bruce Lewis.
"From PIMs to PSMs".
AADL-UML Workshop. New Zealand. July 2007. - Luis E. Leyva del Foyo, Pedro Mejia-Alvarez, and Dionisio de Niz
"Abnormal Event Handling for Dependable Embedded Systems"
ENC 2006 . - Luis E. Leyva del Foyo, Pedro Mejia-Alvarez, and Dionisio de Niz
"Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels"
12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.
August 2006. - Dionisio de Niz, Gaurav Bhatia, and Raj Rajkumar
"Model-Based Development of Embedded Systems: The SysWeaver Approach"
IEEE Real-Time and Embedded Technology and Applications Symposium 2006. - Luis E. Leyva-del-Foyo, Pedro Mejia-Alvarez, and Dionisio de Niz.
"Predictable Interrupt Management for Real Time Kernels over conventional PC Hardware "
IEEE Real-Time and Embedded Technology and Applications Symposium 2006. - Luis E. Leyva-del-Foyo, Pedro Mejia-Alvarez, and Dionisio de Niz
"Aligning Exception Handling with Design-by-Contract in Embedded Real-Time Systems Development".
European Conference on Object-Oriented Programming. Workshop on
Exception Handling in Object-Oriented Systems:
Developing Systems that Handle Exceptions.
2005. - Dionisio de Niz and Raj Rajkumar
"Partitioning Bin-Packing Algorithms for Distributed Real-Time Systems".
International Journal of Embedded Systems.
Special Issue on: Design and Verification of Real-Time Embedded Software. 2005.
Invited Paper. Inderscience Publishers. - Dionisio de Niz and Ragunathan Rajkumar
"Glue Code Generation:Closing the Loophole in Model-based Development"
10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004)
Workshop on Model-Driven Embedded Systems (MDES 2004) - Dionisio de Niz and Ragunathan Rajkumar
"Time Weaver: A Software-Throuhg-Models Framework For Embedded Real-Time Systems"
Language Compilers and Tools For Embedded Systems (LCTES 2003) - Dionisio de Niz and Ragunathan Rajkumar.
"Geodesic - A Reusable Component Framework for Embedded Real-Time Systems".
Proceeding of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium
(RTAS 2002) - Dionisio de Niz, Luca Abeni, Saowanee, Saewong, and Raj Rajkumar
"Resource Sharing in Reservation-Based Systems"
Proceedings of the IEEE Real-Time Systems Symposium 2001 - Dionisio de Niz, Luca Abeni, Saowanee, Saewong, and Raj Rajkumar.
"Resource Sharing in Reservation-Based Systems".
In Work-in-Progress, 7th IEEE Real-Time Techonology and Applications Symposium,
Taipei, Taiwan, May 2001 - Scott Johnson, Farnam Jahanian, Akihiko Miyoshi, Dionisio de Niz, and Ragunathan Rajkumar.
"Constructing Real-time Middleware Using the Resource Kernel".
In Proceedings of the IEEE 21st Real-time Systems Symposium. Orlando Florida, Dec 2000. - Dionisio de Niz and Raj Rajkumar.
"Chocolate: A Reservation-Based Real-Time Java Environment on Windows NT ".
In Proceedings of the IEEE Real-time Technology and Applications Symposium.
Washington D.C., June 2000
Dionisio de Niz
Software Engineering Institute | Carnegie Mellon University