Committees & Reviewing
- - PC: AVICPS 2011
- - Reviewer: Innovations in Systems and Software Engineering. 2011
- - Co-Chair: AVICPS 2010
- - PC: UML & AADL Workshop 2009
- - PC: UML & AADL Workshop 2010
- - PC: MOMPES 2009
- - PC: MOMPES 2010
- - PC: EOOLT 2011
- - PC: EOOLT 2009
- - PC: EOOLT 2010
- - Reviewer: ACM Transactions on Embedded Computing Systems 2010
- - Reviewer: IEEE Transactions on Industrial Informatics 2010
- - Reviewer: IEEE Transactions on Computers 2003
- - Reviewer: IEEE Transactions on Software Engineering 2005
- - Reviewer: IEEE Transactions on Software Engineering 2006
- - Reviewer: Jornal of Software Maintenance and Evolution: Research and Practice 2007
- - Reviewer: IEEE Euromicro Conference on Real-Time Systems 2003
- - Reviewer: IEEE Euromicro Conference on Real-Time Systems 2004
Publications
-
- 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 R. 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.
"Modeling Functional and Para-Functional Concerns in Embedded Real-Time Systems".
Ph.D. Dissertation, April 2004.
Electrical and Computer Engineering. Carnegie Mellon University
- - 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.
"Xocolatl: A Reservation-Based Real-Time Java Environment".
Master Thesis 1999
Information Networking Institute. Carnegie Mellon University
- - Jose Caldera, Dionisio de Niz, and Junichi Nakagawa.
"Performance Analysis of IPSec and IKE For Mobile IP on Wireless Environments".
Unpublished.