Dionisio de Niz

54 papers A 14B 11C 1Misc 3Journal 13Unranked 12

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