Special issue on the 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011) : [... was held in Aachen, Germany on Sept...

Veröffentlicht 2014

Special issue: software verification and testing : [... dedicated to the selected extended papers of the Software Verification and Testing (SVT 2012) track held at the 27th ACM...

Veröffentlicht 2013

Special issue on the 10th International Workshop on the Foundations of Coordination Languages and Software Architectures : (FOCLASA 2011) ; [held in Aachen, Germany, on September...

Veröffentlicht 2014

Modeling and analysis of communicating systems

von Groote, Jan Friso
Veröffentlicht 2014

Selected papers from the software verification and testing (SVT 2013) track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013) : [... which took place in March 2013 in...

Veröffentlicht 2014

Special section on foundations of coordination languages and software architectures : (selected papers from FOCLASA'10). [... 9th International Workshop ... was held in Paris (Fr...

Veröffentlicht 20142013

Topics in theoretical computer science : Second IFIP WG 1.8 international conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings

Veröffentlicht 2017

Locality-Based Test Selection for Autonomous Agents

von Entekhabi, Sina
Veröffentlicht in ICTSS (33. : 2021 : Online) Testing software and systems (2022)

Complete property-oriented testing

von Krafczyk, Niklas
Veröffentlicht 2024

Compositional Learning for Interleaving Parallel Automata

von Labbaf, Faezeh
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)

DyNetKAT: An Algebra of Dynamic Networks

von Caltais, Georgiana
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)

Cyber physical systems : design, modeling, and evaluation : 6th international workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016 ; revised selected papers

Veröffentlicht 2017

Conformance-Based Doping Detection for Cyber-Physical Systems

von Dimitrova, Rayna
Veröffentlicht in FORTE (40. : 2020 : Online) Formal techniques for distributed objects, components, and systems (2020)

Formal methods: foundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings

Veröffentlicht 2018

On Testing Ethical Autonomous Decision-Making

von Akintunde, Michael E.
Veröffentlicht in Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products (2023)

Special section: Selected papers from the Software Verification and Testing (SVT 2013) track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013)

Veröffentlicht 2014

Topics in theoretical computer science : the first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015 : revised selected papers

Veröffentlicht 2016

Special issue on TRENDS2016

Veröffentlicht 2017

Virtual special issue: trends in concurrency theory (selected invited contributions from the workshops TRENDS 2014 and 2015)

Veröffentlicht 2017

Formal techniques for distributed objects, components, and systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Confe...

Veröffentlicht 2022