Institut für Computer Engineering

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
 


Results 1-100 of 3086 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Ahmad, Sabtain ; Schneidergruber, Thomas ; Brandic, Ivona ; Scholz, Johannes On-Device Federated Learning for Remote Alpine Livestock MonitoringInproceedings Konferenzbeitrag 23-Aug-2026
2Laso Rodriguez, Ruben ; Salimi Beni, Majid ; Vardas, Ioannis ; Benkner, Siegfried ; Hunold, Sascha To ncclsee, or Not to ncclsee: That is the Profiling QuestionInproceedings Konferenzbeitrag10-Apr-2026
3Yadav, Drishti ; Mandrioli, Claudio ; Bartocci, Ezio ; Bianculli, Domenico Fault Injection for Simulink-based CPS Models: Insights and Future DirectionsInproceedings Konferenzbeitrag 28-Jan-2026
4Hollerer Siegfried - 2026 - Integrated Safety and Security Knowledge Modeling.pdf.jpgHollerer, Siegfried Integrated Safety and Security Knowledge ModelingThesis Hochschulschrift 2026
5Bhosale Pushparaj Rajaram - 2026 - Automatic Risk Management for Industrial...pdf.jpgBhosale, Pushparaj Rajaram Automatic Risk Management for Industrial Control SystemsThesis Hochschulschrift 2026
6Ostrowski Erik - 2026 - Weakly Supervised and Embedded Semantic Segmentation for...pdf.jpgOstrowski, Erik Weakly Supervised and Embedded Semantic Segmentation for Computer Aided DiagnosticsThesis Hochschulschrift 2026
7Strasser Michael - 2026 - Effiziente Validierung von UML-Sequenzdiagrammen gegen...pdf.jpgStrasser, Michael Effiziente Validierung von UML-Sequenzdiagrammen gegen UML-Zustandsautomaten mittels Kronecker AlgebraThesis Hochschulschrift 2026
8Chakarov Teodor - 2026 - Performance and Scalability Analysis of Dask...pdf.jpgChakarov, Teodor Performance and Scalability Analysis of Dask Applications on Large Scale SystemsThesis Hochschulschrift 2026
9Leszczyk Jan - 2026 - Computational Modeling of Macaque Locomotion From Motion...pdf.jpgLeszczyk, Jan Computational Modeling of Macaque Locomotion: From Motion Capture to Joint Torque ActuationThesis Hochschulschrift 2026
10Hacker Clemens - 2026 - 5D Pathplanning.pdf.jpgHacker, Clemens 5D path-planning : velocity based, optimal path-planning for mobile robots with Ackermann-steeringThesis Hochschulschrift 2026
11Abd Alrahman, Yehia ; Azzopardi, Shaun ; Di Stefano, Luca ; Piterman, Nir A compositional semantics for reconfigurable multi-mode interaction in R-CHECKArticle Artikel 2026
12Träff, Jesper Larsson Lectures on Parallel ComputingBook Buch2026
13Randone, Francesca ; Doz, Romina ; Tribastone, Mirco ; Bortolussi, Luca DeGAS: Gradient-Based Optimization of Probabilistic Programs without SamplingInproceedings Konferenzbeitrag 2026
14Kienast Hanna - 2026 - Enhancing QAOA using QRAC encoding for combinatorial...pdf.jpgKienast, Hanna Enhancing QAOA using QRAC encoding for combinatorial optimization problemsThesis Hochschulschrift 2026
15Kofnov, Andrey ; Kapla, Daniel Benjamin ; Bartocci, Ezio ; Bura, Efstathia Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random InputsPresentation Vortrag17-Dec-2025
16Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana Hypernode automataArticle Artikel 9-Dec-2025
17El Shahaby, Raghda ; Függer, Matthias ; Huemer, Florian ; Steininger, Andreas SeAL: A Provably Complete Fault-Injection Tool for Asynchronous CircuitsInproceedings Konferenzbeitrag 9-Dec-2025
18Chiari-2025-JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS-vor.pdf.jpgChiari, Michele ; Camilli, Matteo ; Bersani, Marcello M. ; van Beusekom, Rutger ; Tamburri, Damian A. Reality Check on Formal Methods in Industry: A Study of Verum DezyneArticle Artikel Dec-2025
19Stauß, Philipp ; Prömpers, Martin ; Ilcik, Martin ; Shariattalab, Nooshin ; Bader, Markus ; Korjenic, Azra ; Kovacic, Iva Green Facade Digital Twin : GreenFDTPresentation Vortrag28-Nov-2025
20van Kempen, Philipp ; Hager-Clukas, Andreas ; Müller-Gritschneder, Daniel ; Schlichtmann, Ulf GenIE: Reuse-Oriented Generation of Domain-Specific Instruction ExtensionsInproceedings Konferenzbeitrag 17-Nov-2025
21Klotz, Steven ; Joglekar, Nehaja ; Bucksch, Thorsten ; Goswami, Dip ; Müller-Gritschneder, Daniel Embedding Current Constraints in Reinforcement Learning for Electric Motor ControlInproceedings Konferenzbeitrag 11-Nov-2025
22Chiari-2025-Information and Computation-vor.pdf.jpgChiari, Michele ; Mandrioli, Dino ; Pradella, Matteo Cyclic operator precedence grammars for parallel parsingArticle Artikel Nov-2025
23Ehrenmüller, Katrin ; Diwold, Konrad ; Schwarzinger, Tobias ; Steindl, Gernot ; Prüggler, Wolfgang ; Ekaputra, Fajar J. ; Sabou, Marta Enhancing Transparency in Smart Grids: the SENSE FrameworkInproceedings Konferenzbeitrag 29-Oct-2025
24Kopetz-2025-A short Note on Data versus Information-ao.pdf.jpgKopetz, H. A short Note on Data versus InformationPreprint Preprint 23-Oct-2025
25Fraigniaud, Pierre ; Nguyen, Minh Hang ; Paz, Ami ; Schmid, Ulrich ; Rincon Galeana, Hugo Lower Bounds for k-Set Agreement in Fault-Prone NetworksInproceedings Konferenzbeitrag 22-Oct-2025
26Schwarzinger-2025-IEEE Access-vor.pdf.jpgSchwarzinger, Tobias ; Thoma, Max ; Preindl, Thomas ; Kjäer, Martin ; Just, Valentin Philipp ; Steindl, Gernot RDF fusion: an extensible SPARQL engine for hybrid data modelsArticle Artikel 20-Oct-2025
27Jones, Jefferson Parker ; Van Kempen, Philipp ; Mueller-Gritschneder, Daniel Vicuna2.0: RISC-V Embedded Vector Unit with Half-Precision Floating-Point Support for TinyMLInproceedings Konferenzbeitrag 6-Oct-2025
28Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Information-Flow Interfaces and Security LatticesBook Contribution Buchbeitrag 1-Oct-2025
29Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter Optimized Constant Execution Time CodeInproceedings Konferenzbeitrag 29-Sep-2025
30Chen, Hongkai ; Zhang, Zeyu ; Roy, Shouvik ; Bartocci, Ezio ; Smolka, Scott A. ; Stoller, Scott ; Lin, Shan Cumulative-Time Signal Temporal LogicArticle Artikel 26-Sep-2025
31Melani, Beatrice ; Bartocci, Ezio ; Chiari, Michele A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal OperatorsArticle Artikel 26-Sep-2025
32Thoma, Moritz ; Aghajanzadeh, Emad ; Balamuthu Sampath, Shambhavi ; Mori, Pierpaolo ; Fasfous, Nael ; Frickenstein, Alexander ; Vemparala, Manoj-Rohit ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf SuperFast: Fast Supernet Training Using Initial KnowledgeInproceedings Konferenzbeitrag 15-Sep-2025
33Thoma, Moritz ; Villasante, Jorge ; Aghajanzadeh, Emad ; Balamuthu Sampath, Shambhavi ; Mori, Pierpaolo ; Groetzinger, Maximilian ; Dylkin, Daniil ; Vemparala, Manoj-Rohit ; Fasfous, Nael ; Frickenstein, Alexander ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf Flar-SVD: Fast and Latency-Aware Singular Value Decomposition for Model CompressionInproceedings Konferenzbeitrag 15-Sep-2025
34Thoma, Moritz ; Tobias Preintner ; Aghajanzadeh, Emad ; Balamuthu Sampath, Shambhavi ; Mori, Pierpaolo ; Fasfous, Nael ; Vemparala, Manoj-Rohit ; Frickenstein, Alexander ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf Uncertainty Aware Training to Improve Uncertainty Active Learning for Semantic SegmentationInproceedings Konferenzbeitrag 15-Sep-2025
35Di Stefano, Luca Execution and Monitoring of HOA Automata with HOAXInproceedings Konferenzbeitrag 12-Sep-2025
36Mohammad Hosseini, Ali ; Sauter, Thilo ; Kastner, Wolfgang Trustworthy AI for Security Decision-Making in ICSs: Towards Compliance with the EU AI ActInproceedings Konferenzbeitrag 12-Sep-2025
37Klotz, Steven ; Kulkarni, Sourabh ; Joglekar, Nehaja ; Bucksch, Thorsten ; Goswami, Dip ; Mueller-Gritschneder, Daniel Sim-to-Real: Tiny Deep Learning Agents on Resource-Constrained Embedded MicrocontrollersInproceedings Konferenzbeitrag 11-Sep-2025
38Kanatbekova, Meerzhan ; De Maio, Vincenzo ; Brandic, Ivona Qubit-Efficient QUBO Formulation for Constrained Optimization ProblemsPreprint Preprint9-Sep-2025
39Thain, Douglas ; Nabrzyski, Jarek ; Brandic, Ivona ; Wisniewski, Robert HPDC '25: Proceedings of the 34th International Symposium on High-Performance Parallel and Distributed ComputingProceedings Tagungsband 9-Sep-2025
40Hsu, Tzu-Han ; Oliveira Da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo Gray-box runtime enforcement of hyperpropertiesArticle Artikel Sep-2025
41Zilk, Felix ; Tundo, Alessandro ; De Maio, Vincenzo ; Brandic, Ivona Breaking Down Quantum Compilation: Profiling and Identifying Costly PassesInproceedings Konferenzbeitrag 27-Aug-2025
42Amiri-2025-Requirements Validation of Event-Driven Supply Chains Using Mod...-am.pdf.jpgAmiri, Amirali Requirements Validation of Event-Driven Supply Chains Using Model-Based Systems EngineeringInproceedings Konferenzbeitrag 20-Aug-2025
43Müller-Gritschneder, Daniel ; Lieber, Peter Combining TinyML & Model-based Architecture Methods for Predictive Maintenance in Highly Regulated EnvironmentsPresentation Vortrag16-Aug-2025
44Salimi Beni, Majid ; Laso, Ruben ; Cosenza, Biagio ; Benkner, Siegfried ; Hunold, Sascha Exploring NCCL Tuning Strategies for Distributed Deep LearningInproceedings Konferenzbeitrag 13-Aug-2025
45De Maio, Vincenzo ; Brandic, Ivona ; Deelman, Ewa ; Cito, Jürgen The Road to Hybrid Quantum Programs: Characterizing the Evolution from Classical to Hybrid Quantum SoftwareInproceedings Konferenzbeitrag 28-Jul-2025
46Scharwitzl, Clemens ; Steininger, Andreas Circuits for Autonomous Clock Frequency SupervisionArticle Artikel 25-Jul-2025
47Vardas-2025-CONCURRENCY AND COMPUTATION-PRACTICE  EXPERIENCE-vor.pdf.jpgVardas, Ioannis ; Träff, Jesper Larsson ; Laso, Ruben ; Hunold, Sascha Mpisee: communicator-centric profiling of MPI applicationsArticle Artikel 25-Jul-2025
48Azzopardi, Shaun ; Di Stefano, Luca ; Piterman, Nir ; Schneider, Gerardo Full LTL Synthesis over Infinite-State ArenasInproceedings Konferenzbeitrag 23-Jul-2025
49Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele POPACheck: A Model Checker for Probabilistic Pushdown AutomataInproceedings Konferenzbeitrag 22-Jul-2025
50Bammer, Ferdinand ; Huemer, Florian Ferdinand ; Mahmoudi, Ramin ; Cherepanov, Maksym Imaging-Ellipsometry in the InfraredInproceedings Konferenzbeitrag13-Jul-2025
51Träff, Jesper Larsson Communication Round and Computation Efficient Exclusive Prefix-Sums Algorithms (for MPI_Exscan)Preprint Preprint 7-Jul-2025
52Ahmadifarsani, Samira ; Müller-Gritschneder, Daniel ; Schlichtmann, Ulf A High-Level Compiler Integration Approach for Deep Learning Accelerators Supporting Abstraction and OptimizationPreprint Preprint7-Jul-2025
53Kappes, Johannes ; Geier, Johannes ; van Kempen, Phillipp ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf Automated Graph-level Passes for TinyML Fault ToleranceInproceedings Konferenzbeitrag 30-Jun-2025
54Müller-Gritschneder, Daniel Towards an Automated Toolchain and Fusion-based Instruction Identification for RISC-V Custom ExtensionsPresentation Vortrag25-Jun-2025
55Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Salinas, Matias ; Betz, Christine Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case StudyInproceedings Konferenzbeitrag 8-Jun-2025
56Lehninger-2025-Muller C-Element for NEMS-am.pdf.jpgLehninger, Philipp ; Jantsch, Axel ; Steininger, Andreas ; Worsey, Elliott ; Marot, Victor ; Pamunuwa, Dinesh Muller C-Element for NEMSInproceedings Konferenzbeitrag 5-Jun-2025
57Brunnbauer, Axel ; Lemmel, Julian ; Babaiee, Zahra ; Neubauer, Sophie ; Grosu, Radu Scalable Offline Reinforcement Learning for Mean Field GamesInproceedings Konferenzbeitrag 5-Jun-2025
58Pontiggia, Francesco ; Macák, Filip ; Andriushchenko, Roman ; Michele Chiari ; Češka, Milan Decentralized Planning Using Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 5-Jun-2025
59Salzmann, Josef Distributed Locally Synchronous Grid Oscillator via Perpetual Token ExchangeInproceedings Konferenzbeitrag 5-Jun-2025
60Elshehaby, Raghda ; Függer, Matthias ; Huemer, Florian Ferdinand ; Steininger, Andreas Investigating the Effects of Permanent Faults in QDI Circuits: A Formal PerspectiveInproceedings Konferenzbeitrag 5-Jun-2025
61Chiari, Michele ; Giornetta, Michele ; Mandrioli, Dino ; Pradella, Matteo Boosting Parallel Parsing through Cyclic Operator Precedence GrammarsInproceedings Konferenzbeitrag Jun-2025
62Müller-Gritschneder, Daniel Low Overhead Fault Tolerance for tinyML and Security ApplicationsPresentation Vortrag30-May-2025
63Reicher-2025-Multi Robot Route Planning for ROS2-vor.pdf.jpgReicher, Matthias ; Bader, Markus Multi Robot Route Planning for ROS2Inproceedings Konferenzbeitrag 27-May-2025
64Friedl-2025-A Modular and Configurable Architecture for ROS 2 Hardware In...-vor.pdf.jpgFriedl, Jakob ; Bader, Markus A Modular and Configurable Architecture for ROS 2 Hardware Integration with micro-ROSInproceedings Konferenzbeitrag 27-May-2025
65Salimi Beni-2025-Optimizing Distributed Deep Learning Training by Tuning ...-vor.pdf.jpgSalimi Beni, Majid ; Laso, Ruben ; Cosenza, Biagio ; Benkner, Siegfried ; Hunold, Sascha Optimizing Distributed Deep Learning Training by Tuning NCCLInproceedings Konferenzbeitrag 22-May-2025
66Vardas-2025-ncclsee A Lightweight Profiling Tool for NCCL-vor.pdf.jpgVardas, Ioannis ; Laso Rodriguez, Ruben ; Salimi Beni, Majid ncclsee: A Lightweight Profiling Tool for NCCLInproceedings Konferenzbeitrag 22-May-2025
67Rüb, Marcus ; Konegen, Daniel ; Selle, Patrick ; Sikora, Axel ; Müller-Gritschneder, Daniel DRIP: DRop unImportant data Points -- Enhancing Machine Learning Efficiency with Grad-CAM-Based Real-Time Data Prioritization for On-Device TrainingPreprint Preprint22-May-2025
68Geier, Johannes ; Kontopoulos, Leonidas ; Müller-Gritschneder, Daniel ; Schlichtmann, Ulf Rapid Fault Injection Simulation by Hash-Based Differential Fault Effect Equivalence ChecksInproceedings Konferenzbeitrag 21-May-2025
69Salzmann, Josef ; Schmid, Ulrich Signal Prediction for Digital Circuits by Sigmoidal Approximations Using Neural NetworksInproceedings Konferenzbeitrag 21-May-2025
70Felber, Stephan ; Hummes Flores, Bernardo ; Rincon Galeana, Hugo Brief Announcement: A Sheaf-Theoretic Characterization of Tasks in Distributed SystemsInproceedings Konferenzbeitrag 21-May-2025
71Schmid, Ulrich ; Roman Kuznets Structural Information and Communication Complexity : 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, ProceedingsProceedings Tagungsband 15-May-2025
72Nesterini, Eleonora ; Bartocci, Ezio ; Gambi, Alessio ; Nickovic, Dejan ; Seshia, Sanjit A. ; Torfah, Hazem Mining Specifications for Predictive Safety MonitoringInproceedings Konferenzbeitrag 7-May-2025
73Buchsteiner, Jakob ; Marth, Daniel ; Taferner, Moritz ; Bader, Markus ROS with LEGO SpikeInproceedings Konferenzbeitrag May-2025
74Ferdowsi-2025-NONLINEAR ANALYSIS-HYBRID SYSTEMS-vor.pdf.jpgFerdowsi, Arman ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich ; Drmota, Michael Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEsArticle Artikel May-2025
75Zilk, Felix ; Tundo, Alessandro ; De Maio, Vincenzo ; Brandic, Ivona Breaking Down Quantum Compilation: Profiling and Identifying Costly PassesPreprint Preprint21-Apr-2025
76Lemmel, Julian ; Grosu, Radu Real-Time Recurrent Reinforcement LearningInproceedings Konferenzbeitrag 11-Apr-2025
77Babaiee, Zahra ; Mohseni Kiasari, Peyman ; Rus, Daniela ; Grosu, Radu The Master Key Filters Hypothesis: Deep Filters Are GeneralInproceedings Konferenzbeitrag 11-Apr-2025
78Kofnov, Andrey ; Bartocci, Ezio ; Bura, Efstathia Moment-based Density Elicitation with Applications in Probabilistic LoopsArticle Artikel Apr-2025
79Bhole-2025-IEEE Access-vor.pdf.jpgBhole, Mukund ; Sauter, Thilo ; Semper, Sabrina ; Kastner, Wolfgang Why to Fail Fast and Often: A Strategy for OT Safety and Security EvaluationArticle Artikel 20-Mar-2025
80De Maio, Vincenzo ; Brandic, Ivona ; Deelman, Ewa ; Cito, Jürgen The Road to Hybrid Quantum Programs: Characterizing the Evolution from Classical to Hybrid Quantum SoftwarePreprint Preprint14-Mar-2025
81Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Salinas, Matias ; Betz, Christine Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)Preprint Preprint 26-Feb-2025
82Traeff-2024-Optimal, Non-pipelined Reduce-scatter and Allreduce Algorithms-smur.pdf.jpgTräff, Jesper Larsson Optimal, Non-pipelined Reduce-scatter and Allreduce AlgorithmsPreprint Preprint 13-Feb-2025
83Berducci, Luigi ; Aguilar, Edgar A ; Ničković, Dejan ; Grosu, Radu HPRS: hierarchical potential-based reward shaping from task specificationsArticle Artikel 10-Feb-2025
84Liu, Wenliang ; Alsalehi, Suhail ; Mehdipour, Noushin ; Bartocci, Ezio ; Belta, Calin Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multi-Agent ControlArticle Artikel 4-Feb-2025
85Pacher, Felix ; Steindl, Gernot Enabling Semantically Enriched Data Streams from OPC UA in Industrial Cyber-Physical SystemsInproceedings Konferenzbeitrag Feb-2025
86Li, Penghua ; Wu, Xiankui ; Grosu, Radu ; Hou, Jie ; Ilolov, Mamadsho ; Xiang, Sheng Applying Neural Network to Health Estimation and Lifetime Prediction of Lithium-Ion BatteriesArticle Artikel Feb-2025
87Ostrowski, Erik ; Shafique, Muhammad Embedded-ViT: A Framework for Embedded Deployment of Vision-Transformer in Medical ApplicationsInproceedings Konferenzbeitrag 22-Jan-2025
88Ostrowski, Erik ; Shafique, Muhammad J-Net: A Low-Resolution Lightweight Neural Network for Semantic Segmentation in the Medical Field for Embedded DeploymentInproceedings Konferenzbeitrag 22-Jan-2025
89Ilager, Shashikant ; Briem, Lukas Florian ; Brandic, Ivona GREEN-CODE: Learning to Optimize Energy Efficiency in LLM-based Code GenerationPreprint Preprint19-Jan-2025
90Maliakel, Paul Joe ; Ilager, Shashikant ; Brandic, Ivona Investigating Energy Efficiency and Performance Trade-offs in LLM Inference Across Tasks and DVFS SettingsPreprint Preprint14-Jan-2025
91Felber, Stephan ; Galeana, Hugo Rincon Stabilizing Consensus Is Impossible in Lossy Iterated Immediate Snapshot ModelsInproceedings Konferenzbeitrag 8-Jan-2025
92Lorber, Florian ; Seceleanu, Cristina ; Tappler, Martin Message from the A-MOST 2025 Workshop ChairsInproceedings Konferenzbeitrag1-Jan-2025
93Rüb, Marcus ; Konegen, Daniel ; Sikora, Axel ; Mueller-Gritschneder, Daniel DRIP: DRop unImportant data Points - Enhancing Machine Learning Efficiency with Grad-CAM-Based Streaming Data Prioritization for On-Device TrainingInproceedings Konferenzbeitrag 1-Jan-2025
94Bhole-2025-IEEE Open Journal of the Industrial Electronics Society-vor.pdf.jpgBhole, Mukund ; Sauter, Thilo ; Kastner, Wolfgang Enhancing Industrial Cybersecurity: Insights from Analyzing Threat Groups and Strategies in Operational Technology EnvironmentsArticle Artikel 2025
95Amiri-2025-Self-Adaptive Intelligent Deployment of Message Brokers An Empi...-am.pdf.jpgAmiri, Amirali ; Nastic, Stefan ; Javadi, Bahman ; Kastner, Wolfgang Self-Adaptive Intelligent Deployment of Message Brokers: An Empirical Study on IoT PerformanceInproceedings Konferenzbeitrag 2025
96Amiri-2025-Elektrotechnik und Informationstechnik  e  i-vor.pdf.jpgAmiri, Amirali ; Nastic, Stefan ; Kastner, Wolfgang Supply chain optimization using model-based systems engineering and the internet of thingsArticle Artikel 2025
97Bartocci, Ezio ; Desharnais, Josée ; Lindner, Peter ; Sokolova, Ana A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake CaseBook Contribution Buchbeitrag 2025
98Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura Automated Monitoring of Web User InterfacesArticle Artikel 2025
99Körber, Nikolai ; Kromer, Eduard ; Siebert, Andreas ; Hauke, Sascha ; Mueller-Gritschneder, Daniel ; Schuller, Björn EGIC: Enhanced Low-Bit-Rate Generative Image Compression Guided by Semantic SegmentationInproceedings Konferenzbeitrag 2025
100Tundo, Alessandro ; Filippini, Federica ; Regonesi, Francesco ; Ciavotta, Michele ; Savi, Marco Decentralized Edge Workload Forecasting With Gossip LearningArticle Artikel 2025