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

  • 2013

    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)
  • 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)
  • 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

  • 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)
  • 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)
  • 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)
  • 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)
  • 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
    470 Downloads (Pure)
  • 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

  • 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)