Frank Slomka
Orcid: 0000-0002-7933-6652Affiliations:
- University of Ulm, Germany
According to our database1,
Frank Slomka
authored at least 94 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on uni-ulm.de
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
J. Syst. Archit., 2024
Proceedings of the 21st IEEE Consumer Communications & Networking Conference, 2024
2023
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
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
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
Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020
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
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
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
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
Proceedings of the Information Security - 21st International Conference, 2018
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
IACR Cryptol. ePrint Arch., 2015
Proceedings of the 2015 IEEE Wireless Communications and Networking Conference Workshops, 2015
Proceedings of the 2015 IEEE Vehicular Networking Conference, 2015
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
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
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
SIGBED Rev., 2013
Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways.
Real Time Syst., 2013
Proceedings of the SIMULTECH 2013, 2013
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013
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
Proceedings of the Design, Automation and Test in Europe, 2013
2012
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
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
Proceedings of the 11th International Conference on Embedded Software, 2011
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011
2010
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
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
Proceedings of the Analysis, 2009
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
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
2007
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
Proceedings of the Forum on specification and Design Languages, 2007
2006
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
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
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005
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
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004
2003
Microelectron. J., 2003
Design and Implementation of Digital Linear Control Systems on Reconfigurable Hardware.
EURASIP J. Adv. Signal Process., 2003
2002
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
Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002
2001
Proceedings of the SDL 2001: Meeting UML, 2001
Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001
2000
Prax. Inf.verarb. Kommun., 2000
Rapid Prototyping von Realzeitsystemen mit SDL (Rapid Prototyping of Real Time Systems using SDL).
Informationstechnik Tech. Inform., 2000
IEEE Des. Test Comput., 2000
1999
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999
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