Dionisio de Niz

According to our database, Dionisio de Niz authored at least 51 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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 D. Hristozov, Bruno Sinopoli

IEEE Trans. Control. Syst. Technol., July, 2023

Runtime System Support for CPS Software Rejuvenation.

Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton D. Hristozov, Bruno Sinopoli

IEEE Trans. Emerg. Top. Comput., 2023

2021

Resilient Mixed-Trust Scheduling.

Dionisio de Niz, Björn Andersson, Hyoseung Kim, Mark H. Klein, John P. Lehoczky

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Addressing Multi-core Timing Interference using Co-Runner Locking.

Hyoseung Kim, Dionisio de Niz, Björn Andersson, Mark H. Klein, John P. Lehoczky

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Formal Verification of a Mixed-Trust Synchronization Protocol.

Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Björn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

2020

Work-In-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling.

Dionisio de Niz, Björn Andersson, Hyoseung Kim, Mark Klein, John P. Lehoczky

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

2019

Many suspensions, many problems: a review of self-suspending tasks in real-time systems.

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

Real Time Syst., 2019

Mixed-Trust Computing for Real-Time Systems.

Dionisio de Niz, Björn Andersson, Mark H. Klein, John P. Lehoczky, Amit Vasudevan, Hyoseung Kim, Gabriel A. Moreno

Proceedings of the 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2019

2018

Schedulability Analysis of Tasks with Corunner-Dependent Execution Times.

Björn Andersson, Hyoseung Kim, Dionisio de Niz, Mark H. Klein, Ragunathan Rajkumar, John P. Lehoczky

ACM Trans. Embed. Comput. Syst., 2018

Software Rejuvenation for Secure Tracking Control.

Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Bruno Sinopoli

CoRR, 2018

2017

Formal Verification of a Timing Enforcer Implementation.

Sagar Chaki, Dionisio de Niz

ACM Trans. Embed. Comput. Syst., 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, John P. Lehoczky, Dionisio de Niz

SIGBED Rev., 2017

Combining Symbolic Runtime Enforcers for Cyber-Physical Systems.

Björn Andersson, Sagar Chaki, Dionisio de Niz

Proceedings of the Runtime Verification - 17th International Conference, 2017

Mixed-criticality processing pipelines.

Dionisio de Niz, Björn Andersson, Hyoseung Kim, Mark H. Klein, Linh Thi Xuan Phan, Raj Rajkumar

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Bounding and reducing memory interference in COTS-based multi-core systems.

Hyoseung Kim, Dionisio de Niz, Björn Andersson, Mark H. Klein, Onur Mutlu, Ragunathan Rajkumar

Real Time Syst., 2016

Behavioral complexity quantification (Becom-Q).

Dionisio de Niz, Min-Young Nam, Julien Delange

Proceedings of the 7th International Workshop on Emerging Trends in Software Metrics, 2016

2015

Semantic Importance Sampling for Statistical Model Checking.

Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach.

Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan

Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, 2015

2014

Utility-Based Resource Overbooking for Cyber-Physical Systems.

Dionisio de Niz, Lutz Wrage, Anthony Rowe, Ragunathan Rajkumar

ACM Trans. Embed. Comput. Syst., 2014

Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms.

Dionisio de Niz, Linh T. X. Phan

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Bounding memory interference delay in COTS-based multi-core systems.

Hyoseung Kim, Dionisio de Niz, Björn Andersson, Mark H. Klein, Onur Mutlu, Ragunathan Rajkumar

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Contract-based integration of cyber-physical analyses.

Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

Segment-Fixed Priority Scheduling for Self-Suspending Real-Time Tasks.

Junsung Kim, Björn Andersson, Dionisio de Niz, Ragunathan Rajkumar

Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Coordinated Bank and Cache Coloring for Temporal Protection of Memory Accesses.

Noriaki Suzuki, Hyoseung Kim, Dionisio de Niz, Björn Andersson, Lutz Wrage, Mark H. Klein, Ragunathan Rajkumar

Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

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

Overload provisioning in mixed-criticality cyber-physical systems.

Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar, Gabriel A. Moreno

ACM Trans. Embed. Comput. Syst., 2012

An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors.

Gabriel A. Moreno, Dionisio de Niz

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Analyzing Global-EDF for Multiprocessor Scheduling of Parallel Tasks.

Björn Andersson, Dionisio de Niz

Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

On Resource Overbooking in an Unmanned Aerial Vehicle.

Dionisio de Niz, Lutz Wrage, Nathaniel Storer, Anthony Rowe, Ragunathan Rajkumar

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Non-preemptive Scheduling with History-Dependent Execution Time.

Björn Andersson, Sagar Chaki, Dionisio de Niz, Brian Dougherty, Russell Kegley, Jules White

Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

2011

Mixed-Criticality Task Synchronization in Zero-Slack Scheduling.

Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Resource allocation contracts for open analytic runtime models.

Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha

Proceedings of the 11th International Conference on Embedded Software, 2011

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

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems.

Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar, Gabriel A. Moreno

Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010

2009

On the Scheduling of Mixed-Criticality Real-Time Task Sets.

Dionisio de Niz, Karthik Lakshmanan, Ragunathan Rajkumar

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors.

Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Verification of Replication Architectures in AADL.

Dionisio de Niz, Peter H. Feiler

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008

Architectural Concurrency Equivalence with Chaotic Models.

Dionisio de Niz

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2008

On Resource Allocation in Architectural Models.

Dionisio de Niz, Peter H. Feiler

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007

From PIMs to PSMs.

Peter H. Feiler, Dionisio de Niz, Chris Raistrick, Bruce A. Lewis

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Aspects in the industry standard AADL.

Dionisio de Niz, Peter H. Feiler

Proceedings of the 10th International Workshop on Aspect-Oriented Modeling, 2007

2006

Partitioning bin-packing algorithms for distributed real-time systems.

Dionisio de Niz, Raj Rajkumar

Int. J. Embed. Syst., 2006

Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels.

Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Model-Based Development of Embedded Systems: The SysWeaver Approach.

Dionisio de Niz, Gaurav Bhatia, Raj Rajkumar

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Predictable Interrupt Management for Real Time Kernels over conventional PC Hardware.

Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Abnormal Events Handling for Dependable Embedded Systems.

Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz

Proceedings of the Seventh Mexican International Conference on Computer Science, 2006

Real-Time Scheduling of Interrupt Requests over Conventional PC Hardware.

Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz

Proceedings of the Seventh Mexican International Conference on Computer Science, 2006

2003

Time weaver: a software-through-models framework for embedded real-time systems.

Dionisio de Niz, Raj Rajkumar

Proceedings of the 2003 Conference on Languages, 2003

2001

Resource Sharing in Reservation-Based Systems.

Dionisio de Niz, Luca Abeni, Saowanee Saewong, Ragunathan Rajkumar

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

2000

Constructing Real-time Group Communication Middleware Using the Resource Kernel.

Scott Johnson, Farnam Jahanian, Akihiko Miyoshi, Dionisio de Niz, Ragunathan Rajkumar

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Chocolate: A Reservation-Based Real-Time Java Environment on Windows/NT.

Dionisio de Niz, Ragunathan Rajkumar

Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000