• Selma Lagerløfs Vej 300, 1-2-32

    9220 Aalborg Ø

    Danmark

20032023

Publikationer pr. år

Filter
Bidrag til bog/antologi

Søgeresultater

  • Bidrag til bog/antologi

    MCC’2017: The Seventh Model Checking Contest

    Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 jan. 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (red.). Springer, s. 181-209 29 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    9 Citationer (Scopus)
  • Models for Embedded Real-Time Systems

    Lime, D., Roux, O. H. & Srba, J., 2009, Communicating Embedded Systems - Software and Design. Roux, O. H. & Jard, C. (red.). Wiley, s. 1-38 38 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Models for Real-Time Embedded Systems

    Lime, D., Roux, O. H. & Srba, J., 13 feb. 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (red.). Wiley, s. 1-37 37 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Simulation Relations and Applications in Formal Methods

    Larsen, K. G., Schilling, C. & Srba, J., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, s. 272-291 20 s. (Lecture Notes in Computer Science, Bind 13660).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • TAPAAL and Reachability Analysis of P/T Nets

    Jensen, J. F., Nielsen, T. S., Østergaard, L. K. & Srba, J., 2016, Transactions on Petri Nets and Other Models of Concurrency XI. Springer, s. 307-318 12 s. (Lecture Notes in Computer Science, Bind 9930).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    24 Citationer (Scopus)
  • The Algorithmics of Bisimilarity

    Aceto, L., Ingolfsdottir, A. & Srba, J., 2011, Advanced Topics in Bisimulation and Coinduction. Cambridge University Press, Bind 52. s. 100-172 73 s. (Cambridge Tracts in Theoretical Computer Science; Nr. 52).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Tools for Model-Checking Timed Systems

    David, A., Rasmussen, J. I., Larsen, K. G., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Pettersson, P., Srba, J., Yi, W., Jørgensen, K. Y., Lime, D., Magnin, M., Roux, O. H. & Traonouez, L-M., okt. 2009, Communicating Embedded Systems for Computer Science. Roux, O. H. & Jard, C. (red.). Wiley, s. 165-225

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Tools for Model-Checking Timed Systems

    David, A., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Larsen, K. G., Pettersson, P., Rasmussen, J. I., Srba, J., Yi, W., Joergensen, K. Y., Lime, D., Magnin, M., Roux, O. H. & Traonouez, L. M., 13 feb. 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (red.). Wiley, s. 165-225 61 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    4 Citationer (Scopus)