2016

Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

ATVA (Symposium) (14th : 2016 : Chiba, Japan)

Cham, Switzerland : Springer, 2016

 

2014

Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

FORMATS (Conference) (12th : 2014 : Florence, Italy)

Cham : Springer, 2014

 

2014

From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings

FPS (Workshop) (2014 : Grenoble, France)

Heidelberg : Springer, [2014]

 

2013

Hardware and software : verification and testing ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

International Haifa Verification Conference (9th : 2013 : Haifa, Israel)

Cham : Springer, [2013]

 

2019

Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings

International SPIN Workshop (26th : 2019 : Beijing, China)

Cham, Switzerland : Springer, 2019

 

2017

Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday

Cham, Switzerland : Springer, [2017]

 

2017

Risks and security of internet and systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised selected papers

CRiSIS (Conference) (11th : 2016 : Roscoff, France)

Cham, Switzerland : Springer, 2017

 

2018

Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers

CRiSIS (Conference) (12th : 2017 : Dinard, France)

Cham : Springer, 2018

 

2013

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings

RV (Conference) (4th : 2013 : Rennes, France)

Heidelberg : Springer, 2013

 

2017

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (23rd : 2017 : Uppsala, Sweden)

Berlin, Germany : Springer, 2017

 

2017

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (23rd : 2017 : Uppsala, Sweden)

Berlin, Germany : Springer, 2017