2022

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

CAV (Conference) (34th : 2022 : Haifa, Israel)

Cham : Springer, 2022

 

2022

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

CAV (Conference) (34th : 2022 : Haifa, Israel)

Cham : Springer, 2022

 

2021

Model checking software : 27th International Symposium, SPIN 2021 : virtual event, July 12, 2021 : proceedings

International SPIN Workshop (27th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Theoretical aspects of computing - ICTAC 2021 : 18th international colloquium virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings

ICTAC (Colloquium) (18th : 2021 : Online)

Cham : Springer, [2021]

 

2020

Verified software : theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers

VSTTE (Conference) (11th : 2019 : New York, N.Y.)



 

2019

Functional and constraint logic programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised selected papers

WFLP (Workshop) (26th : 2018 : Frankfurt am Main, Germany)

Cham, Switzerland : Springer, 2019

 

2019

Languages and compilers for parallel computing : 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017 : revised selected papers

LCPC (Workshop) (30th : 2017 : College Station, Texas)

Cham, Switzerland : Springer, [2019]

 

2019

Languages and Compilers for Parallel Computing : 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9-11, 2018, Revised Selected Papers

LCPC (Workshop) (31st : 2018 : Salt Lake City, Utah)



 

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

 

2018

Euro-Par 2018 : parallel processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings

International EURO-PAR Conference (24th : 2018 : Turin, Italy)

Cham : Springer, 2018

 

2018

Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers

VSTTE (Conference) (10th : 2018 : Oxford, England)

Cham, Switzerland : Springer, 2018

 

2017

Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers

VSTTE (Conference) (9th : 2017 : Heidelberg, Germany)

Cham, Switzerland : Springer, 2017

 

2016

Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers

VSTTE (Conference) (8th : 2016 : Toronto, Ont.)

Cham, Switzerland : Springer, 2016

 

2015

Compiler construction : 24th International Conference, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceeding

CC (Conference) (24th : 2015 : London, England)

Heidelberg : Springer, 2015

 

2014

Compiler construction : 23rd International Conference, CC 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proce

CC (Conference) (23rd : 2014 : Grenoble, France)

Heidelberg : Springer, 2014

 

2014

Verified software : theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers

VSTTE (Conference) (6th : 2014 : Vienna, Austria)

Cham : Springer, 2014

 

2014

Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised selected papers

VSTTE (Conference) (5th : 2013 : Menlo Park, Calif.)

Heidelberg : Springer, 2014

 

2013

Compiler construction : 22nd International Conference, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedin

CC (Conference) (22nd : 2013 : Rome, Italy)



 

2013

Evaluation of novel approaches to software engineering : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised selected papers

ENASE (Conference) (6th : 2011 : Beijing, China)



 

2013

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers

FMCO (Symposium) (11th : 2012 : Bertinoro, Italy)



 

2013

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers

FACS (Symposium) (9th : 2012 : Mountain View, Calif.)



 

2013

Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013,

FOSSACS (Conference) (16th : 2013 : Rome, Italy)



 

2013

Fundamental approaches to software engineering : 16th International Conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, M

FASE 2013 (2013 : Rome, Italy)



 

2013

ECOOP 2013-- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

ECOOP (Conference) (27th : 2013 : Montpellier, France)



 

2013

ICT in education, research, and industrial applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised selected papers

ICTERI (Conference) (8th : 2012 : Kherson, Ukraine)

Heidelberg : Springer, [2013]

 

2013

Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

LFCS 2013 (2013: San Diego, Calif.)



 

2013

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised papers

GTTSE (Summer School) (4th : 2011 : Braga, Portugal)



 

2013

Languages and compilers for parallel computing : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012 : revised selected papers

LCPC (Workshop) (25th : 2012 : Tokyo, Japan)



 

2013

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)



 

2013

Hardware and software : verification and testing ; 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

International Haifa Verification Conference (8th : 2012 : Haifa, Israel)

New York : Springer, [2013]

 

2013

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

NFM (Symposium) (5th : 2013 : Moffett Field, Calif.)

Berlin ; New York : Springer, [2013]

 

2013

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.)



 

2013

Modelling foundations and applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

ECMFA (Conference) (9th : 2013 : Montpellier, France)



 

2013

Software and data technologies : 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised selected papers

ICSOFT (Conference) (6th : 2011 : Seville, Spain)

Heidelberg : Springer, [2013]

 

2013

Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers

RV (Conference) (3rd : 2012 : Istanbul, Turkey)



 

2013

Programming languages and systems : 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March

European Symposium on Programming (22nd : 2013 : Rome, Italy)



 

2013

Reliable Software Technologies-- Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Ada-Europe International Conference on Reliable Software Technologies (18th : 2013 : Berlin, Germany)

Heidelberg : Springer, [2013]

 

2013

Tests and proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

TAP (Conference) (7th : 2013 : Budapest, Hungary)



 

2013

SDL 2013 : model-driven dependability engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 : proceedings

SDL Forum (16th : 2013 : Montréal, Québec)



 

2013

Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

International Static Analysis Symposium (20th : 2013 : Seattle, Wash.)



 

2013

Software architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

ECSA (Conference) (7th : 2013 : Montpellier, France)

Berlin : Springer, [2013]

 

2013

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

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

Heidelberg : Springer, 2013

 

2013

Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised selected papers

UTP 2012 (2012 : Paris, France)



 

2013

Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (19th : 2013 : Rome, Italy)



 

2013

Theory and practice of model transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

ICMT (Conference) (6th : 2013 : Budapest, Hungary)

Berlin : Springer, [2013]

 

2012

Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised selected papers

ANB 2010 (2010 : Hagenberg im Mühlkreis, Austria)



 

2012

Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

ATVA (Symposium) (10th : 2012 : Trivandrum, India)



 

2012

Compiler construction : 21st International Conference, CC 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012.

CC (Conference) (21st : 2012 : Tallinn, Estonia)



 

2012

Computational logic in multi-agent systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

CLIMA (Workshop) (13th : 2012 : Montpellier, France)



 

2012

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings

CPP 2012 (2012 : Kyoto, Japan)