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-20 of 128 (Search time: 0.016 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Gansterer Patrick Roland - 2023 - Methoden zur Regelpruefung fuer OPC UA Modelle.pdf.jpgGansterer, Patrick Roland Methoden zur Regelprüfung für OPC UA ModelleThesis Hochschulschrift 2023
2Platzer Michael - 2023 - Predictable and Performant Computer Architectures for...pdf.jpgPlatzer, Michael Predictable and Performant Computer Architectures for Time-Critical SystemsThesis Hochschulschrift 2023
3Lehr Christoph - 2023 - Design and Limitations of a Software-based TSN End...pdf.jpgLehr, Christoph Design and Limitations of a Software-based TSN End StationThesis Hochschulschrift 2023
4Steiner Sebastian - 2023 - Online Algorithm Selection of MPI Collective...pdf.jpgSteiner, Sebastian Online Algorithm Selection of MPI Collective Communication OperationsThesis Hochschulschrift 2023
5Sack Christian - 2023 - Erkennung von Mustern in EVM-Bytecode durch...pdf.jpgSack, Christian Erkennung von Mustern in EVM-Bytecode durch XQuery-Abfragen auf Ausführungspfaden im KontrollflussgraphenThesis Hochschulschrift 2023
6Navratil Alexander - 2023 - Distributed off-chain storage for...pdf.jpgNavratil, Alexander Distributed off-chain storage for inter-organizational Business Process ExecutionThesis Hochschulschrift 2023
7Neufeld Emeric Alexander - 2023 - Norm Compliance for Reinforcement Learning...pdf.jpgNeufeld, Emeric Alexander Norm Compliance for Reinforcement Learning AgentsThesis Hochschulschrift 2023
8Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina ; Caltais, Georgiana ; Schilling, Christian Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness PropertiesInproceedings Konferenzbeitrag 2023
9Koesslbacher Lukas - 2023 - Automated Exploit Generation for Ethereum Smart...pdf.jpgKösslbacher, Lukas Automated Exploit Generation for Ethereum Smart ContractsThesis Hochschulschrift 2023
10Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Survey on mining signal temporal logic specificationsArticle Artikel Nov-2022
11Kirchberger Andreas - 2022 - Worst-Case Execution Time Analysis of OPC UA PubSub...pdf.jpgKirchberger, Andreas Worst-Case Execution Time Analysis of OPC UA PubSub on a Time-Predictable ProcessorThesis Hochschulschrift 2022
12Brayer, Michael Techniques for Bytecode Analysis of Smart ContractsThesis Hochschulschrift2022
13Zainzinger Daniel - 2022 - Configuration deployment for reconfigurable safety...pdf.jpgZainzinger, Daniel Configuration deployment for reconfigurable safety systemsThesis Hochschulschrift 2022
14Kleebinder Daniel - 2023 - Time-travelling State Machines for verifiable BPM.pdf.jpgKleebinder, Daniel Time-travelling state machines for verifiable BPMThesis Hochschulschrift 2022
15Lukitsch Daniel - 2023 - Evaluating the Energy Simulations of Multicast Routing...pdf.jpgLukitsch, Daniel Evaluating the energy simulations of multicast routing protocols used in wireless sensor networksThesis Hochschulschrift 2022
16Hodovic Mirza - 2023 - Remote configuration of meshed sensor nodes in home and...pdf.jpgHodović, Mirza Remote configuration of (meshed) sensor nodes in home and building automationThesis Hochschulschrift 2022
17Reitgruber David - 2022 - Knowledge Base for Reconfigurable Safety Systems.pdf.jpgReitgruber, David Knowledge base for reconfigurable safety systemsThesis Hochschulschrift 2022
18Diwald Andrea - 2022 - Development and Analysis of Mobile Game Mechanics.pdf.jpgDiwald, Andrea Development and analysis of mobile game mechanicsThesis Hochschulschrift 2022
19Schwendinger Martin - 2022 - Evaluation of different tools for design and...pdf.jpgSchwendinger, Martin Evaluation of different tools for design and fault-injection of asynchronous circuitsThesis Hochschulschrift 2022
20Duer Wolfgang - 2022 - Fault-Tolerant GALS Architecture based on Pausable...pdf.jpgDür, Wolfgang Fault-tolerant GALS architecture based on pausable clockingThesis Hochschulschrift 2022