default search action
Dionisio de Niz
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j11]Raffaele Romagnoli
, Bruce H. Krogh
Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks. IEEE Trans. Control. Syst. Technol. 31(4): 1565-1580 (2023) - [j10]Raffaele Romagnoli
Runtime System Support for CPS Software Rejuvenation. IEEE Trans. Emerg. Top. Comput. 11(3): 594-604 (2023) - 2021
- [c41]Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Björn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim
Formal Verification of a Mixed-Trust Synchronization Protocol. RTNS 2021: 57-67 - [c40]Hyoseung Kim
Addressing Multi-core Timing Interference using Co-Runner Locking. RTSS 2021: 54-67 - [c39]Dionisio de Niz, Björn Andersson, Hyoseung Kim
Resilient Mixed-Trust Scheduling. RTSS 2021: 368-379 - 2020
- [c38]Dionisio de Niz, Björn Andersson, Hyoseung Kim
Work-In-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling. RTSS 2020: 411-414
2010 – 2019
- 2019
- [j9]Jian-Jia Chen
Many suspensions, many problems: a review of self-suspending tasks in real-time systems. Real Time Syst. 55(1): 144-207 (2019) - [c37]Dionisio de Niz, Björn Andersson, Mark H. Klein, John P. Lehoczky, Amit Vasudevan, Hyoseung Kim
Mixed-Trust Computing for Real-Time Systems. RTCSA 2019: 1-11 - 2018
- [j8]Björn Andersson, Hyoseung Kim
Schedulability Analysis of Tasks with Corunner-Dependent Execution Times. ACM Trans. Embed. Comput. Syst. 17(3): 71:1-71:29 (2018) - [i1]Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Bruno Sinopoli:
Software Rejuvenation for Secure Tracking Control. CoRR abs/1810.10468 (2018) - 2017
- [j7]Björn Andersson, Hyoseung Kim
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. 14(3): 16-23 (2017) - [j6]Sagar Chaki, Dionisio de Niz:
Formal Verification of a Timing Enforcer Implementation. ACM Trans. Embed. Comput. Syst. 16(5s): 168:1-168:19 (2017) - [c36]Dionisio de Niz, Björn Andersson, Hyoseung Kim
Mixed-criticality processing pipelines. DATE 2017: 1372-1375 - [c35]Björn Andersson, Sagar Chaki, Dionisio de Niz:
Combining Symbolic Runtime Enforcers for Cyber-Physical Systems. RV 2017: 68-84 - 2016
- [j5]Hyoseung Kim
Bounding and reducing memory interference in COTS-based multi-core systems. Real Time Syst. 52(3): 356-395 (2016) - [c34]Dionisio de Niz, Min-Young Nam, Julien Delange:
Behavioral complexity quantification (Becom-Q). WETSoM@ICSE 2016: 29-35 - 2015
- [c33]Ivan Ruchkin
Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. CPS-SPC@CCS 2015: 11-22 - [c32]Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein:
Semantic Importance Sampling for Statistical Model Checking. TACAS 2015: 241-255 - 2014
- [j4]Dionisio de Niz, Lutz Wrage, Anthony Rowe, Ragunathan Rajkumar:
Utility-Based Resource Overbooking for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 13(5s): 162:1-162:25 (2014) - [c31]Ivan Ruchkin
Contract-based integration of cyber-physical analyses. EMSOFT 2014: 23:1-23:10 - [c30]Dionisio de Niz, Linh T. X. Phan:
Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms. RTAS 2014: 111-122 - [c29]Hyoseung Kim
Bounding memory interference delay in COTS-based multi-core systems. RTAS 2014: 145-154 - 2013
- [c28]Noriaki Suzuki, Hyoseung Kim
Coordinated Bank and Cache Coloring for Temporal Protection of Memory Accesses. CSE 2013: 685-692 - [c27]Dionisio de Niz, Lutz Wrage, Anthony Rowe, Ragunathan Rajkumar:
Utility-based resource overbooking for Cyber-Physical Systems. RTCSA 2013: 217-226 - [c26]Junsung Kim, Björn Andersson, Dionisio de Niz, Ragunathan Rajkumar:
Segment-Fixed Priority Scheduling for Self-Suspending Real-Time Tasks. RTSS 2013: 246-257 - 2012
- [j3]Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez
Integrated Task and Interrupt Management for Real-Time Systems. ACM Trans. Embed. Comput. Syst. 11(2): 32:1-32:31 (2012) - [j2]Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar, Gabriel A. Moreno:
Overload provisioning in mixed-criticality cyber-physical systems. ACM Trans. Embed. Comput. Syst. 11(4): 83:1-83:24 (2012) - [c25]Björn Andersson, Sagar Chaki, Dionisio de Niz, Brian Dougherty, Russell Kegley, Jules White:
Non-preemptive Scheduling with History-Dependent Execution Time. ECRTS 2012: 363-372 - [c24]Dionisio de Niz, Lutz Wrage, Nathaniel Storer, Anthony Rowe, Ragunathan Rajkumar:
On Resource Overbooking in an Unmanned Aerial Vehicle. ICCPS 2012: 97-106 - [c23]Björn Andersson, Dionisio de Niz:
Analyzing Global-EDF for Multiprocessor Scheduling of Parallel Tasks. OPODIS 2012: 16-30 - [c22]Gabriel A. Moreno, Dionisio de Niz:
An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors. RTCSA 2012: 21-30 - 2011
- [c21]Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha:
Resource allocation contracts for open analytic runtime models. EMSOFT 2011: 13-22 - [c20]Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar:
Mixed-Criticality Task Synchronization in Zero-Slack Scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 47-56 - 2010
- [c19]Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar, Gabriel A. Moreno:
Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems. ICDCS 2010: 169-178 - [c18]Julien Delange
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. ICECCS 2010: 319-324
2000 – 2009
- 2009
- [c17]Dionisio de Niz, Peter H. Feiler:
Verification of Replication Architectures in AADL. ICECCS 2009: 365-370 - [c16]Dionisio de Niz, Karthik Lakshmanan, Ragunathan Rajkumar:
On the Scheduling of Mixed-Criticality Real-Time Task Sets. RTSS 2009: 291-300 - [c15]Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar:
Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors. RTSS 2009: 469-478 - 2008
- [c14]Dionisio de Niz, Peter H. Feiler:
On Resource Allocation in Architectural Models. ISORC 2008: 291-297 - [c13]Dionisio de Niz:
Architectural Concurrency Equivalence with Chaotic Models. MOMPES 2008: 57-67 - 2007
- [c12]Dionisio de Niz, Peter H. Feiler:
Aspects in the industry standard AADL. AOM@AOSD 2007: 15-20 - [c11]Peter H. Feiler, Dionisio de Niz, Chris Raistrick, Bruce A. Lewis:
From PIMs to PSMs. ICECCS 2007: 365-370 - 2006
- [j1]Dionisio de Niz, Raj Rajkumar:
Partitioning bin-packing algorithms for distributed real-time systems. Int. J. Embed. Syst. 2(3/4): 196-208 (2006) - [c10]Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez
Real-Time Scheduling of Interrupt Requests over Conventional PC Hardware. ENC 2006: 27-36 - [c9]Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez
Abnormal Events Handling for Dependable Embedded Systems. ENC 2006: 81-91 - [c8]Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez
Predictable Interrupt Management for Real Time Kernels over conventional PC Hardware. IEEE Real Time Technology and Applications Symposium 2006: 14-23 - [c7]Dionisio de Niz, Gaurav Bhatia, Raj Rajkumar:
Model-Based Development of Embedded Systems: The SysWeaver Approach. IEEE Real Time Technology and Applications Symposium 2006: 231-242 - [c6]Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez
Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels. RTCSA 2006: 385-394 - 2003
- [c5]Dionisio de Niz, Raj Rajkumar:
Time weaver: a software-through-models framework for embedded real-time systems. LCTES 2003: 133-143 - 2001
- [c4]Dionisio de Niz, Saowanee Saewong, Ragunathan Rajkumar, Luca Abeni
Resource Sharing in Reservation-Based Systems. IEEE Real Time Technology and Applications Symposium 2001: 130-131 - [c3]Dionisio de Niz, Luca Abeni, Saowanee Saewong, Ragunathan Rajkumar:
Resource Sharing in Reservation-Based Systems. RTSS 2001: 171-180 - 2000
- [c2]Dionisio de Niz, Ragunathan Rajkumar:
Chocolate: A Reservation-Based Real-Time Java Environment on Windows/NT. IEEE Real Time Technology and Applications Symposium 2000: 266-275 - [c1]Scott Johnson, Farnam Jahanian, Akihiko Miyoshi, Dionisio de Niz, Ragunathan Rajkumar:
Constructing Real-time Group Communication Middleware Using the Resource Kernel. RTSS 2000: 3-12
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: