Institut für Computer Engineering

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E191 - Institut für Computer Engineering
 
Code Kennzahl
E191
 
Type of Organization Organisationstyp
Institute
 
Parent OrgUnit Übergeordnete Organisation
Active Aktiv
 

OrgUnit's Publications


Results 1-7 of 7 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1RU monitoring and diagnosis of security threats for unmanned aerial systems.pdf.jpgMoosbrugger, Patrick ; Rozier, Kristin Y. ; Schumann, Johann R2U2: monitoring and diagnosis of security threats for unmanned aerial systemsArticle Artikel2017
2Preface of the special issue on Model Checking of Software Selected papers of the th International SPIN Symposium on Model Checking of Software.pdf.jpgBartocci, Ezio ; Ramakrishnan, C.R. Preface of the special issue on Model Checking of Software; Selected papers of the 20th International SPIN Symposium on Model Checking of SoftwareArticle Artikel2016
32020_Article_.pdf.jpgDelPreto, Joseph ; Salazar-Gomez, Andres F. ; Gil, Stephanie ; Hasani, Ramin  ; Guenther, Frank H. ; Rus, Daniela Plug-and-play supervisory control using muscle and brain signals for real-time gesture and error detectionArticle Artikel9-Aug-2020
4HellRank a Hellinger-based centrality measure for bipartite social networks.pdf.jpgTaheri, Seyed Mohammad ; Mahyar, Hamidreza ; Firouzi, Mohammad ; Ghalebi K., Elahe ; Grosu, Radu; Movaghar, Ali HellRank: a Hellinger-based centrality measure for bipartite social networksArticle Artikel2017
5First international Competition on Runtime Verification rules benchmarks tools and final results of CRV.pdf.jpgBartocci, Ezio  ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014Article Artikel2017
6Cyber-physical systems challenge of the st century.pdf.jpgEsterle, Lukas ; Grosu, RaduCyber-physical systems; challenge of the 21st centuryArticle Artikel2016
7Architectural-Space Exploration of Heterogeneous Reliability and Checkpointing Modes for Out-of-Order Superscalar Processors.pdf.jpgPrabakaran, Bharath Srinivas ; Dave, Mihika ; Kriebel, Florian ; Rehman, Semeen ; Shafique, MuhammadArchitectural-Space Exploration of Heterogeneous Reliability and Checkpointing Modes for Out-of-Order Superscalar ProcessorsArticle Artikel2019