Foto von Dejan Nickovic

Dejan Nickovic

Priv.Doz.Dr

 https://orcid.org/0000-0001-5468-0396
    Filter
    Vortrag mit Beitrag in Tagungsband

    Suchergebnisse

    • 2023

      A Systematic Approach to Automotive Security

      Masoud, E. (Vortragende:r), Marksteiner, S., Nickovic, D., Bloem, R., Schögler, D., Eisner, P., Sprung, S., Schober, T., Chlup, S., Schmittner, C. & König, S., 3 März 2023, International Symposium on Formal Methods. Chechik, M., Katoen, J.-P. & Leucker, M. (Hrsg.). Band 25. S. 598-609 11 S. (FM: International Symposium on Formal Methods).

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Attribute Repair for Threat Prevention

      Tarrach, T., Masoud, E. (Autor:in und Vortragende:r), König, S., Schmittner, C., Bloem, R. & Nickovic, D. (Vortragende:r), 20 Sept. 2023, Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings. Band 14181. S. 135-148 14 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems

      Bensalem, S. (Vortragende:r), Katsaros, P., Nickovic, D., Hsuang-Cheng Liao, B., Ruiz Nolasco, R., Abd El Salam Ahmed, M., Beyene, T., Cano, F., Delacourt, A., Esen, H., Forrai, A., He, W., Huang, X., Kekatos, N., Könighofer, B., Paulitsch, M., Peled, D., Sorokin, L., Tong, S. & Wu, C., 23 Okt. 2023, Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings. Steffen, B. (Hrsg.). Band 14380. S. 256-278

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access

    • From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling

      Marksteiner, S. (Vortragende:r), Schmittner, C. (Autor:in und Vortragende:r), Christl, K., Nickovic, D., Sjödin, M. & Sirjani, M., 5 Dez. 2023, Proceedings of the 7th ACM Computer Science in Cars Symposium, CSCS 2023, Darmstadt, Germany, 5 December 2023. Brücher, B., Krauß, C., Fritz, M., Hof, H. J. & Wasenmüller, O. (Hrsg.). S. 1-10 5

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Hypernode Automata

      Bartocci, E., Nickovic, D., Henzinger, T. & da Costa, A. O. (Vortragende:r), 18 Sept. 2023, 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Band 279. S. 1-16 16 S. (Leibniz International Proceedings in Informatics (LIPIcs); Band 279).

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access

    • Mining Specification Parameters for Multi-class Classification

      Aguilar Lozano, E. A., Bartocci, E., Mateis, C., Nesterini, E. (Vortragende:r) & Nickovic, D., 3 Okt. 2023, Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings. Katsaros, P. & Nenzi, L. (Hrsg.). Springer Nature Switzerland AG, Band 14245. S. 86-105

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Property-Based Mutation Testing

      Bartocci, E., Mariani, L., Nickovic, D. & Yadav, D. (Vortragende:r), 30 Apr. 2023, IEEE Conference on Software Testing, Verification and Validation, ICST 2023, Dublin, Ireland, April 16-20, 2023. S. 222-233

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access

    • Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

      Maderbacher, B. (Vortragende:r), Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., 26 Apr. 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings. Band 13872. S. 141-160

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Specification-Guided Critical Scenario Identification for Automated Driving

      Molin, A. (Vortragende:r), Aguilar Lozano, E. A., Nickovic, D., Zhu, M., Bemporad, A. & Esen, H., 6 März 2023, Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (Hrsg.). Band 14000. S. 610-621

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • TD-Magic: From Pictures of Timing Diagrams To Formal Specifications

      He, J. (Vortragende:r), Nickovic, D., Bartocci, E. & Grosu, R., 9 Juli 2023, 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023. S. 1-6

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access

    • Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems

      Kiviriga, A. (Vortragende:r), Nickovic, D., Larsen, K. & Nyman, U., 19 Sept. 2023, Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings. Petrucci, L. & Sproston, J. (Hrsg.). Band 14138. S. 141-157

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • 2022

      DeepSTL - From English Requirements to Signal Temporal Logic

      He, J., Bartocci, E., Nickovic, D. (Vortragende:r), Isakovic, H. & Grosu, R., 2022, 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022. S. 610-622 13 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access

    • FIM: fault injection and mutation for Simulink

      Bartocci, E., Mariani, L., Nickovic, D. (Vortragende:r) & Yadav, D., 2022, Proceedings of the 30th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022. S. 1716-1720 5 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access

    • Flavors of Sequential Information Flow

      Bartocci, E., Ferrère, T., Henzinger, T., Nickovic, D. (Vortragende:r) & da Costa, A. O., 2022, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceeding. Springer, S. 1-19 19 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access

    • Information-flow Interfaces

      Bartocci, E., Ferrère, T., Henzinger, T., Nickovic, D. (Vortragende:r) & da Costa, A. O., 2022, Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Springer, S. 3-22 20 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access
    • 2021

      Adaptive Testing for Specification Coverage in CPS Models

      Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N. & Nickovic, D. (Vortragende:r), 2021, 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021. S. 229-234 6 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access

    • Mining Shape Expressions with ShapeIt

      Bartocci, E., Deshmukh, J. V., Mateis, C., Nesterini, E. (Vortragende:r), Nickovic, D. & Qin, X., 2021, Proceedings of 19th International Conference on Software Engineering and Formal Methods. Springer Nature, S. 110-117 8 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access

    • On the complexity of timed pattern matching

      Asarin, E., Ferrère, T., Nickovic, D. (Vortragende:r) & Ulus, D., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings. Springer, S. 15-31 17 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access

    • Sampling of Shape Expressions with ShapEx

      Basset, N., Dang, T., Gigler, F. (Vortragende:r), Mateis, C. & Nickovic, D., 2021, Proceedings of 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. Arun-Kumar, S., Mery, D., Saha, I. & Zhang, L. (Hrsg.). S. 118-125 8 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access
    • 2020

      CPSDebug: a tool for explanation of failures in cyber-physical systems

      Bartocci, E. (Autor:in, eingeladen), Manjunath, N. (Vortragende:r, eingeladen), Mariani, L. (Autor:in, eingeladen), Mateis, C. (Autor:in, eingeladen), Nickovic, D. (Autor:in, eingeladen) & Pastore, F. (Autor:in, eingeladen), 2020, ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. S. 569-572 4 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

    • RTAMT: Online Robustness Monitors from STL

      Nickovic, D. (Vortragende:r) & Yamaguchi, T., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings.. Springer, S. 564-571 8 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Weakness monitors for Fail-Aware Systems

      Granig, W. (Autor:in, eingeladen), Jaksic, S. (Vortragende:r, eingeladen), Lewitschnig, H. (Autor:in, eingeladen), Mateis, C. (Autor:in, eingeladen) & Nickovic, D. (Autor:in, eingeladen), 2020, 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Springer, S. 283-301 19 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • 2019

      Automatic Failure Explanation in CPS Models

      Bartocci, E., Manjunath, N. (Vortragende:r), Mariani, L., Mateis, C. & Nickovic, D., 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. S. 69-85 17 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Interface-aware signal temporal logic

      Ferrère, T., Nickovic, D. (Vortragende:r), Donze, A., Ito, H. & Kapinski, J., 2019, Proceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.. S. 57-66 10 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Mixed-Time Signal Temporal Logic

      Ferrère, T., Maler, O. & Nickovic, D. (Vortragende:r), 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. S. 59-75 17 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Shape Expressions for Specifying and Extracting Signal Features

      Nickovic, D. (Vortragende:r, eingeladen), Qin, X. (Autor:in, eingeladen), Ferrère, T. (Autor:in, eingeladen), Mateis, C. (Autor:in, eingeladen) & Deshmukh, J. V. (Autor:in, eingeladen), 2019, Runtime verification - 19th International Conference, RV 2019, Porto, Portugal, Octiber 8-11, 2019, Proceedings. S. 292-309 18 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • 2018

      A Counting Semantics for Monitoring LTL Specifications over Finite Traces

      Bartocci, E., Bloem, R. (Vortragende:r), Nickovic, D. & Röck, F., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018. S. 547-564 18 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic

      Nickovic, D. (Vortragende:r), Lebeltel, O., Maler, O., Ferrère, T. & Ulus, D., 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. S. 303-319 17 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates

      Frehse, G., Kekatos, N. (Vortragende:r), Nickovic, D., Oehlerking, J., Schuler, S. & Woehrle, M., 2018, 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018. S. 2384-2391 8 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Localizing Faults in Simulink/Stateflow Models with STL

      Bartocci, E., Ferrère, T., Manjunath, N. (Vortragende:r) & Nickovic, D., 2018, Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control. S. 197-206 10 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access

    • Production Tests Coverage Analysis in the Simulation Environment

      Nickovic, D., Manjunath, N. (Vortragende:r), Haerle, D., Sabanal, S., Eichinger, H., Tauber, H., Machne, A., Manthey, C. & Vaananen, M., 2018, IEEE International Test Conference, ITC 2018, Phoenix, AZ, USA, October 29 - Nov. 1, 2018. S. 1-7 7 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • The first-order logic of signals: keynote

      Henzinger, T. (Vortragende:r, eingeladen), Bakhirkin, A. (Autor:in, eingeladen), Ferrère, T. (Autor:in, eingeladen) & Nickovic, D. (Autor:in, eingeladen), 2018, Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 05, 2018. S. 1-10 10 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • 2017

      Combining the Temporal and Epistemic Dimensions for MTL Monitoring

      Asarin, E., Maler, O., Nickovic, D. (Vortragende:r) & Ulus, D., 2017, Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. S. 207-223 17 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Exponential pattern recognition for deriving air change rates from CO2 data

      Heschl, C., Klanatsky, P., Mateis, C., Nickovic, D. & Wenig, F. (Vortragende:r), 2017, 2017 IEEE 26th International Symposium on Industrial Electronics (ISIE). S. 1507-1512 6 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Runtime Monitoring with Recovery of the SENT Communication Protocol

      Selyunin, K. (Vortragende:r, eingeladen), Jaksic, S. (Autor:in, eingeladen), Nguyen, T. (Autor:in, eingeladen), Reidl, C. (Autor:in, eingeladen), Hafner, U. (Autor:in, eingeladen), Bartocci, E. (Autor:in, eingeladen), Nickovic, D. (Autor:in, eingeladen) & Grosu, R. (Autor:in, eingeladen), 2017, Proceedings of the 29th international conference on Computer aided verification. S. 336-355 20 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • 2016

      Monitoring of MTL specifications with IBM's spiking-neuron model

      Nickovic, D. (Vortragende:r), Selyunin, K., Nguyen, T., Bartocci, E. & Grosu, R., 2016, 2016 Design, Automation and Test in Europe Conference and Exhibition. S. 924-929 6 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Quantitative monitoring of STL with edit distance

      Jaksic, S. (Vortragende:r, eingeladen), Bartocci, E. (Autor:in, eingeladen), Grosu, R. (Autor:in, eingeladen) & Nickovic, D. (Autor:in, eingeladen), 2016, International Conference on Runtime Verification, RV2016. S. 201-218 18 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Temporal Logic as Filtering

      Nickovic, D. (Vortragende:r), Radionova, A., Bartocci, E. & Grosu, R., 2016, HSCC 2016. S. 11-20 10 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems

      Nickovic, D. (Vortragende:r), Nguyen, T., Bartocci, E., Grosu, R., Jaksic, S. & Selyunin, K., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium. S. 371-379 9 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems

      Jaksic, S. (Vortragende:r), Bartocci, E., Grosu, R. & Nickovic, D., 2016, Runtime Verificiation - 16th International Conference, RV 2016. S. 201-218 18 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • 2015

      A Pattern-Based Formalization of Cloud-Based Elastic Systems

      Dustdar, S. (Autor:in, eingeladen), Gambi, A. (Autor:in, eingeladen), Krenn, W. (Vortragende:r, eingeladen) & Nickovic, D. (Autor:in, eingeladen), 2015, 7th IEEE/ACM International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS) 2015. S. 31-37 7 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Bounded Determinization of Timed Automata with Silent Transitions

      Nickovic, D. (Vortragende:r), Lorber, F., Rosenmann, A. & Aichernig, B. K., 2015, Formal Modeling and Analysis of Timed Systems, 13th International Conference. S. 288-304 17 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Complete Composition Operators for IOCO-Testing Theory

      Benes, N., Daca, P., Henzinger, T., Kretinsky, J. & Nickovic, D. (Vortragende:r), 2015, Proceedings of the CBSE. S. 101-110 10 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • From signal temporal logic to FPGA monitors

      Jaksic, S. (Vortragende:r), Bartocci, E., Grosu, R., Kloibhofer, R., Nguyen, T. & Nickovic, D., 2015, 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign. S. 218-227 10 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Measuring with Timed Patterns

      Nickovic, D. (Vortragende:r), Ferrère, T., Maler, O. & Ulus, D., 2015, Proceedings of the Computer Aided Verification - 27th International Conference, CAV,2015,San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. S. 322-337 16 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Monitoring and Measuring Hybrid Behaviors A Tutorial

      Nickovic, D. (Vortragende:r, eingeladen), 2015, Runtime Verification 2015. S. 378-402 25 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

    • Require, Test and Trace IT

      Aichernig, B. K. (Vortragende:r), Hörmaier, K., Lorber, F., Nickovic, D. & Tiran, S., 2015, 4.safe.tech Tagung. S. 113-127 15 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

    • Scalable Incremental Test-case Generation from Large Behavior Models

      Aichernig, B. K., Tiran, S. & Nickovic, D. (Vortragende:r), 2015, Proceedings of Tests and Proofs- 9th International Conference, TAP 2015. S. 1-18 18 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Second International Competition on Runtime Verification CRV 2015

      Nickovic, D. (Vortragende:r, eingeladen), Falcone, Y. (Autor:in, eingeladen), Reger, G. (Autor:in, eingeladen) & Thoma, D. (Autor:in, eingeladen), 2015, Runtime Verification 2015. S. 405-422 18 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

    • Trace Diagnostics Using Temporal Implicants

      Nickovic, D. (Vortragende:r), Ferrère, T. & Maler, O., 2015, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015. S. 241-258 18 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung