Items where Author is "Srba, Jiri"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Number of items: 14.

Journal Paper

  • Larsen, Kim G. and Mariegaard, Anders and Schmid, Stefan and Srba, Jiri ISSN 0167-6423 Elsevier (2023)
  • Jensen, Peter Gjøl and Jensen, Jesper Stenbjerg and Krogh, Troels Beck and Madsen, Jonas Sand and Schmid, Stefan and Srba, Jiri and Thorgersen, Marc Tom ISSN 1063-6692 (2021)
  • Paper in Conference Proceedings or in Workshop Proceedings

  • Larsen, Kim G. and Mariegaard, Anders and Schmid, Stefan and Srba, Jiri In: 16th International Symposium on Theoretical Aspects of Software Engineering (TASE) , July 2022 , Cluj-Napoca, Romania (2022)
  • Johansen, Nicklas and Kaer, Lasse and Madsen, Andreas and Nielsen, Kristian and Schmid, Stefan and Srba, Jiri and Tollund, Rasmus In: IEEE Global Internet (GI) Symposium 2022 , November 2022 , Paris, France (2022)
  • Cuijpers, Pieter and Schmid, Stefan and Schnepf, Nicolas and Srba, Jiri In: 52nd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) , June 2022 , Baltimore, Maryland (2022)
  • Vanerio, Juan and Schmid, Stefan and Schou, Morten Konggaard and Srba, Jiri In: IEEE Global Internet (GI) Symposium 2022 , November 2022 , Paris, France (2022)
  • Jensen, Peter Gjøl and Schmid, Stefan and Schou, Morten Konggaard and Srba, Jiri In: 20th International Symposium on Automated Technology for Verification and Analysis (ATVA) , Oct 25, 2022 - Oct 28, 2022 , Beijing, China (2022)
  • Schmid, Stefan and Konggaard Schou, Morten and Srba, Jiri and Vanerio, Juan In: 18th ACM International Conference on Emerging Networking Experiments and Technologies (CoNEXT) , December 6, 2022 – December 9, 2022 , Rome, Italy (2022)
  • Jensen, Peter Gjøl and Schmid, Stefan and Schou, Morten Konggaard and Srba, Jiri and Vanerio, Juan and van Duijn, Ingo In: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA) , October 2021 , Gold Coast, Australia (2021)
  • Schmid, Stefan and Schnepf, Nicolas and Srba, Jiri In: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , March 2021 , Virtual Conference (2021)
  • Jensen, Peter Gjøl and Konggaard, Morten and Kristiansen, Dan and Schmid, Stefan and Schrenk, Bernhard Clemens and Srba, Jiri In: 16th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT) , December 2020 , Barcelona, Spain (2020)
  • Glavind, Mark and Christensen, Niels and Srba, Jiri and Schmid, Stefan In: 38th International Symposium on Computer Performance, Modeling, Measurements and Evaluation (PERFORMANCE) , November 2020 , Milan, Italy (2020)
  • Stenbjerg Jensen, Jesper and Beck Krogh, Troels and Sand Madsen, Jonas and Schmid, Stefan and Srba, Jiri and Thorgersen, Marc Tom In: 14th International Conference on emerging Networking EXperiments and Technologies (CoNEXT) , December 2018 , Heraklion/Crete, Greece (2018)
  • Schmid, Stefan and Srba, Jiri In: 37th IEEE Conference on Computer Communications (INFOCOM) , April 2018 , Honolulu, Hawaii, USA (2018)
  • This list was generated on Mon Mar 18 18:55:40 2024 CET.