Software Engineering Institute | Carnegie Mellon University
Site menu:
Publications
-
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, 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
- Jose Caldera, Dionisio de Niz, and Junichi Nakagawa.
"Performance Analysis of IPSec and IKE For Mobile IP on Wireless Environments".
Unpublished.