No photo of Andrea Pferscher

Andrea Pferscher

Dipl.-Ing., BSc

20202020

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Andrea Pferscher is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 8 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
  • From Passive to Active: Learning Timed Automata Efficiently

    Aichernig, B., Pferscher, A. & Tappler, M., 10 Aug 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, Vol. 12229. p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  • Learning Abstracted Non-deterministic Finite State Machines

    Pferscher, A. & Aichernig, B., Dec 2020, Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings. Casola, V., De Benedictis, A. & Rak, M. (eds.). Springer, Vol. 12543. p. 52-69 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12543 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  • Learning-Based Fuzzing of IoT Message Brokers

    Aichernig, B., Muškardin, E. & Pferscher, A., 11 Dec 2020, (Accepted/In press) IEEE International Conference on Software Testing, Verification and Validation (ICST) 2021.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

If you made any changes in Pure these will be visible here soon.