2022

Accelerator programming using directives : 8th International Workshop, WACCPD 2021, virtual event, November 14, 2021, proceedings

WACCPD (Workshop) (8th : 2021 : Online)

Cham, Switzerland : Springer, 2022

 

2022

Practical aspects of declarative languages : 24th international symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022 : proceedings

PADL (Symposium) (24th : 2022 : Philadelphia, PA)

Cham : Springer, [2022]

 

2022

Performance evaluation and benchmarking : 13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised selected papers

TPC Technology Conference (13th : 2021 : Copenhagen, Denmark)

Cham, Switzerland : Springer, 2022

 

2022

Services -- SERVICES 2021 : 17th World Congress, held as part of the Services Conference Federation, SCF 2021, Virtual event, December 10-14, 2021, Proceedings

World Congress on Services (17th : 2021 : Online)

Cham, Switzerland : Springer, 2022

 

2022

Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised s

VSTTE (Conference) (13th : 2021 : Online)



 

2022

Web services - ICWS 2021 : 28th international conference, held as part of the Services Conference Federation, SCF 2021, virtual event, December 10-14, 2021 : proceedings

IEEE International Conference on Web Services (28th : 2021 : Online)

Cham : Springer, [2022]

 

2022

Services computing -- SCC 2021 : 18th International Conference, held as part of the Services Conference Federation, SCF 2021, Virtual event, December 10-14, 2021, Proceedings

SCC (Conference : Services Computing) (18th : 2021 : Online)

Cham, Switzerland : Springer, 2022

 

2021

Accelerator programming using directives : 7th international workshop, WACCPD 2020, virtual event, November 20, 2020 : proceedings

WACCPD (Workshop) (7th : 2020 : Online)

Cham : Springer, [2021]

 

2021

Advances in conceptual modeling : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

CoMoNoS (Workshop) (2nd : 2021 : Online)



 

2021

Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings

ATVA (Symposium) (19th : 2021 : Online)



 

2021

Computer Safety, Reliability, and Security : 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings

SAFECOMP (Conference) (40th : 2021 : York, England)



 

2021

Computer safety, reliability, and security : SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

SAFECOMP (Conference) (40th : 2021 : York, England)

Cham : Springer, 2021

 

2021

Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisC

COORDINATION (Conference) (23rd : 2021 : Online)

Cham : Springer, [2021]

 

2021

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings

SETTA (Symposium) (7th : 2021 : Beijing, China)

Cham, Switzerland : Springer, 2021

 

2021

Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings

International Workshop on Formal Methods for Industrial Critical Systems (26th : 2021 : Online)

Cham : Springer, [2021]

 

2021

From data to models and back : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

DataMod (Symposium) (9th : 2020 : Online)



 

2021

Formal techniques for distributed objects, components, and systems : 41st IFIP WG 6.1 international conference, FORTE 2021 : held as part of the 16th International Federated Conference on Distributed

FORTE Conference (41st : 2021 : Online)

Cham : Springer, [2021]

 

2021

End-user development : 8th international symposium, IS-EUD 2021, virtual event, July 6-8, 2021 : proceedings

IS-EUD (Conference) (8th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Formal methods in outer space : essays dedicated to Klaus Havelund on the occasion of his 65th birthday

Cham, Switzerland : Springer, 2021

 

2021

Fundamentals of software engineering : 9th International Conference, FSEN 2021, Virtual event, May 19-21, 2021, Revised selected papers

IPM International Conference on Fundamentals of Software Engineering (9th : 2021 : Online)

Cham, Switzerland : Springer, 2021

 

2021

Formal aspects of component software : 17th International Conference, FACS 2021, Virtual event, October 28-29, 2021, Proceedings

FACS (Symposium) (17th : 2021 : Online)

Cham, Switzerland : Springer, 2021

 

2021

Formal methods : foundations and applications : 24th Brazilian Symposium, SBMF 2021, virtual event, December 6-10, 2021 : proceedings

Brazilian Symposium on Formal Methods (24th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Intelligent tutoring systems : 17th International Conference, ITS 2021, Virtual event, June 7-11, 2021, Proceedings

International Conference on Intelligent Tutoring Systems (17th : 2021 : Online)



 

2021

OpenMP: enabling massive node-level parallelism : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021, proceedings

IWOMP (Conference) (17th : 2021 : Bristol, UK)

Cham : Springer, 2021

 

2021

Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday

 

2021

Model and data engineering : 10th international conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021 : proceedings

MEDI (Conference) (10th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Software architecture : 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings

ECSA (Conference) (15th : 2021 : Online)

Cham : Springer, 2021

 

2021

Requirements engineering : 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings

REFSQ (Conference) (27th : 2021 : Online)

Cham : Springer, 2021

 

2021

Performance evaluation and benchmarking : 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020 : revised selected papers

TPC Technology Conference (12th : 2020 : Tokyo, Japan)

Cham : Springer, [2021]

 

2021

Practical aspects of declarative languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, proceedings

PADL (Symposium) (23rd : 2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2021

Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020, revised selected papers

International Conference on Software Engineering and Formal Methods (18th : 2020 : Online)

Cham, Switzerland : Springer, [2021]

 

2021

Search-based software engineering : 13th international symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, proceedings

SSBSE (Symposium) (13th : 2021 : Online)



 

2021

Service-oriented computing -- ICSOC 2020 Workshops : AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

ICSOC (Conference) (18th : 2020 : Online)

Cham, Switzerland : Springer, [2021]

 

2021

Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings

RV (Conference) (21st : 2021 : Online)

Cham : Springer, [2021]

 

2021

Reversible computation : 13th international conference, RC 2021, virtual event, July 7-8, 2021 : proceedings

RC (Workshop : Reversible computation) (13th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Programming languages and systems : 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, proceedings

APLAS (Symposium) (19th : 2021 : Chicago, Ill.)



 

2021

Service-oriented computing : 19th International Conference, ICSOC 2021, Virtual event, November 22-25, 2021, Proceedings

ICSOC (Conference) (19th : 2021 : Online)

Cham, Switzerland : Springer, 2021

 

2021

Product-focused software process improvement : 22nd international conference, PROFES 2021, Turin, Italy, November 26, 2021 : proceedings

PROFES (Conference) (22nd : 2021 : Turin, Italy ; Online)

Cham : Springer, [2021]

 

2021

Performance engineering and stochastic modeling : 17th European Workshop, EPEW 2021 and 26th International Conference, ASMTA 2021, virtual event, December 9-10 and December 13-14, 2021 : proceedings

EPEW (Workshop) (17th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Rules and reasoning : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings

RuleML+RR (Joint Conference) (5th : 2021 : Leuven, Belgium)

Cham : Springer, 2021

 

2021

Static analysis : 28th international symposium, SAS 2021, Chicago, IL, USA, proceedings

International Static Analysis Symposium (28th : 2021 : Chicago, Ill.)



 

2021

Formal methods and software engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

International Conference on Formal Engineering Methods (22nd : 2020 : Singapore, Singapore)



 

2020

Accelerator programming using directives : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised selected papers

WACCPD (Workshop) (6th : 2019 : Denver, Colo.)



 

2020

Advances in Conceptual Modeling ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

1st ed. 2020
Cham : Springer International Publishing : Imprint: Springer, 2020

 

2020

Analytical and stochastic modelling techniques and applications : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019, Proceedings

ASMTA (Conference) (25th : 2019 : Moscow, Russia)

Cham, Switzerland : Springer, [2020]

 

2020

Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

ATVA (Symposium) (18th : 2020 : Hanoi, Vietnam)

Cham : Springer, 2020

 

2020

Static analysis : 27th International Symposium, SAS 2020, virtual event, November 18-20, 2020, proceedings

SAS (Symposium) (27th : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2020

Testing software and systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings

ICTSS (Conference) (32nd : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2020

Tests and proofs : 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings

TAP (Conference) (14th : 2020 : Bergen, Norway)

Cham : Springer, 2020

 

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