Source: http://ccc-project.org/research-unit-results/publications/
Timestamp: 2019-04-19 15:13:14+00:00

Document:
M. Hamad, M. Tsantekidis, and V. Prevelakis: Red-Zone: Towards an Intrusion Response Framework for Intra-Vehicle System. To appear in Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS), Crete, Greece, Mai 2019.
T. Thüm, A. Knüppel, S. Krüger, S. Bolle, and I. Schaefer: Feature-Oriented Contract Composition. In Journal of Systems and Software (JSS), Elsevier, 2019.
J. Schlatow, M. Möstl, and R. Ernst: Self-aware scheduling for mixed-criticality component-based systems. To appear in Proceedings of the Real-Time and Embedded Technology and Applications Symposium (RTAS), Montreal, Canada, April 2019.
M. Nolte, M. Möstl, J. Schlatow, and R. Ernst: A Multiview Approach Toward Updatable Vehicle Automation Systems. To appear in Proceedings of the DATE Workshop on Autonomous Systems Design (ASD2019), Florence, Italy, March 2019.
M. Möstl, J. Schlatow, and R. Ernst: Synthesis of Monitors for Networked Systems with Heterogeneous Safety Requirements. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 37, no. 11, 2018, pp. 2824-2834.
M. Hamad, M. R. Agha, and V. Prevelakis: ProSEV: Proxy-Based Secure and Efficient Vehicular Communication. In Proceedings of the IEEE Vehicular Networking Conference (VNC), Taipei, Taiwan, IEEE, 2018.
B. Fiethe, M. Albers, A. Dörflinger, T. Lange, and H. Michalik: Controlling Concurrent Change in Aerospace Electronics. In Proceedings of the 4th ESA Space FPGA Users Workshop, Noordwijk, NL, April 2018.
M. Möstl, J. Schlatow, R. Ernst, N. Dutt, H. Nassar, A. Rahmani, F. J. Kurdahi, T. Wild, A. Sadighi, and A. Herkersdorf: Platform-Centric Self-Awareness as a Key Enabler for Controlling Changes in CPS. In Proceedings of the IEEE, vol. 106, issue 9, 2018, pp. 1543-1567.
K. Garlichs, M. Wegner, and L. Wolf: Realizing Collective Perception in the Artery Simulation Framework. In Proceedings of IEEE Vehicular Networking Conference (VNC), Taipei, Taiwan, December 2018.
M. Wegner, T. Schwarz, and L. Wolf: Connectivity Maps for V2I communication via ETSI ITS-G5. To appear in Proceedings of IEEE Vehicular Networking Conference (VNC), Taipei, Taiwan, IEEE, December 2018.
B. Lehmann, H.-J. Günther, and L. Wolf: A Generic Approach towards Maneuver Coordination for Automated Vehicles. To appear in Proceedings of 21st International IEEE Conference on Intelligent Transportation Systems, Mauio, Hawaii, USA, November 2018.
W. Xu and R. Kapitza: RATCHETA: Memory-bounded Hybrid Byzantine Consensus for Cooperative Embedded Systems. In Proceedings of the 37th IEEE International Symposium on Reliable Distributed Systems (SRDS 18), Salvador, Brazil, October 2018.
S. P. Fekete and P. Keldenich: Conflict-free coloring of intersection graphs. To appear in International Journal of Computational Geometry and Applications, 2018.
Z. Abel, V. Alvarez, E. D. Demaine, S. Fekete, A. Gour, A. Hesterberg, P. Keldenich, and C. Scheffer: Conflict-Free Coloring of Planar Graphs. To appear in SIAM Journal on Discrete Mathematics, 2018.
A. T. Becker, S. P. Fekete, P. Keldenich, D. Krupke, C. Rieck, C. Scheffer, and A. Schmidt: Tilt Assembly: Algorithms for Micro-Factories that Build Objects with Uniform External Forces. In Algorithmica, Special Issue: Algorithms and Computation, pp. 1-23, 2018.
E. D. Demaine, S. P. Fekete, P. Keldenich, H. Meijer, and C. Scheffer: Coordinated Motion Planning: Reconfiguring a Swarm of Labeled Robots with Bounded Stretch. In Proceedings of the 34th International Symposium on Computational Geometry (SoCG 2018), Budapest, Hungary, June 2018.
P. Keldenich, S. Manzoor, L. Huang, D. M. Krupke, A. Schmidt, S. P. Fekete, and A. Becker: On Designing 2D Discrete Workspaces to Sort or Classify 2D Polyominoes. To appear in Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Madrid, Spain, October 2018.
A. Dörflinger, M. Albers, B. Fiethe, J. Schlatow, H. Michalik, P. Keldenich, and S. P. Fekete: Hardware and Software Task Scheduling for ARM-FPGA Platforms. In Proceedings of 12th NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Edinburgh, UK, August 2018.
S. P. Fekete, R. Gmyr, S. Hugo, P. Keldenich, C. Scheffer, and A. Schmidt: CADbots: Using Finite Automata to Manipulate Programmable Matter. To appear in Proceedings of 13th International Workshop on the Algorithmic Foundations of Robotics (WAFR), Mérida, México, December 2018.
A. Knüppel, T. Thüm, C. I. Pardylla, and I. Schaefer: Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. In Proceedings of International Conference on Interactive Theorem Proving (ITP), Oxford, UK, July 2018.
A. Knüppel, T. Thüm, C. I. Pardylla, and I. Schaefer: Experience Report on Formally Verifying Parts of OpenJDK’s API with KeY. In Proceedings of 4th Workshop on Formal Integrated Development Environment (F-IDE), Oxford, UK, July 2018.
A. Knüppel, C. I. Pardylla, T. Thüm, and I. Schaefer: Scalability of Deductive Verification Depends on Method Call Treatment. To appear in Proceedings of 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA’18), Limassol, Cyprus, November 2018.
M. Möstl and R. Ernst: Cross-Layer Dependency Analysis with Timing Dependence Graphs. In Proceedings of the 55th Design Automation Conference (DAC), San Francisco, CA, USA, June 2018.
J. Schlatow, M. Möstl, S. Tobuschat, T. Ishigooka, and R. Ernst: Data-Age Analysis and Optimisation for Cause-Effect Chains in Automotive Control Systems. In Proceedings of IEEE Symposium on Industrial Embedded Systems (SIES), Graz, Austria, June 2018.
M. Hamad, Z. A. H. Hammadeh, S.Saidi, V. Prevelakis, and R. Ernst: Prediction of Abnormal Temporal Behavior in Real-Time Systems. In Proceedings of 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), Pau, France, April 2018.
M. Hamad, M. R. Agha, and V. Prevelakis: ProSEV: Proxy-Based Secure and Efficient Vehicular Communication. To appear in Proceedings of IEEE Vehicular Networking Conference (VNC), Taipei, Taiwan, December 2018.
M. A. Siddiqi, R. M. Seepers, M. Hamad, V. Prevelakis, and C. Strydis: Attack-tree-based Threat Modeling of Medical Implants. In Proceedings of 7th International Workshop on Security Proofs for Embedded Systems (PROOFS), Amsterdam, Netherlands, September 2018.
A. Dörflinger, M. Albers, B. Fiethe and H. Michalik: Hardware Acceleration in Genode OS Using Dynamic Partial Reconfiguration. In Proceedings of 31st International Conference on Architecture of Computing Systems (ARCS), Braunschweig, Germany, April 2018.
G. Bagschik, M. Nolte, S. Ernst, and M. Maurer: A System’s Perspective Towards an Architecture Framework for Safe Automated Vehicles. To appear in Proceedings of 21st IEEE Conference on Intelligent Transportation Systems (ITSC), Maui, Hawaii, USA, November 2018.
I. Jatzkowski, D. Wilke, and M. Maurer: A Deep Learning Approach for the Detection of Overexposure in Automotive Camera Images. To appear in Proceedings 2018 IEEE Conference on Intelligent Transportation Systems (ITSC), Maui, Hawaii, USA, November 2018.
T. Stolte, T. Liao, M. Nee, M. Nolte, and M. Maurer: Investigating Cross-domain Redundancies in the Context of Vehicle Automation – A Trajectory Tracking Perspective. To appear in IEEE Conference on Intelligent Transportation Systems (ITSC), Maui, Hawaii, USA, November 2018.
Benduhn, T. Thüm, I. Schaefer, and G. Saake: Modularization of Refinement Steps for Agile Formal Methods. In Proceedings of the International Conference on Formal Engineering Methods (ICFEM), Xi’an, China, November 2017.
Michel, H. Guzmán-Miranda, A. Dörflinger, H. Michalik, and M. A. Echanove: SEU fault classification by fault injection for an FPGA in the space instrument SOPHI. Proceedings of NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Pasadena, Canada, pp. 9-15, 2017.
Three Colors Suffice: Conflict-Free Coloring of Planar Graphs. In Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Barcelona, Spain, 2017, pp. 1951-196.
M. Ayoub, W. Adi, and V. Prevelakis: Using Ciphers for Failure Recovery in ITS systems. In International Conference on Availability, Reliability and Security (ARES 2017), 29. August, Italy, 2017.
M. E. Bender, M. Farach-Colton, S.P. Fekete, J. Fineman, and S. Gilbert: Cost-Oblivious Storage Reallocation. In ACM Transactions on Algorithms, 2017.
S. P. Fekete, P. Keldenich: Conflict-free coloring of intersection graphs. In Proceedings of European Workshop on Computational Geometry (EuroCG 2017), Malmö, Sweden, 2017, pp. 197-200.
S. P. Fekete, J.-M. Reinhardt, and C. Scheffer: An Efficient Data Structure for Dynamic Two-Dimensional Reconfiguration. In Journal of Systems Architecture, vol. 75, 2017, pp. 15-25.
S. P. Fekete, H.-F. Hoffmann: Online Square-in-Square Packing. In Algorithmica, vol. 77, no.3, 2017, pp. 867-901.
H.-J. Günther, J. Timpner, M. Wegner, R. Riebl, and L. Wolf: Extending a Holistic Microscopic IVC Simulation Environment with Local Perception Sensors and LTE Capabilities. In Elsevier Vehicular Communications, Special Issue on Heterogeneous Vehicular Networking, Elsevier, 2017.
M. Hamad, M. Nolte, and V. Prevelakis: A Framework for Policy Based Secure Intra Vehicle Communication. In 2017 IEEE Vehicular Networking Conference (VNC), (Italy ), November 2017.
M. Hamad and V. Prevelakis: Secure APIs for Applications in Microkernel-based Systems. In Proceedings of the 3rd International Conference on Information Systems Security and Privacy – Volume 1: ICISSP, 553-558, Porto, Portugal, 2017.
M. Möstl, J. Schlatow, M. Nolte, M. Maurer, and R. Ernst: Automating Future (Function-)Updates. In Tagungsband ELIV-Marketplace: E/E im Pkw, Düsseldorf, Germany, VDI Wissensforum GmbH, Oktober 2016, ISBN: 978-3-945435-05-2.
M. Möstl, S. Schlatow, R. Ernst, H. Hoffmann, A. Merchant, and A. Shraer: Self-aware systems for the internet-of-things. In Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, Pittsburgh, Pennsylvania, USA, Oct 2016, Special Session Paper.
M. Nolte, I. Jatzkowski, M. Maurer, J. Schlatow, M. Möstl, and R. Ernst: Ein Beitrag zur Selbstüberwachung von automatisierten Fahrzeugsystemen. In Diagnosetagung Dresden, 2017.
M. Nolte, M. Rose, T. Stolte, and M. Maurer: Model Predictive Control Based Trajectory Generation for Autonomous Vehicles – An Architectural Approach. In IEEE Intelligent Vehicles Symposium (IV), Los Angeles, USA, 2017.
M. Nolte, G. Bagschik, I. Jatzkowski, T. Stolte, A. Reschka, and M. Maurer: Towards a Skill- And Ability-Based Development Process for Self-Aware Automated Road Vehicles. In Proceedings of IEEE Conference on Intelligent Transportation Systems (ITSC), Yokohama, Japan, 2017.
J. Schlatow and R. Ernst: Response-Time Analysis for Task Chains with Complex Precedence and Blocking Relations. In International Conference on Embedded Software (EMSOFT), ACM Transactions on Embedded Computing Systems ESWEEK Special Issue, vol. 16, 2017, pp. 172:1-172:19.
J. Schlatow, M. Nolte, M. Möstl, I. Jatzkowski, R. Ernst, and M. Maurer: Towards model-based integration of component-based automotive software systems. In Proceedings of the Annual Conference of the IEEE Industrial Electronics Society (IECON17), Beijing, China, Oct. 2017.
J. Schlatow, M. Möstl, R. Ernst, M. Nolte, I. Jatzkowski, M. Maurer, C. Herber, and A. Herkersdorf: Self-awareness in autonomous automotive systems. In Proceedings of Design, Automation and Test in Europe (DATE), Lausanne, Switzerland, Mar. 2017.
M. Tsantekidis and V. Prevelakis: Library-Level Policy Enforcement. In Proceedings of the Eleventh International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2017), September 2017, Rome, Italy.
V. Prevelakis and W. Adi: LS-ARP: a lightweight and secure ARP. In Proceedings of the 7th International Conference on Emerging Security Technologies (EST), September, 2017, Kent, UK.
W. Xu, M. Wegner, R. Kapitza, and L. Wolf: Byzantine Agreement Service for Cooperative Embedded Systems. In Proceedings of 3rd International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2017), Denver, USA, 2017.
S.P. Fekete, J.-M. Reinhardt, and C. Scheffer: An Efficient Data Structure for Dynamic Two-Dimensional Reconfiguration. In Proceedings of the 29th International Conference on Architecture for Computing Systems (ARCS 2016), Nuremberg, Germany, Apr. 2016, pp. 306-318.
S. P. Fekete and H.-F. Hoffmann: Online Square-in-Square Packing. In Algorithmica, vol. 77, no. 3, 2016.
H. Hamad, M. Nolte, and V. Prevelakis: Towards Comprehensive Threat Modeling for Vehicles. In Proceedings of 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Porto, Portuga, Dec. 2016, pp. 31-36 [PDF].
M. Hamad, J. Schlatow, V. Prevelakis, and R. Ernst: A communication framework for distributed access control in microkernel-based systems. In Proceedings of 12th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT16), Toulouse, France, Jul. 2016, pp. 11-16 [PDF].
S. Holthusen, S. Quinton, I. Schaefer, J. Schlatow, and M. Wegner: Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates. In Proceedings PrePost, 2016 [PDF].
M. Moestl and R. Ernst: Handling complex dependencies in system design. In Proceedings of Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden, Germany, Mar. 2016, pp. 1120 – 1123 [PDF].
J. Schlatow and R. Ernst: Response-Time Analysis for Task Chains in Communicating Threads. In Proceedings of 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS 2016), Vienna, Austria, Apr. 2016, 10 pp. [PDF].
J. Timpner, M. Wegner, H. Günther, and L. Wolf: Towards a Multi-Protocol Microscopic IVC Simulation Environment for ADASs. Humboldt University, Berlin, Germany, Mar. 2016 [PDF].
M. Wegner, W. Xu. R. Kapitza, and L. Wolf: Byzantine Consensus in Vehicle Platooning via Inter-Vehicle Communication. In Proceedings of the 4th GI/ITG KuVS Fachgespraech Inter-Vehicle Communication (FG-IVC 2016), Berlin, Germany, Mar. 2016, 4 pp. [PDF].
M. Wegner, S. Rottmann, and L. Wolf: SCTPCL: An SCTP Convergence Layer Protocol for DTN. In Proceedings of the 11th ACM MobiCom Workshop on Challenged Networks, Oct. 2016, New York, NY, USA, pp. 19-24 [PDF].
M. E. Bender, M. Farach-Colton, S. P. Fekete, J. Fineman, and s. Gilbert, S.: Cost-Oblivious Reallocation for Sum of Completion Times. In Proceedings of the twenty-seventh annual ACM Symposium on Parallelism in Algorithms and Architecture (SPAA), Portland, Oregon, USA, Jun. 2015, pp. 143-154 [PDF].
Porto, Portugal, Mar. 2015, 7 pp. [PDF].
V. Prevelakis, and M. Hamad: A Policy-Based Communications Architecture for Vehicles. In Proceedings of the 2015 International Conference on Information Systems Security and Privacy. Angers, France, Feb. 2015. pp. 155-162 [PDF].
V. Prevelakis, and M. Hamad: Implementation and Performance Evaluation of IPSEC in Microkernel OS. In Proceedings of the Symposium On Computer Networks and Information Security (WSCNIS) 2015, Hammamet, Tunisia, Sep. 2015, 7 pp. [PDF].
V. Prevelakis, and M. Hamad: Extending the Operational Envelope of Applications. In Proceedings of the Conference on Trust and Trustworthy Computing (TRUST) 2015, Heraklion, Crete, Aug. 2015, 2 pp. [PDF].
A. Reschka, G. Bagschik, S. Ulbrich, M. Nolte, M. Maurer: Ability and Skill Graphs for System Modeling, Online Monitoring, and Decision Support for Vehicle Guidance Systems. In Proceedings of the IEEE Intelligent Vehicles Symposium (IV 2015), Seoul, South Korea, Jun./Jul. 2015, pp. 933-939 [PDF].
S. Schlatow, M. Moestl, and R. Ernst: An extensible autonomous reconfiguration framework for complex component-based embedded systems. In 12th International Conference on Autonomic Computing (ICAC 2015), Grenoble, France, Jul. 2015 pp. 239-242 [PDF].
W. Xu, Z. A. H.Hammadeh, S. Quinton, A. Kröller, and R. Ernst: Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis. In Proceedings of the 27th Euromicro Conference on Real-Time Systems (ECRTS ’15), Lund, Sweden, Jul. 2015, pp. 247-256 [PDF].
Problems in Scheduling. Algorithmica, vol. 73, no. 2, 2015, pp. 389-409 [PDF].
P. Bergmiller: Towards Functional Safety in Drive-by-Wire Vehicles (Phd thesis).
F. Bubenhagen: Analysis and Enhancement of a Fault-Tolerant NoC for SRAM-based FPGAs in Space Application (PhD Thesis).
S. P. Fekete, B. Fiethe, S. Friedrichs, H. Michalik, and C. Orlis: Efficient Reconfiguration of Processing Modules on FPGAs for Space Instruments. In Proceedings of NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Leicester, UK, Jul. 2014, pp. 15-22 [PDF].
S. P. Fekete, J.-M. Reinhardt, and N. Schweer: A Competitive Strategy for Distance-Aware Online Shape Allocation. Theoretical Computer Science, 555, 2014, pp. 43-54.
S. P. Fekete and H.-F. Hoffmann: Online Square-into-Square Packing. In: APPROX-RANDOM 2013, 77: 867, pp. 126-141 [PDF].
Z. A. H. Hammadeh, S. Quinton, and R. Ernst: Extending Typical Worst-Case Analysis Using Response-Time Dependencies to Bound Deadline Misses. In Proceedings of International Conference on Embedded Software, New Delhi, India, Oct. 2014, no. 10, 10 pp. [PDF].
M. E. Bender, M. Farach-Colton, S. P. Fekete, J. Fineman, and S. Gilbert: Cost-Oblivious Storage Reallocation. In Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS’14), Utah, USA, Jun. 2014, pp. 278-288 [PDF].
M. Neukirchner: Establishing Sufficient Temporal Independence Efficiently – A Monitoring Approach (PhD. dissertation).
B. Osterloh: Reliable dynamic partial hardware reconfiguration in space applications.
A. Paschalis, H. Michalik, N. Kranitis, C. López-Ongil, and P. R. Vasallo: Dependable Reconfigurable Space Systems: Challenges, New Trends and Case Studies. In Proc. of IEEE 20th International On-Line Testing Symposium (IOLTS), Platja d’Aro, Spain, Jul. 2014, pp. 222-227 [PDF].
A. Reschka, M. Nolte, T. Stolte, S. Schlatow, R. Ernst, and M. Maurer: Specifying a middleware for distributed embedded vehicle control systems. In Proceedings of IEEE International Conference on Vehicular Electronics and Safety (ICVES), Hyderabad, India, Dec. 2014, pp. 117 – 122 [PDF].
B. Fiethe, F. Bubenhagen, T. Lange, H. Michalik, and H. Michel: Dynamically Reconfigurable Processing Module (DRPM) and its Application on a Space Science Instrument. In Proceedings of the Workshop on Reconfigurable Computing (WRC). HiPEAC, Berlin, Germany, Jan. 2013.
M. Neukirchner, K. Lampka, S. Quinton, and R. Ernst: Multi-mode monitoring for mixed-criticality real-time systems. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, Montreal, Quebec, Canada, Sep. – Oct. 2013, IEEE Press, no. 34, 10 pp. [PDF].

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 

V. 
 V. 
 V. 

V. 

V. 

V.