Billede af Jiri Srba

Vis Scopus-profil

Jiri Srba

 https://orcid.org/0000-0001-5551-6547

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

    9220 Aalborg Ø

    Danmark

20032023

Publikationer pr. år

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2003

    Undecidability of Weak Bisimilarity for PA-Processes

    Srba, J., 2003, Proceedings of 6th International Conference on Developments in Language Theory (DLT'02): LNCS,. 2450 udg. Springer, s. 197-208

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    11 Citationer (Scopus)
  • 2004

    Completeness Results for Undecidable Bisimilarity Problems

    Srba, J., 2004, Proccedings of the 5th International Workshop on Verification of Infinite-State Systems (INFINITY'03): ENTCS. 98 udg. Netherlands, s. 5-19

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    5 Citationer (Scopus)

  • Highly Undecidable Questions for Process Algebras

    Srba, J. & Jancar, P., 2004, Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04). Kluwer Academic Publishers, s. 507-520

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    5 Citationer (Scopus)

  • Recursive Ping-Pong Protocols

    Huttel, H. & Srba, J., 2004, Proceedings of 4th International Workshop on Issues in the Theory of Security. s. 129-140 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 2005

    On Counting the Number of Consistent Genotype Assignments for Pedigrees

    Srba, J., 2005, Proceedings of FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Ramanujam, R. & Sen, S. (red.). IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 3821).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)

    Srba, J. (red.) & Smolka, S. A. (red.), 2005, 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). NS-05-4 udg. BRICS, s. 1-70 70 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Recursion Versus Replication in Simple Cryptographic Protocols

    Hüttel, H. & Srba, J., 2005, SOFSEM 2005 : Theory and Practice of Computer Science: Proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Vojtáš, P., Bieliková, M., Charron-Bost, B. & Sýkora, O. (red.). IEEE Computer Society Press, s. 178-187 10 s. (Lecture Notes in Computer Science; Nr. 3381).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • Recursion vs. Replication in Simple Cryptographic Protocols

    Huttel, H. & Srba, J., 2005, Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05). s. 175-184 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    Fil
    472 Downloads (Pure)
  • 2006

    Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols

    Delzanno, G., Esparza, J. & Srba, J., 2006, Automated Technology for Verification and Analysis: Proceedings of the 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. IEEE Computer Society Press, s. 415-429 15 s. (Lecture Notes in Computer Science; Nr. 4218).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Undecidability Results for Bisimilarity on Prefix Rewrite Systems

    Jancar, P. & Srba, J., 2006, Foundations of Software Science and Computation Structures: Proceedings of the 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. IEEE Computer Society Press, s. 277-291 15 s. (Lecture Notes in Computer Science; Nr. 3921).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation

    Srba, J., 2006, Computer Science Logic: Proceedings of 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. IEEE Computer Society Press, s. 89-103 15 s. (Lecture Notes in Computer Science; Nr. 4207).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    14 Citationer (Scopus)
  • 2007

    Height-Deterministic Pushdown Automata

    Nowotka, D. & Srba, J., 2007, 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS'07), LNCS. 4708 udg. Springer, Bind LNCS. s. 125-134 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    34 Citationer (Scopus)
  • 2008

    Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

    Srba, J., 2008, Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Springer, s. 15-32 (Lecture Notes in Computer Science; Nr. 5215).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    28 Citationer (Scopus)

  • Infinite Runs in Weighted Timed Automata with Energy Constraints

    Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Srba, J., 2008, 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08). Springer, s. 33-47 15 s. (Lecture Notes in Computer Science; Nr. 5215).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    155 Citationer (Scopus)
  • 2010

    An Experiment with Using Google Tools for Project Supervision at Tertiary Education

    Srba, J., 2010, CompSysTech '10 Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies: Proceeding. Association for Computing Machinery, Bind 471. s. 430-435

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)
  • 2011

    Tool Supported Analysis of Web Services Protocols

    Marques, A. P., Ravn, A. P., Srba, J. & Vighio, S., 2011, Proceedings of the 5th International Workshop of Harnessing Theories for Tool Support in Software (TTSS'11). Oslo: University of Oslo, s. 50-64 15 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 2012

    A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata

    Bauer, S. S., Juhl, L., Larsen, K. G., Srba, J. & Legay, A., 1 jan. 2012, Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. IEEE Computer Society Press, s. 77-84 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    10 Citationer (Scopus)

  • Dual-Priced Modal Transition Systems with Time Durations

    Beneš, N., Kretínsky, J., Larsen, K. G., Møller, M. H. & Srba, J., 2012, Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings . Netherlands: Springer, Bind LNCS 7180. s. 122-137 15 s. (Lecture Notes in Computer Science, Bind 7180).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    11 Citationer (Scopus)

  • TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

    David, A., Jacobsen, L., Jacobsen, M., Jørgensen, K. Y., Møller, M. H. & Srba, J., 2012, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). Flanagan, C. & König, B. (red.). Netherlands: Springer, s. 492-497 6 s. (Lecture Notes in Computer Science, Bind 7214).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    54 Citationer (Scopus)

  • Unblockable Compositions of Software Components

    Dong, R., Faber, J., Liu, Z., Srba, J., Zhan, N. & Zhu, J., 2012, Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12). USA: Association for Computing Machinery, s. 103-108 6 s. (Software Engineering Notes).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)
  • 2013

    Action Investment Energy Games

    Larsen, K. G., Laursen, S. & Srba, J., 2013, Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Kučera, A., Henzinger, T. A., Nešetřil, J., Vojnar, T. & Antoš, D. (red.). Netherlands: Springer Publishing Company, Bind 7721. s. 155-167 13 s. (Lecture Notes in Computer Science, Bind 7721).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • Local Model Checking of Weighted CTL with Upper-Bound Constraints

    Jensen, J. F., Larsen, K. G., Srba, J. & Østergaard, L., 2013, Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Bartocci, E. & Ramakrishnan, C. R. (red.). Holland: Springer Publishing Company, s. 178-195 18 s. (Lecture Notes in Computer Science, Bind 7976).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • Verification of Liveness Properties on Closed Timed-Arc Petri Nets

    Andersen, M., Larsen, H. G., Srba, J., Sørensen, M. & Taankvist, J. H., 2013, Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Netherlands: Springer Publishing Company, Bind 7721. s. 69-81 13 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    15 Citationer (Scopus)

  • Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets

    Bertolini, C., Liu, Z. & Srba, J., 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers. Weber, J. & Perseil, I. (red.). Netherlands: Springer Publishing Company, Bind 7789. s. 19-36 18 s. (Lecture Notes in Computer Science, Bind 7789).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)
  • 2014

    Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets

    Viesmose, S. L., Jacobsen, T. S., Jensen, J. J., Moesgaard, C., Samuelsen, N. N. & Srba, J., 2014, Proceedings of the 12th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'14). Springer Publishing Company, Bind 8711. s. 237-251 15 s. (Lecture Notes in Computer Science (LNCS)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • Memory Efficient Data Structures for Explicit Verification of Timed Systems

    Taankvist, J. H., Srba, J., Larsen, K. G., Sørensen, M. G. & Jensen, P. G., 2014, NASA Formal Methods. Badger, J. M. & Rozier, K. Y. (red.). Springer Publishing Company, Bind 8430. s. 307-312 6 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • Soundness of Timed-Arc Workflow Nets

    Mateo, J. A., Srba, J. & Sørensen, M. G., 2014, Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN'14). Springer Publishing Company, Bind 8489. s. 51-70 20 s. (Lecture Notes in Computer Science (LNCS)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • Synchronizing Strategies under Partial Observability

    Larsen, K. G., Laursen, S. & Srba, J., 2014, CONCUR 2014 – Concurrency Theory. Baldan, P. & Gorla, D. (red.). Springer Publishing Company, Bind 8704. s. 188-202 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    17 Citationer (Scopus)
    490 Downloads (Pure)
  • 2015

    CAAL: Concurrency Workbench, Aalborg Edition

    Reimer Andersen, J., Andersen, N., Enevoldsen, S., Munk Hansen, M., Larsen, K. G., Reedtz Olesen, S., Srba, J. & Wortmann, J. K., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (red.). Netherlands: Springer, s. 573-582 10 s. (Lecture Notes in Computer Science; Nr. 9399).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    30 Citationer (Scopus)

  • Language Emptiness of Continuous-Time Parametric Timed Automata

    Benes, N., Bezdek, P., Larsen, K. G. & Srba, J., 2015, Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Halldórsson, M. M., Iwama, K., Kobayashi, N. & Speckmann, B. (red.). Springer, s. 69-81 12 s. (Lecture Notes in Computer Science; Nr. 9135).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    35 Citationer (Scopus)

  • Polynomial Time Decidability of Weighted Synchronization under Partial Observability

    Kretínsky, J., Larsen, K. G., Laursen, S. & Srba, J., 2015, 26th International Conference on Concurrency Theory (CONCUR 2015). Aceto, L. & de Frutos Escrig, D. (red.). Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 142-154 13 s. (Leibniz International Proceedings in Informatics, Bind 42).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    6 Citationer (Scopus)
  • 2016

    Distributed computation of fixed points on dependency graphs

    Dalsgaard, A. E., Enevoldsen, S., Larsen, K. G. & Srba, J., nov. 2016, Dependable Software Engineering: Theories, Tools, and Applications. Springer, s. 197-212 16 s. (Lecture Notes in Computer Science, Bind 9984).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)

  • Online and Compositional Learning of Controllers with Application to Floor Heating

    Larsen, K. G., Mikučionis, M., Muniz, M., Srba, J. & Taankvist, J. H., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, s. 244-259 15 s. (Lecture Notes in Computer Science, Bind 9636).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    40 Citationer (Scopus)

  • Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

    Jensen, P. G., Larsen, K. G. & Srba, J., 8 apr. 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, s. 129-146 (Lecture Notes in Computer Science, Bind 9641).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)

  • Toolchain for User-Centered Intelligent Floor Heating Control

    Agesen, M. K., Larsen, K. G., Mikučionis, M., Muniz, M., Olsen, P., Pedersen, T., Srba, J. & Skou, A. J., 2016, IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. IEEE, s. 5296-5301 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    8 Citationer (Scopus)
  • 2017

    Extended dependency graphs and efficient distributed fixed-point computation

    Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2017, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Springer, Bind 10258 LNCS. s. 139-158 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10258 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    13 Citationer (Scopus)

  • PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

    Jensen, P. G., Larsen, K. G. & Srba, J., 2017, Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Springer, Bind 10580. s. 248-265 18 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    12 Citationer (Scopus)
  • 2018

    Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems

    Ivanov, D., Larsen, K. G., Schupp, S. & Srba, J., 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (red.). Springer, s. 173-189 17 s. (Lecture Notes in Computer Science, Bind 11024).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks

    Schmid, S. & Srba, J., 2018, IEEE INFOCOM 2018 - IEEE Conference on Computer Communications. IEEE, s. 1799-1807 9 s. (I E E E Infocom. Proceedings).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    16 Citationer (Scopus)
    139 Downloads (Pure)

  • P-Rex: fast verification of MPLS networks with multiple link failures

    Jensen, J. S., Krøgh, T. B., Madsen, J. S., Schmid, S., Srba, J. & Thorgersen, M. T., 2018, Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies . Association for Computing Machinery, s. 217-227 11 s. (Conference on Emerging Networking EXperiments and Technologies).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    28 Citationer (Scopus)

  • Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

    Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 8 mar. 2018, PETRI NETS 2018: Application and Theory of Petri Nets and Concurrency . 978-3-319-91267-7: Springer Publishing Company, s. 143-163 (Lecture Notes in Computer Science, Bind 10877).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    15 Citationer (Scopus)

  • Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 jul. 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, s. 527-546 (Lecture Notes in Computer Science, Bind 10981).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    6 Citationer (Scopus)
    219 Downloads (Pure)
  • 2019

    Abstract Dependency Graphs and Their Application to Model Checking

    Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (red.). Springer, s. 316-333 18 s. (Lecture Notes in Computer Science, Bind 11427).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    6 Citationer (Scopus)
    158 Downloads (Pure)

  • Model Verification Through Dependency Graphs

    Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19). Biondi, F., Given-Wilson, T. & Legay, A. (red.). Springer, s. 1-19 19 s. (Lecture Notes in Computer Science, Bind 11636).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    2 Citationer (Scopus)

  • Partial order reduction for reachability games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., aug. 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 140).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    8 Citationer (Scopus)
    61 Downloads (Pure)

  • Presentation of the 9th Edition of the Model Checking Contest

    Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 1 jan. 2019, International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (red.). Springer, s. 50-68 19 s. (Lecture Notes in Computer Science, Bind 11429).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    21 Citationer (Scopus)
    37 Downloads (Pure)

  • Safe and Time-Optimal Control for Railway Games

    Karra, S., Larsen, K. G., Lorber, F. & Srba, J., 2019, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Collart-Dutilleul, S., Romanovsky, A. & Lecomte, T. (red.). Springer, s. 106-122 17 s. (Lecture Notes in Computer Science, Bind 11495).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    8 Citationer (Scopus)
  • 2020

    On-the-Fly Synthesis for Strictly Alternating Games

    Karra, S. L., Larsen, K. G., Rodriguez, M. A. M. & Srba, J., 2020, Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'20). Janicki, R., Sidorova, N. & Chatain, T. (red.). Springer, s. 109-128 20 s. (Lecture Notes in Computer Science, Bind 12152).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Synthesis for Multi-weighted Games with Branching-Time Winning Conditions

    Kaufmann, I., Larsen, K. G. & Srba, J., 2020, Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Proceedings. Janicki, R., Sidorova, N. & Chatain, T. (red.). Springer VS, s. 46-66 21 s. (Lecture Notes in Computer Science, Bind 12152).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Urgent Partial Order Reduction for Extended Timed Automata

    Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Srba, J., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (red.). Springer, s. 179-195 17 s. (Lecture Notes in Computer Science, Bind 12302).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)