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

  1. - Dionisio de Niz, Lutz Wrage, Nathaniel Storer, Anthony Rowe, and Ragunathan (Raj) Rajkumar.
    "On Resource Overbooking in an Unmanned Aerial Vehicle"
    ICCPS 2012.

  2. - Dionisio de Niz and Lutz Wrage.
    "A Criticality Decomposition Architecture to Integrate Encrypted Sensor Data in the Smart Grid."
    AVICPS 2011.

  3. - Min Young Nam, Dionisio de Niz, Lutz Wrage, and Lui R. Sha.
    "Resource Allocation Contracts for Open Analytic Runtime Models."
    EMSOFT 2011.

  4. - 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.

  5. - 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.

  6. - 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.

  7. - 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.

  8. - Karthik Lakshmanan, Dionisio de Niz, and Ragunathan (Raj) Rajkumar.
    "Mixed-Criticality Task Synchronization in Zero-Slack Scheduling."
    IEEE RTAS 2011.
    Chicago, IL.

  9. - 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.

  10. - Karthik Lakshmanan, Dionisio de Niz, and Raj Rajkumar.
    "Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems"
    ICDCS 2010.
    Genoa, Italy

  11. - 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.

  12. - Dionisio de Niz, Karthik Lakshmanan, and Raj Rajkumar.
    "On the Scheduling of Mixed-Criticality Real-Time Tasksets."
    RTSS 09. Washington, D.C.

  13. - 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

  14. - 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.

  15. - Dionisio de Niz and Peter H. Feiler.
    "On Resource Allocation in Architectural Models."
    ISORC 2008. Orlando Florida.

  16. - 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.

  17. - Dionisio de Niz.
    "Architectural Concurrency Equivalance with Chaotic Models."
    MOMPES 2008.

  18. - Dionisio de Niz and Peter H. Feiler.
    "Aspects in the Industry Standard AADL".
    Workshop on Aspect Oriented Modeling. Vancouver, CA March 2007.

  19. - Peter H. Feiler, Dionisio de Niz, Chris Raistrick, and Bruce Lewis.
    "From PIMs to PSMs".
    AADL-UML Workshop. New Zealand. July 2007.

  20. - Luis E. Leyva del Foyo, Pedro Mejia-Alvarez, and Dionisio de Niz
    "Abnormal Event Handling for Dependable Embedded Systems"
    ENC 2006 .

  21. - 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.

  22. - 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.

  23. - 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.

  24. - 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.

  25. - 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.

  26. - 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)

  27. - 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

  28. - 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)

  29. - 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)

  30. - 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

  31. - 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

  32. - 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.

  33. - 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

  34. - Dionisio de Niz.
    "Xocolatl: A Reservation-Based Real-Time Java Environment".
    Master Thesis 1999
    Information Networking Institute. Carnegie Mellon University

  35. - Jose Caldera, Dionisio de Niz, and Junichi Nakagawa.
    "Performance Analysis of IPSec and IKE For Mobile IP on Wireless Environments".
    Unpublished.