Frank Slomka

Orcid: 0000-0002-7933-6652

Affiliations:
  • University of Ulm, Germany


According to our database1, Frank Slomka authored at least 94 papers between 1997 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A novel real-time calculus for arbitrary job patterns and deadlines.
J. Syst. Archit., 2024

Cost-Effective Network Packet Manipulation and Error-Detection Device.
Proceedings of the 21st IEEE Consumer Communications & Networking Conference, 2024

2023
Shirac: A linear algebra for event-based system modeling.
CoRR, 2023

Online Reduction of Exploration Space for Automated Underwater Modem Optimization.
Proceedings of the IEEE Military Communications Conference, 2023

Worst-Case Response Time Analysis of Earliest Deadline First in an Industrial Case Study.
Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2023

2022
MIAT Efficient analysis of adaptive variable-rate tasks.
J. Syst. Archit., 2022

A Mathematical Comparison Between Response-Time Analysis and Real-Time Calculus for Fixed-Priority Preemptive Scheduling.
Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

2021
Generalized and Scalable Offset-Based Response Time Analysis of Fixed Priority Systems.
J. Syst. Archit., 2021

Beyond the limitations of real-time scheduling theory: a unified scheduling theory for the analysis of real-time systems.
SICS Softw.-Intensive Cyber Phys. Syst., 2021

Improved acoustic underwater communication with orthogonal Kasami-based sequences for multi-user communication.
Proceedings of the WUWNet'21: The 15th International Conference on Underwater Networks & Systems, Shenzhen, Guangdong, China, November 22, 2021

Crumbs: Utilizing Functional Programming for Hardware Trace Data Analysis.
Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

Work-in-Progress Abstract: On the relationship between scheduling theory and real-time calculus.
Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

A Matter of Overhead - Response Time Analysis of Hard Real-Time Systems in Theory and Practice.
Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

2020
HeRTA: Heaviside Real-Time Analysis.
CoRR, 2020

NITRO: Non-Intrusive Task Detection and Monitoring in Hard Real-Time Systems.
Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

Design Space Exploration for Model-based Communication Systems.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019
A Sufficient Response Time Analysis Considering Angular Phases Between Rate-Dependent Tasks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

FIR-Filter: based Ambient Noise Implementation for Acoustic Underwater Communication Analysis.
Proceedings of the WUWNET'19: International Conference on Underwater Networks & Systems, 2019

2018
Exact Interference of Tasks With Variable Rate-Dependent Behavior.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

A survey of schedulability analysis techniques for rate-dependent tasks.
J. Syst. Softw., 2018

Generic Reusable Hardware/Software Co-Design Implementation of a Complete FH-FSK Modem for Robust Multi-User Acoustic Underwater Communication and System Validation on a FPGA.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

Upper Bound for Delay Densities.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

Real-Time Analysis of Distributed Systems including Tasks with Variable Rate-dependent Behavior.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

Secure Code Execution: A Generic PUF-Driven System Architecture.
Proceedings of the Information Security - 21st International Conference, 2018

MoMoViLab - A Cloud Based Modular and Mobile Virtual Lab.
Proceedings of the 12th European Workshop on Microelectronics Education, 2018

2017
Efficient underwater communication modem for harsh and highly non-stationary channel conditions - A fully model-based approach.
Proceedings of the 2017 IEEE Military Communications Conference, 2017

2015
Secure Execution Architecture based on PUF-driven Instruction Level Code Encryption.
IACR Cryptol. ePrint Arch., 2015

MIMO-enabling PHY layer enhancement for vehicular ad-hoc networks.
Proceedings of the 2015 IEEE Wireless Communications and Networking Conference Workshops, 2015

Wireless channel-based message authentication.
Proceedings of the 2015 IEEE Vehicular Networking Conference, 2015

Deterministic models of the physical layer through signal simulation.
Proceedings of the 8th International Conference on Simulation Tools and Techniques, 2015

On priority assignment for controller area network when some message identifiers are fixed.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Worst-case performance validation of safety-critical control systems with dropped samples.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Sensitivity Analysis of Dropped Samples for Performance-Oriented Controller Design.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Sufficient response time analysis considering dependencies between rate-dependent tasks.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014
Performance Comparison and Optimization of Channel Coding for Acoustic Communication in Shallow Waters.
Proceedings of the International Conference on Underwater Networks & Systems, Rome, Italy, November 12, 2014

Direct handling of infeasible paths in the event dependency analysis.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Schedulability tests for tasks with Variable Rate-dependent Behaviour under fixed priority scheduling.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Controller/platform co-design of networked control systems based on density functions.
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

2013
A new concept for system-level design of runtime reconfigurable real-time systems.
SIGBED Rev., 2013

Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways.
Real Time Syst., 2013

Abstract Modeling of embedded Systems Hardware.
Proceedings of the SIMULTECH 2013, 2013

Digital hardware projects: A new tool for automated complexity analysis.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Sufficient real-time analysis for an engine control unit.
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

A delay density model for networked control systems.
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Sufficient real-time analysis for an engine control unit with constant angular velocities.
Proceedings of the Design, Automation and Test in Europe, 2013

Event density analysis for event triggered control systems.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Towards real-time media access in vehicular ad-hoc networks.
Proceedings of the 2012 IEEE Wireless Communications and Networking Conference Workshops, 2012

An approach for the integration of smart antennas in the design and simulation of vehicular ad-hoc networks.
Proceedings of the First International Conference on Future Generation Communication Technologies (FGST 2012), 2012

2011
Relaxing Event Densities by Exploiting Infeasible Paths in Control Flow Graphs.
Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

Reducing Response Times by Competition Based Dependencies.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Timing and schedulability analysis for distributed automotive control applications.
Proceedings of the 11th International Conference on Embedded Software, 2011

Controller Area Network (CAN) Schedulability Analysis with FIFO Queues.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Design entropy concept: a measurement for complexity.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010
Generalizing Response-Time Analysis.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Holistic Real-Time Analysis with an Expressive Event Model.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009
Task-Dependent Processor Shutdown for Hard Real-Time Systems.
Proceedings of the Analysis, 2009

Event Stream Calculus for Schedulability Analysis.
Proceedings of the Analysis, 2009

Improved worst-case response-time calculations by upper-bound conditions.
Proceedings of the Design, Automation and Test in Europe, 2009

Application specific performance indicators for quantitative evaluation of the timing behavior for embedded real-time systems.
Proceedings of the Design, Automation and Test in Europe, 2009

2008
Advanced Hierachical Event-Stream Model.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

An application-based EDF scheduler for OSEK/VDX.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Fast Calculation of Permissible Slowdown Factors for Hard Real-Time Systems.
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2007

Improved Feasibility Tests for Asynchronous Real-Time Periodic Task Sets.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Run-Time efficient Feasibility Analysis of Uni-Processor Systems with Static Priorities.
Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

C-based System Development of Asynchronous Distributed Systems.
Proceedings of the Forum on specification and Design Languages, 2007

2006
Analyzing the Timing Characteristics of Task Activations.
Proceedings of the International Symposium on Industrial Embedded Systems, 2006

Simulation of distributed embedded real-time systems.
Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

Hierarchical Event Streams and Event Dependency Graphs: A New Computational Model for Embedded Real-Time Systems.
Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

Modifications on Event Streams for the Real-Time Analysis of Distributed Fixed-Priority Systems.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

Battery discharge aware energy feasibility analysis.
Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006

2005
Hardware/Software Co-Synthesis of Real-Time Systems with Approximated Analysis Algorithms.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

Smart Systems: Explorierende Roboter in der Lehre.
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

Efficient Feasibility Analysis for Real-Time Systems with EDF Scheduling.
Proceedings of the 2005 Design, 2005

2004
A Multiobjective Tabu Search Algorithm for the Design Space Exploration of Embedded Systems.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

An Event Stream Driven Approximation for the Analysis of Real-Time Systems.
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

2003
A general time model for the specification and design of embedded real-time systems.
Microelectron. J., 2003

Design and Implementation of Digital Linear Control Systems on Reconfigurable Hardware.
EURASIP J. Adv. Signal Process., 2003

2002
Mehrkriterienoptimierung verteilter Echtzeitsysteme mit Tabu-Search.
PhD thesis, 2002

SPI - Workbench für die Analyse Eingebetteter Systeme.
Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002

A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems.
Proceedings of the 2002 Design, 2002

Transformation of SDL specifications for system-level timing analysis.
Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2001
A General Approach for the Specification of Real-Time Systems with SDL.
Proceedings of the SDL 2001: Meeting UML, 2001

Generating mixing hardware/software systems from SDL specifications.
Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

2000
CORSAIR: HW/SW-Codesign von Kommunikationssystemen mit SDL.
Prax. Inf.verarb. Kommun., 2000

Rapid Prototyping von Realzeitsystemen mit SDL (Rapid Prototyping of Real Time Systems using SDL).
Informationstechnik Tech. Inform., 2000

Hardware/Software Codesign and Rapid Prototyping of Embedded Systems.
IEEE Des. Test Comput., 2000

1999
A Scalable Hardware Library for the Rapid Prototyping of SDL Specifications.
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping.
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

Design Process and Tools for the HW/SW-Codesign and Rapid-Prototyping of Parallel and Heterogeneous Real-Time Communication Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998
Schedulability analysis of heterogeneous systems for performance message sequence chart.
Proceedings of the Sixth International Workshop on Hardware/Software Codesign, 1998

1997
An annotational extension of message sequence charts to support performance engineering.
Proceedings of the SDL '97 Time for Testing, 1997

PMSC -- Integrating Performance into Message Sequence Chart.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997


  Loading...