GRK 1765:  System Correctness under Adverse Conditions - SCARE

• Subject Area: Computer Science
• Term: from 2012 to 2021
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 190214496

• Final Report Year: 2022

Final Report Abstract

The Research Training Group SCARE addressed computerised systems that are placed in an environment with which they cooperate, i.e., sense, control, and equip with unprecedented functionality. System correctness means that the cooperation between environment and system satisfies desired behavioural properties. This relationship depends on certain assumptions about the environment and the components of the system. The research training group systematically investigated the problem of system correctness under adverse, only partially predictable conditions which can influence the behaviour of the system, the system context, and the assumptions made for verifying correctness. SCARE studied three aspects of adverse conditions: • limited knowledge. • unpredictable behaviour. • changing structure of environment and system. SCARE pursued the following research themes: formal modeling, verification and analysis as well as constructive techniques, where formal methods are combined with engineering techniques, in particular the use of machine learning. SCARE achieved various advances of the state-of-the art: • novel correctness results were obtained for various types of systems: (graph) programs; stochastic, analog and hybrid systems; networked control systems; wireless sensor networks; automotive ad-hoc networks; controllers for traffic manoeuvres; concurrent systems; neural networks. • new means of system specifications were introduced: variants of logics for traffic manoeuvres and graph transformation systems; new automata model for hybrid systems; models representing interacting autonomous agents following rational strategies; retarded differential and hybrid systems. • novel automatic system verification algorithms were deployed: the first ever model checker for retarded differential equations; constraint solvers for stochastic satisfiability modulo theory over undecidable arithmetic theories; model checkers and synthesis algorithms for distributed systems represented by Petri nets and Petri games. We list highlights of the achievements: verification of dynamically typed programs; verification of graph programs against non-local graph specifications; a spatial logic for the safety of urban traffic manoeuvres; stochastic satisfiability modulo theory using random quantifiers over continuous quantifier domains; quantitative verification of stochastic hybrid systems; the first-ever model-checking algorithm handling retarded differential dynamics; reduction of Hilbertian-state dynamical systems to finite-dimensional hybrid state; Bayesian hybrid automata, a precise model of interacting rational agents under safety constraints; reliable routing in automotive ad-hoc networks subject to rapid topology changes; energy-efficient wireless sensing; applying genetic programming to configure and design replication strategies; improved understanding and modelling of aging effects in electronic systems; a methodology for HW/SW-optimization for predictable timing; model checking of Petri nets with transits against temporal flow properties; over-approximation in Petri net synthesis; exploiting symmetries of high-level Petri games in distributed synthesis; detecting adversarial input to neural networks with internal attacks; automatic verification of non-linear neural networks embedded into cyber-physical environments; nature-inspired dynamic optimization; machine learning methods applied to develop drugs against the coronavirus.

Publications

• “SCAMPI - Sensor Configuration and Aggregation Middleware for Multi Platform Interchange”. In: Informatik 2009: Im Focus das Leben, Beiträge der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9.-2.10.2009, Lübeck, Proceedings. Ed. by Fischer, S., E. Maehle, and R. Reischuk. Vol. 154. LNI. GI, 2009, pp. 2084–2097. ISBN: 978-3-88579-248-2
  Busemann, C., C. Kuka, U. Westermann, S. Boll, and D. Nicklas
  
• “Flexible and Efficient Sensor Data Processing - A Hybrid Approach”. In: Datenbanksysteme für Business, Technologie und Web (BTW), 14. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme" (DBIS), 2.- 4.3.2011 in Kaiserslautern, Germany. Ed. by Härder, T., W. Lehner, B. Mitschang, H. Schöning, and H. Schwarz. Vol. 180. LNI. GI, 2011, pp. 123–134. ISBN: 978-3-88579-274-1
  Busemann, C., C. Kuka, D. Nicklas, and S. Boll
  
• “Mashups for Community Aware Sensor Processing with SCAMPI”. In: BTW 2011 - Workshops und Studierendenprogramm, 1. März 2011, Kaiserslautern, Germany. Ed. by Fischer, P. M., H. Höpfner, J. Klein, D. Nicklas, B. Seeger, T. Umblia, and M. Virgin. Technische Universität Kaiserslautern, 2011, pp. 52–57. ISBN: 978-3-941438-61-3
  Kuka, C., C. Busemann, D. Nicklas, and S. Boll
  
• “Open Sensor Platforms: The Sensor Web Enablement Framework and Beyond”. In: MMS 2011: Mobile und ubiquitäre Informationssysteme. Proceedings der 6. Konferenz, 28. Februar 2011 in Kaiserslautern, Deutschland. Ed. by Höpfner, H., G. Specht, T. Ritz, and C. Bunse. Vol. 185. LNI. GI, 2011, pp. 39– 52. ISBN: 978-3-88579-279-6
  Funk, A., C. Busemann, C. Kuka, S. Boll, and D. Nicklas
  
• “Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments”. In: Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18. Revised Selected Papers. Ed. by Hähnle, R., J. Knoop, T. Margaria, D. Schreiner, and B. Steffen. Vol. 336. Communications in Computer and Information Science. Springer, 2011, pp. 61–75. ISBN: 978-3-642-34780-1
  Toben, T., S. Eilers, C. Kuka, S. Schweigert, H. Winkelmann, and S. Ruehrup
  
• “ZeDDS–Fault-Tolerant Data Management in Wireless Sensor Networks with Mobile Users”. In: Fifth Intern. Conf. on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2011). Ed. by Manharan, S., J. L. Mauri, N. Speirs, K. Selvarajah, and P. Rodrigues. Lisbon, Portugal: IARIA, 2011, pp. 11–16
  Kamenik, J., C. Peuser, V. Gollücke, D. Lorenz, R. Piechocki, M. Wasmann, and O. Theel
  
• Processing the uncertainty: Quality-aware data stream processing for dynamic context models”. In: Tenth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2012, Lugano, Switzerland, March 19-23. IEEE Computer Society, 2012, pp. 560–561. ISBN: 978-1-4673-0905-9
  Kuka, C.
  
• “A Hierarchy of Languages with Catenation and Shuffle”. In: Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012. Ed. by Popova-Zeugmann, L. Vol. 928. CEUR Workshop Proceedings. CEUR-WS.org, 2012, pp. 103–114
  Flick, N. E. and M. Kudlek
  
• “Approximating Complex Sensor Quality Using Failure Probability Intervals”. In: Scalable Uncertainty Management - 6th International Conference, SUM 2012, Marburg, Germany, September 17-19. Ed. by Hüllermeier, E., S. Link, T. Fober, and B. Seeger. Vol. 7520. Lecture Notes in Computer Science. Springer, 2012, pp. 287–298. ISBN: 978-3-642-33361-3
  Kuka, C. and D. Nicklas
  
• “Context-model generation for safe autonomous transport vehicles”. In: Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, DEBS 2012, Berlin, Germany, July 16-20, 2012. Ed. by Bry, F., A. Paschke, P. T. Eugster, C. Fetzer, and A. Behrend. ACM, 2012, pp. 365–366
  Kuka, C., S. Gerwinn, S. Schweigert, S. Eilers, and D. Nicklas
  
• “Language Operators for Multiset Languages and Modal Logic”. In: Fourth Workshop on Non-Classical Models for Automata and Applications - NCMA 2012, Fribourg, Switzerland, August 23-24, 2012. Proceedings. Ed. by Freund, R., M. Holzer, B. Truthe, and U. Ultes-Nitsche. Vol. 290. [e-mail]. Österreichische Computer Gesellschaft, 2012, pp. 79–91
  Flick, N. E. and M. Kudlek
  
• “Properties of Languages with Catenation and Shuffle”. In: Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012. Ed. by Popova-Zeugmann, L. Vol. 928. CEUR Workshop Proceedings. CEUR-WS.org, 2012, pp. 91–102
  Flick, N. E. and M. Kudlek
  
• “A Hierarchy of Languages with Catenation and Shuffle”. In: Fundamenta Informaticae 128.1-2 (2013), pp. 113–128
  Kudlek, M. and N. E. Flick
  
• “CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains”. In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18. Ed. by Hung, D. V. and M. Ogawa. Vol. 8172. Lecture Notes in Computer Science. Springer, 2013, pp. 464–468. ISBN: 978-3-319-02443-1
  Gao, Y., E. M. Hahn, N. Zhan, and L. Zhang
  
• “Dependable Systems through Region-Adherent Distributed Algorithms”. In: Intern. Conf. in Central Asia on Internet (ICI ’13). IEEE. Tashkent, Uzbekistan, Oct. 2013
  Becker, J. S., D. Rahmatov, and O. Theel
  
• “Derivation Languages of Graph Grammars”. In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013)
  Flick, N. E.
  
• “Model checking conditional CSL for continuoustime Markov chains”. In: Inf. Process. Lett. 113.1-2 (2013), pp. 44–50
  Gao, Y., M. Xu, N. Zhan, and L. Zhang
  
• “SaLsA Streams: Dynamic Context Models for Autonomous Transport Vehicles Based on Multisensor Fusion”. In: 2013 IEEE 14th International Conference on Mobile Data Management, Volume 1, Milan, Italy, June 3-6. IEEE Computer Society, 2013, pp. 263–266. ISBN: 978-1- 4673-6068-5
  Kuka, C., A. Bolles, A. Funk, S. Eilers, S. Schweigert, S. Gerwinn, and D. Nicklas
  
• “Towards Practical Verification of Dynamically Typed Programs”. In: 25th Nordic Workshop on Programming Theory (NWPT 2013). Tallinn, Estonia, 2013, pp. 28–30
  Engelmann, B.
  
• “Analysis of Petri Nets with Context-Free Structure Changes”. In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71(1) (2014)
  Flick, N. E. and B. Engelmann
  
• “Demo: supporting quality-aware pervasive applications by probabilistic data stream management”. In: The 8th ACM International Conference on Distributed Event-Based Systems, DEBS ’14, Mumbai, India, May 26-29. Ed. by Bellur, U. and R. Kothari. ACM, 2014, pp. 330–333. ISBN: 978-1-4503-2737-4
  Kuka, C. and D. Nicklas
  
• “EAVS: Energy aware virtual sensing for wireless sensor networks”. In: 2014 IEEE Ninth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), Singapore, April 21-24. IEEE, 2014, pp. 1–6. ISBN: 978-1-4799-2843-9
  Abdelaal, M., Y. Gao, M. Fränzle, and O. Theel
  
• “Enriching sensor data processing with quality semantics”. In: 2014 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom 2014 Workshops, Budapest, Hungary, March 24-28. IEEE, 2014, pp. 437– 442
  Kuka, C. and D. Nicklas
  
• “Properties of Languages with Catenation and Shuffle”. In: Fundamenta Informaticae 129.1-2 (2014), pp. 117–132
  Kudlek, M. and N. E. Flick
  
• “Properties of Petri Nets with Context-free Structure Changes”. In: Fifth International Workshop on Graph Computations Models (GCM 2014). Ed. by Echahed, R., A. Habel, and M. Mosbah. York, UK, 2014, pp. 76–90
  Flick, N. E. and B. Engelmann
  
• “Quality matters: supporting quality-aware pervasive applications by probabilistic data stream management”. In: The 8th ACM International Conference on Distributed Event-Based Systems, DEBS ’14, Mumbai, India, May 26-29. Ed. by Bellur, U. and R. Kothari. ACM, 2014, pp. 1–12. ISBN: 978-1-4503-2737-4
  Kuka, C. and D. Nicklas
  
• “Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality”. In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21. IEEE, 2014, pp. 203–212. ISBN: 978-1-4799-6474-1
  Becker, J. S., D. Rahmatov, and O. Theel
  
• “A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain”. In: Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3. Ed. by Campos, J. and B. R. Haverkort. Vol. 9259. Lecture Notes in Computer Science. Springer, 2015, pp. 295–311. ISBN: 978-3- 319-22263-9
  Gao, Y. and M. Fränzle
  
• “A Sound and Complete Hoare Logic for Dynamically- Typed, Object-Oriented Programs - Extended Version -”. In: CoRR abs/1509.08605 (2015)
  Engelmann, B. and E.-R. Olderog
  
• “A Transformational Approach for the Hardening of Region-Adherent Algorithms”. In: 21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015, Zhangjiajie, China, November 18-20. Ed. by Wang, G., T. Tsuchiya, and D. Xiang. IEEE, 2015, pp. 80–90. ISBN: 978-1-4673-9376-8
  Rahmatov, D., J. S. Becker, and O. Theel
  
• “Attribution of Graphs by Composition of M, N -adhesive Categories”. In: 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L’Aquila, Italy, July 20. Ed. by Plump, D. Vol. 1403. CEUR Workshop Proceedings. CEUR- WS.org, 2015, pp. 66–81
  Peuser, C. and A. Habel
  
• “Automatic Verification of Stability and Safety for Delay Differential Equations”. In: Computer Aided Verification (CAV), Part II. Ed. by Kroening, D. and C. S. Pasareanu. Vol. 9207. LNCS. Springer, 2015, pp. 338–355. ISBN: 978-3-319-21667-6
  Zou, L., M. Fränzle, N. Zhan, and P. N. Mosaad
  
• “Bestimmung von Datenunsicherheit in einem probabilistischen Datenstrommanagementsystem”. In: Datenbanksysteme für Business, Technologie und Web (BTW 2015) - Workshopband, 2.-3. März 2015, Hamburg, Germany. Ed. by Ritter, N., A. Henrich, W. Lehner, A. Thor, S. Friedrich, and W. Wingerath. Vol. 242. LNI. GI, 2015, pp. 81–90. ISBN: 978-3-88579-636-7
  Kuka, C. and D. Nicklas
  
• “Closing the Gap - Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic - Extended Version -”. In: CoRR abs/1501.02699 (2015). arXiv: 1501.02699
  Engelmann, B., E.-R. Olderog, and N. E. Flick
  
• “Composition of M, N-adhesive Categories with Application to Attribution of Graphs”. In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015)
  Peuser, C. and A. Habel
  
• “Cooperation and network coding based MAC protocol for VANETs”. In: 2015 IEEE Vehicular Networking Conference, VNC 2015, Kyoto, Japan, December 16-18. IEEE, 2015, pp. 64–67. ISBN: 978-1-4673-9411-6
  Khan, S., M. Alam, N. Müllner, and M. Fränzle
  
• “Decision Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain”. In: Frontiers of Formal Methods. Ed. by Ströder, T. and W. Thomas. Aachener Informatik Bericht AIB-2015-06. Aachen, Germany, 2015, pp. 103–108
  Gao, Y.
  
• “Formally Verifying Dynamically-typed Programs like Statically-typed Ones – Another Perspective”. In: Frontiers of Formal Methods. Ed. by Ströder, T. and W. Thomas. Aachener Informatik Bericht AIB-2015-06. Aachen, Germany, 2015, pp. 87–91
  Engelmann, B.
  
• “Generating All Minimal Petri Net Unsolvable Binary Words”. In: Prague Stringology Conference 2016, Prague, Czech Republic, August 29-31, 2015. Ed. by Holub, J. and J. Zdárek. Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, 2016, pp. 33–46. ISBN: 978-80-01-05996-8
  Erofeev, E. K., K. Barylska, L. Mikulski, and M. Piatkowski
  
• “liteDTW: A Lightweight Dynamic Time Warping for Tiny Sensing Devices”. In: The IEEE Intern. Conf. on Wireless Sensors (ICWiSE 2015). Malaysia, Aug. 2015, pp. 34–39
  Abdelaal, M., P. N. Mosaad, and O. Theel
  
• “No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL”. In: Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9. Ed. by Meyer, R., A. Platzer, and H. Wehrheim. Vol. 9360. Lecture Notes in Computer Science. Springer, 2015, pp. 152–171. ISBN: 978-3-319-23505-9
  Fränzle, M., M. R. Hansen, and H. Ody
  
• “On Binary Words Being Petri Net Solvable”. In: Intern. Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015 (Satellite event of the conferences: 36th Intern. Conf. on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th Intern. Conf. on Application of Concurrency to System Design ACSD 2015), Brussels, Belgium, June 22-23. Ed. by Aalst, W. M. P. van der, R. Bergenthum, and J. Carmona. Vol. 1371. CEUR Workshop Proceedings. CEUR-WS.org, 2015, pp. 1–15
  Barylska, K., E. Best, E. K. Erofeev, L. Mikulski, and M. Piatkowski
  
• “On Correctness of Graph Programs Relative to Recursively Nested Conditions”. In: 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015), L’Aquila, Italy, July 20. Ed. by Plump, D. Vol. 1403. CEUR Workshop Proceedings. CEUR-WS.org, 2015, pp. 97–112
  Flick, N. E
  
• “Proving Correctness of Graph Programs Relative to Recursively Nested Conditions”. In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015)
  Flick, N. E.
  
• “QoS Improvement with Lifetime Planning Strategy in Wireless Sensor Networks”. In: The 11th Intern. Conf. on Mobile Ad Hoc and Sensor Networks (IEEE MSN’15). China, Dec. 2015
  Abdelaal, M., P. Zhang, and O. Theel
  
• “Quotients of Unbounded Parallelism”. In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31. Ed. by Leucker, M., C. Rueda, and F. D. Valencia. Vol. 9399. Lecture Notes in Computer Science. Springer, 2015, pp. 241–257. ISBN: 978-3-319-25149-3
  Flick, N. E.
  
• “Region-adherent Distributed Algorithms in Faulty Environments”. In: Masters’ and Doctorate Symposium of the Information Technologies in Environmental Engineering Conference (ITEE 2015). IEEE. Port Elizabeth, South Africa, July 2015, pp. 188–193. ISBN: 978-1-920508-60-9
  Rahmatov, D. and O. Theel
  
• “Reliable virtual sensing for wireless sensor networks”. In: Tenth IEEE International Conference on Intelligent Sensors, Sensor Networks and Information Processing, ISSNIP 2015, Singapore, April 7-9. IEEE, 2015, pp. 1–7. ISBN: 978-1-4799-8055-0
  Abdelaal, M., C. Kuka, O. Theel, and D. Nicklas
  
• “Robust mid-range communication in Urban VANETs”. In: 17th Intern. Conf. on Advanced Communication Technology (ICACT). IEEE. 2015, pp. 115–120
  Khan, S. and M. Fränzle
  
• “Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures”. In: 24th Intern. Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30. Ed. by Suraj, Z. and L. Czaja. Vol. 1492. CEUR Workshop Proceedings. CEUR-WS.org, 2015, pp. 222–233
  Virbitskaite, I., E. N. Bozhenkova, and E. K. Erofeev
  
• “Undecidability Results for Multi-Lane Spatial Logic”. In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31. Ed. by Leucker, M., C. Rueda, and F. D. Valencia. Vol. 9399. Lecture Notes in Computer Science. Springer, 2015, pp. 404–421. ISBN: 978-3-319-25149-3
  Ody, H.
  
• “Verification for OAuth Using ASLan++”. In: 16th IEEE intern. Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10. IEEE Computer Society, 2015, pp. 76–84. ISBN: 978-1- 4799-8110-6
  Yan, H., H. Fang, C. Kuka, and H. Zhu
  
• “Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain”. In: Symbolic and Numerical Methods for Reachability Analysis, 1st Intern. Workshop, SNR 2015. Ed. by Bogomolov, S. and A. Tiwari. Vol. 37. EPiC Series in Computing. EasyChair, 2015, pp. 2–10
  Gao, Y. and M. Fränzle
  
• “A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs”. In: Theory and Practice of Formal Methods. Ed. by Ábrahám, E., M. Bonsangue, and E. B. Johnsen. Vol. 9660. LNCS. Springer, 2016, pp. 173– 193
  Engelmann, B. and E.-R. Olderog
  
• “Characterising Petri Net Solvable Binary Words”. In: Application and Theory of Petri Nets and Concurrency - 37th International Conference. Vol. 9698. Lecture Notes in Computer Science (20 pages). Springer, 2016
  Best, E., E. K. Erofeev, U. Schlachter, and H. Wimmel
  
• “Conditions for Petri Net Solvable Binary Words”. In: T. Petri Nets and Other Models of Concurrency. Lecture Notes in Computer Science 11 (2016). Ed. by Koutny, M., J. Desel, and J. Kleijn, pp. 137– 159
  Barylska, K., E. Best, E. K. Erofeev, L. Mikulski, and M. Piatkowski
  
• “CSiSAT: A satisfiability solver for SMT formulas with continuous probability distributions”. In: 2016 Intern. Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). Ed. by Ábrahám, E. and S. Bogomolov. IEEE, Apr. 2016, pp. 1–6
  Gao, Y. and M. Fränzle
  
• “Discounted Duration Calculus”. In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Ed. by Fitzgerald, J. S., C. L. Heitmeyer, S. Gnesi, and A. Philippou. Vol. 9995. Lecture Notes in Computer Science. Springer, 2016, pp. 577–592
  Ody, H., M. Fränzle, and M. R. Hansen
  
• “Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks”. In: Int. J. Distributed Sens. Networks 12.5 (2016), 1576038:1–1576038:28
  Abdelaal, M., O. E. Theel, C. Kuka, P. Zhang, Y. Gao, V. Bashlovkina, D. Nicklas, and M. Fränzle
  
• “Multi-channel mode for emergency system in urban connected vehicles”. In: 24th IEEE/ACM International Symposium on Quality of Service, IWQoS 2016, Beijing, China, June 20-21, 2016. IEEE, 2016, pp. 1–2
  Khan, S. and M. Fränzle
  
• “Proving correctness of graph programs relative to recursively nested conditions”. PhD thesis. University of Oldenburg, Germany, 2016
  Flick, N. E.
  
• “Reversing Transitions in Bounded Petri Nets”. In: 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016. Ed. by Schlingloff, B. Vol. 1698. CEUR Workshop Proceedings. CEUR-WS.org, 2016, pp. 74–85
  Barylska, K., L. Mikulski, M. Piatkowski, M. Koutny, and E. K. Erofeev
  
• “Temporal Logic Verification for Delay Differential Equations”. In: Theoretical Aspects of Computing – ICTAC 2016. Ed. by Sampaio, A. and F. Wang. Vol. 9965. LNCS. 18 pages. Springer, Oct. 2016
  Mosaad, P. N., M. Fränzle, and B. Xue
  
• “Validated Simulation-Based Verification of Delayed Differential Dynamics”. In: Formal Methods – FM 2016. Ed. by Fitzgerald, J. S., S. Gnesi, C. L. Heitmeyer, and A. Philippou. Vol. 9995. LNCS. 20 pages. Springer, Nov. 2016
  Chen, M., M. Fränzle, Y. Li, P. N. Mosaad, and N. Zhan
  
• Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)”. PhD thesis. University of Oldenburg, Germany, 2017
  Gao, Y.
  
• “A Component-Based Highly Available Data Replication Strategy Exploiting Operation Types and Hybrid Communication Mechanisms”. In: 14th IEEE International Conference on Services Computing (SCC). June 2017, pp. 495–498
  Usman, A., P. Zhang, and O. Theel
  
• “A hybrid MAC scheme for wireless vehicular communication”. In: IEEE EUROCON 2017 -17th International Conference on Smart Technologies, Ohrid, Macedonia, July 6-8, 2017. Ed. by Karadzinov, L., G. Cvetkovski, and P. Latkoski. IEEE, 2017, pp. 889–895
  Khan, S., M. Alam, and M. Fränzle
  
• “A Novel Highly Available Data Replication Strategy exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge”. In: 22nd IEEE Pacific Rim Intern. Symp. on Dependable Computing – PRDC 2017. 10 pages
  Usman, A., R. Schadek, and O. Theel
  
• “An Efficient and Updatable Item-to-item Frequency Matrix for Frequent Itemset Generation”. In: International Conference on Internet of Things and Cloud Computing. ICC ’17. Cambridge, United Kingdom: ACM, 2017, 85:1–85:6. ISBN: 978-1-4503-4774-7
  Usman, A., P. Zhang, and O. Theel
  
• “An Experimental Study of Dimensionality Reduction Methods”. In: KI 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings. Ed. by Kern-Isberner, G., J. Fürnkranz, and M. Thimm. Vol. 10505. Lecture Notes in Computer Science. Springer, 2017, pp. 178–192. ISBN: 978-3-319-67189-5
  Meier, A. and O. Kramer
  
• “An Improved BLE Indoor Localization with Kalman-Based Fusion: An Experimental Study”. In: Sensors 17.5 (2017). ISSN: 1424- 8220
  Röbesaat, J., P. Zhang, M. Abdelaal, and O. Theel
  
• “Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems”. In: Provably Correct Systems. Ed. by Hinchey, M., J. P. Bowen, and E.-R. Olderog. NASA Monographs in System and Software Engineering. 29 pages. Springer, 2017
  Fränzle, M., Y. Gao, and S. Gerwinn
  
• “Just scratching the surface: Partial exploration of initial values in reach-set computation”. In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017. IEEE, 2017, pp. 1769– 1775
  Xue, B., M. Fränzle, and P. N. Mosaad
  
• “Less is More: Learning More with Concurrent Transmissions for Energy-Efficient Flooding”. In: Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. MobiQuitous 2017. Melbourne, VIC, Australia: ACM, 2017, pp. 323–332. ISBN: 978-1-4503-5368-7
  Zhang, P., A. Y. Gao, and O. Theel
  
• “Model Checking Delay Differential Equations Against Metric Interval Temporal Logic”. In: Sci. Ann. Comput. Sci. 27.1 (2017), pp. 77–109
  Mosaad, P. N., M. Fränzle, and B. Xue
  
• “Monitoring of Traffic Manoeuvres with Imprecise Information”. In: First Workshop on Formal Verification of Autonomous Vehicles, Turin, Italy, 19th September 2017. Ed. by Bulwahn, L., M. Kamali, and S. Linker. Vol. 257. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association, 2017, pp. 43–58
  Ody, H.
  
• “MOR: Multichannel Opportunistic Routing for Wireless Sensor Networks”. In: International Conference on Embedded Wireless Systems and Networks (EWSN). ACM. Uppsala, Sweden, Feb. 2017, pp. 36–47
  Zhang, P., O. Landsiedel, and O. Theel
  
• “Reachability Graphs of Two-Transition Petri Nets”. In: International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017. Ed. by Aalst, W. M. P. van der, R. Bergenthum, and J. Carmona. Vol. 1847. CEUR Workshop Proceedings. CEUR-WS.org, 2017, pp. 39–54
  Erofeev, E. K. and H. Wimmel
  
• “Safe Over- and Under- Approximation of Reachable Sets for Delay Differential Equations”. In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Ed. by Abate, A. and G. Geeraerts. Vol. 10419. Lecture Notes in Computer Science. Springer, 2017, pp. 281–299
  Xue, B., P. N. Mosaad, M. Fränzle, M. Chen, Y. Li, and N. Zhan
  
• “Simulation-Based Safety Testing Brake-By-Wire”. In: ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems. IEEE Computer Society, Mar. 2017, pp. 61– 64. ISBN: 978-1-5090-6676-6
  Müllner, N., S. Khan, M. H. Rahman, W. Afzal, and M. Saadatmand
  
• “Techniques for the verification of dynamically typed programs”. PhD thesis. University of Oldenburg, Germany, 2017
  Engelmann, B.
  
• Adversarials -1: Defending by Attacking”. In: 2018 International Joint Conference on Neural Networks, IJCNN 2018, Rio de Janeiro, Brazil, July 8-13, 2018. IEEE, 2018, pp. 1–8. ISBN: 978-1-5090-6014-6
  Worzyk, N. S. and O. Kramer
  
• Properties of adv-1 - Adversarials of Adversarials”. In: 26th European Symposium on Artificial Neural Networks, ESANN 2018, Bruges, Belgium, April 25-27, 2018. 2018
  Worzyk, N. S. and O. Kramer
  
• Reversing Transitions in Bounded Petri Nets”. In: Fundam. Informaticae 157.4 (2018), pp. 341–357
  Barylska, K., E. K. Erofeev, M. Koutny, L. Mikulski, and M. Piatkowski
  
• “A Highly Available Replicated Service Registry for Service Discovery in a Highly Dynamic Deployment Infrastructure”. In: 2018 IEEE International Conference on Services Computing, SCC 2018, San Francisco, CA, USA, July 2-7, 2018. IEEE, 2018, pp. 265–268
  Usman, A., P. Zhang, and O. Theel
  
• “A Traffic Aware Segmentbased Routing protocol for VANETs in urban scenarios”. In: Comput. Electr. Eng. 68 (2018), pp. 447–462
  Khan, S., M. Alam, M. Fränzle, N. Müllner, and Y. Chen
  
• “Bandit Learning with Concurrent Transmissions for Energy-Efficient Flooding in Sensor Networks”. In: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems 18.13 (Mar. 2018)
  Zhang, P., A. Y. Gao, and O. Theel
  
• “Competition: Using Enhanced OFPCOIN to Monitor Multiple Concurrent Events under Adverse Conditions”. In: International Conference on Embedded Wireless Systems and Networks. EWSN ’18. 3rd place. Madrid, Spain, 2018, pp. 211–212
  Ma, X., P. Zhang, W. Tang, X. Li, W. He, F. Zhang, J. Wei, and O. Theel
  
• “Concurrent Transmission-based Packet Concatenation in Wireless Sensor Networks”. In: 43rd IEEE Conference on Local Computer Networks, LCN 2018, Chicago, IL, USA, October 1-4, 2018. IEEE, 2018, pp. 421–424
  Zhang, P., X. Ma, O. E. Theel, and J. Wei
  
• “DeCoT: A Dependable Concurrent Transmission-Based Protocol for Wireless Sensor Networks”. In: IEEE Access 6 (2018), pp. 73130–73146
  Ma, X., P. Zhang, X. Li, W. Tang, J. Wei, and O. E. Theel
  
• “From Hyperedge Replacement Grammars to Decidable Hyperedge Replacement Games”. In: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Ed. by Mazzara, M., I. Ober, and G. Salaün. Vol. 11176. Lecture Notes in Computer Science. Springer, 2018, pp. 463–478
  Peuser, C.
  
• “Geometry-predicting communication protocols for car2X applications”. PhD thesis. University of Oldenburg, Germany, 2018
  Khan, S.
  
• “Misbehavior detection system in VANETs using local traffic density”. In: 2018 IEEE Vehicular Networking Conference (VNC). Dec. 2018, pp. 1–4
  Zacharias, J. and S. Fröschle
  
• “Packet-in-Packet: Concatenation with Concurrent Transmission for Data Collection in Low-Power Wireless Sensor Networks”. In: 24th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2018, Singapore, December 11-13, 2018. IEEE, 2018, pp. 868–877
  Zhang, P., X. Ma, O. E. Theel, and J. Wei
  
• “Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles”. In: AAAI Spring Symposium Series. 2018, pp. 512–515
  Damm, W., M. Fränzle, S. Gerwinn, and P. Kröger
  
• “Prediction with Recurrent Neural Networks in Evolutionary Dynamic Optimization”. In: Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings. Ed. by Sim, K. and P. Kaufmann. Vol. 10784. Lecture Notes in Computer Science. Springer, 2018, pp. 848– 863. ISBN: 978-3-319-77537-1
  Meier, A. and O. Kramer
  
• “Quality of service control in proactive wireless sensor networks via lifetime planning”. In: Int. J. Sens. Networks 26.4 (2018), pp. 252–268
  Zhang, P., M. Abdelaal, and O. E. Theel
  
• “Recurrent Neural Network-predictions for PSO in Dynamic Optimization”. In: Genetic and Evolutionary Computation Conference. GECCO ’18. Kyoto, Japan: ACM, 2018, pp. 29–36. ISBN: 978-1-4503-5618-3
  Meier, A. and O. Kramer
  
• “Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems”. In: Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings. Ed. by Jansen, D. N. and P. Prabhakar. Vol. 11022. Lecture Notes in Computer Science. Springer, 2018, pp. 252–270
  Li, M., P. N. Mosaad, M. Fränzle, Z. She, and B. Xue
  
• “The Demon, the Gambler, and the Engineer – Reconciling Hybrid-System Theory with Metrology”. In: Symposium on Real-Time and Hybrid Systems. Ed. by Jones, C., J. Wang, and N. Zhan. Vol. 11180. Theoretical Computer Science and General Issues. Cham: Springer International Publishing, 2018, pp. 165–185
  Fränzle, M. and P. Kröger
  
• “Towards a Composition of Region-Adherent Systems”. In: The Fourteenth International Conference on Networking and Services, ICNS 2018, 20-24 May 2018, Nice, France. 2018, pp. 21–26
  Rahmatov, D., O. Theel, and M. Gieseking
  
• “What’s to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction”. In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Ed. by Lahiri, S. K. and C. Wang. Vol. 11138. Lecture Notes in Computer Science. Springer, 2018, pp. 56–74
  Chen, M., M. Fränzle, Y. Li, P. N. Mosaad, and N. Zhan
  
• “Competition: Using DeCoT+ to Collect Data under Interference”. In: Proceedings of the 2019 International Conference on Embedded Wireless Systems and Networks, EWSN 2019, Beijing, China, February 25-27, 2019. Ed. by Liu, Y., G. Xing, Y. He, and G. P. Picco. ACM, 2019, pp. 290–291
  Ma, X., P. Zhang, Y. Liu, X. Li, W. Tang, P. Tian, J. Wei, L. Shu, and O. E. Theel
  
• “CONE: A Connected Dominating Set-Based Flooding Protocol for Wireless Sensor Networks”. In: Sensors 19.10 (2019), p. 2378
  Lisiecki, D., P. Zhang, and O. E. Theel
  
• “Dynamic Conflict Resolution Using Justification Based Reasoning”. In: Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2019, Prague, Czech Republic, 7th April 2019. Ed. by Caltais, G. and J. Krivine. Vol. 308. EPTCS. Apr. 2019, pp. 47–65
  Damm, W., M. Fränzle, W. Hagemann, P. Kröger, and A. Rakow
  
• “In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-state Automata”. In: ACM SIGLOG News 6.1 (Feb. 2019), pp. 19–39. ISSN: 2372-3491
  Fränzle, M., M. Chen, and P. Kröger
  
• “Physical Adversarial Attacks by Projecting Perturbations”. In: Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing - 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, Part III. Ed. by Tetko, I. V., V. Kurková, P. Karpov, and F. J. Theis. Vol. 11729. Lecture Notes in Computer Science. Springer, 2019, pp. 649–659
  Worzyk, N. S., H. Kahlen, and O. Kramer
  
• “Predictive Uncertainty Estimation with Temporal Convolutional Networks for Dynamic Evolutionary Optimization”. In: Artificial Neural Networks and Machine Learning - ICANN 2019: Deep Learning - 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, Part II. Ed. by Tetko, I. V., V. Kurková, P. Karpov, and F. J. Theis. Vol. 11728. Lecture Notes in Computer Science. Springer, 2019, pp. 409–421
  Meier, A. and O. Kramer
  
• A Genetic Programming-Based Multi-Objective Optimization Approach to Data Replication Strategies for Distributed Systems”. In: IEEE Congress on Evolutionary Computation, CEC 2020, Glasgow, United Kingdom, July 19-24, 2020. IEEE, 2020, pp. 1–9
  Bokhari, S. M. A. and O. Theel
  
• Modeling Adverse Conditions in the Framework of Graph Transformation Systems”. In: Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 24th June 2020. Ed. by Hoffmann, B. and M. Minas. Vol. 330. EPTCS. 2020, pp. 35–54
  Özkan, O.
  
• “A Compiler Comparison in the RISC-V Ecosystem”. In: 2020 International Conference on Omni-layer Intelligent Systems, COINS 2020, Barcelona, Spain, August 31 - September 2, 2020. IEEE, 2020, pp. 1–6
  Poorhosseini, M., W. Nebel, and K. Grüttner
  
• “A Flexible Hybrid Approach to Data Replication in Distributed Systems”. In: Intelligent Computing - Proceedings of the 2020 Computing Conference, Volume 1, SAI 2020, London, UK, 16-17 July 2020. Ed. by Arai, K., S. Kapoor, and R. Bhatia. Vol. 1228. Advances in Intelligent Systems and Computing. Springer, 2020, pp. 196–207
  Bokhari, S. M. A. and O. Theel
  
• “Adversarials-1 in Speech Recognition: Detection and Defence”. In: 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2020, Bruges, Belgium, October 2-4, 2020. 2020, pp. 619–624
  Worzyk, N. S., S. Niewerth, and O. Kramer
  
• “Adversarials-1: detecting adversarial inputs with internal attacks”. PhD thesis. University of Oldenburg, Germany, 2020
  Worzyk, N. S.
  
• “Design of Scenario-based Application-optimized Data Replication Strategies through Genetic Programming”. In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, Volume 2, Valletta, Malta, February 22-24, 2020. Ed. by Rocha, A. P., L. Steels, and H. J. van den Herik. SCITEPRESS, 2020, pp. 120–129
  Bokhari, S. M. A. and O. Theel
  
• “Evolutionary Multi-objective Design of SARS-CoV-2 Protease Inhibitor Candidates”. In: Parallel Problem Solving from Nature - PPSN XVI - 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II. Ed. by Bäck, T., M. Preuss, A. H. Deutz, H. Wang, C. Doerr, M. T. M. Emmerich, and H. Trautmann. Vol. 12270. Lecture Notes in Computer Science. Springer, 2020, pp. 357–371
  ofala, T., L. Elend, P. Mirbach, J. Prellberg, T. Teusch, and O. Kramer
  
• “Gathering data with packet-in-packet in wireless sensor networks”. In: Comput. Networks 170 (2020), p. 107124
  Ma, X., P. Zhang, O. E. Theel, and J. Wei
  
• “Guess What I’m Doing! Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems”. In: Leveraging Applications of Formal Methods, Verification and Validation: Applications. Ed. by Margaria, T. and B. Steffen. Cham: Springer International Publishing, 2020, pp. 255–272. ISBN: 978-3-030-61467-6
  Fränzle, M. and P. Kröger
  
• “Improving end-to-end quality of service in low-power wireless sensor networks”. PhD thesis. University of Oldenburg, Germany, 2020
  Zhang, P.
  
• “Introducing Novel Crossover and Mutation Operators into Data Replication Strategies for Distributed Systems”. In: 25th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2020, Perth, Australia, December 1-4, 2020. IEEE, 2020, pp. 21–30
  Bokhari, S. M. A. and O. Theel
  
• “Monitoring of traffic manoeuvres with imprecise information”. PhD thesis. University of Oldenburg, Germany, 2020
  Ody, H.
  
• “Solving high-level Petri games”. In: Acta Informatica 57.3-5 (2020), pp. 591–626
  Gieseking, M., E.-R. Olderog, and N. Würdemann
  
• “Tournament Selection Improves Cartesian Genetic Programming for Atari Games”. In: 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2020. Bruges, Belgium, 2020, pp. 345–350
  Cofala, T., L. Elend, and O. Kramer
  
• “Use of Genetic Programming Operators in Data Replication and Fault Tolerance”. In: 26th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2020, Hong Kong, December 2-4, 2020. IEEE, 2020, pp. 290– 299
  Bokhari, S. M. A. and O. Theel.
  
• “A sampling-based approach for handling delays in continuous and hybrid systems”. In: it Inf. Technol. 63.5-6 (2021), pp. 289–298
  Abdelwahab, E. B. and M. Fränzle
  
• “Abstraction NBTI model”. In: it Inf. Technol. 63.5-6 (2021), pp. 299– 310
  Adolf, S. and W. Nebel
  
• “Bayesian Hybrid Automata: Reconciling Formal Methods with Metrology”. In: it Inf. Technol. 63.5-6 (2021), pp. 265–275
  Kröger, P. and M. Fränzle
  
• “Canonical Representations for Direct Generation of Strategies in High-Level Petri Games”. In: Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings. 2021, pp. 95–117
  Gieseking, M. and N. Würdemann
  
• “Designing New Data Replication Strategies Automatically”. In: Agents and Artificial Intelligence: Lecture Notes in Artificial Intelligence (LNAI). Springer International Publishing, 2021, pp. 308–331
  Bokhari, S. M. A. and O. Theel
  
• “Exploiting symmetries of high-level Petri games in distributed synthesis”. In: it Inf. Technol. 63.5-6 (2021), pp. 321–331
  Würdemann, N.
  
• “Functional verification of cyber-physical systems containing machine-learnt components”. In: it Inf. Technol. 63.5-6 (2021), pp. 277–287
  Moradkhani, F. and M. Fränzle
  
• “Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control”. In: Acta Informatica 58.5 (2021), pp. 497–528
  Chen, M., M. Fränzle, Y. Li, P. N. Mosaad, and N. Zhan
  
• “Infinite-state graph transformation systems under adverse conditions”. In: it Inf. Technol. 63.5-6 (2021), pp. 311–320
  Özkan, O.
  
• “Resilience of Well-structured Graph Transformation Systems”. In: Proceedings Twelfth International Workshop on Graph Computational Models, GCMSTAF 2021, Online, 22nd June 2021. Ed. by Hoffmann, B. and M. Minas. Vol. 350. EPTCS. 2021, pp. 69–88
  Özkan, O. and N. Würdemann
  
• “Spatial Generation of Molecules with Transformers”. In: International Joint Conference on Neural Networks, IJCNN 2021, Shenzhen, China, July 18-22, 2021. IEEE, 2021, pp. 1–7
  Cofala, T., T. Teusch, and O. Kramer
  
• “System correctness under adverse conditions”. In: it Inf. Technol. 63.5-6 (2021). Editorial of a Special Issue on SCARE, pp. 249–251
  Olderog, E.-R., M. Fränzle, O. E. Theel, and P. Kröger
  
• “Transformers for Molecular Graph Generation”. In: 29th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2021. Burges, Belgium, 2021, pp. 123–128. ISBN: 978287587082-7
  Cofala, T. and O. Kramer