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


Dive into the research topics where J. Päßler is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • A Formal Model of Metacontrol in Maude

    Päßler, J., Aguado, E., Silva, G. R., Tarifa, S. L. T., Corbato, C. H. & Johnsen, E. B., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Proceedings of the 11th International Symposium, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Springer, p. 575-596 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    2 Citations (Scopus)
    6 Downloads (Pure)