Corina S. Păsăreanu – författare
Visar alla böcker från författaren Corina S. Păsăreanu. Handla med fri frakt och snabb leverans.
14 produkter
Software Engineering and Formal Methods
19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
Av Radu Calinescu, Corina S. Păsăreanu
Häftad, 2021
904 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. …
Software Engineering and Formal Methods
19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
Av Corina S. Pasareanu, Radu Calinescu
E-bok, 2021
1138 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. …
Symbolic Execution and Quantitative Reasoning
Applications to Software Safety and Security
Häftad, 2020
279 kr
Lägg i varukorg
This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems. Symbolic execution is a systematic program analysis technique which explores multiple program behaviors all at once by …
Symbolic Execution and Quantitative Reasoning
Applications to Software Safety and Security
E-bok, 2022
363 kr
Lägg i varukorg
This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems. Symbolic execution is a systematic program analysis technique which explores multiple program behaviors all at once by …
Theoretical Aspects of Computing – ICTAC 2022
19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings
Av Helmut Seidl, Zhiming Liu m. fl.
Häftad, 2022
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 …
Theoretical Aspects of Computing - ICTAC 2022
19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings
Av Corina S. Pasareanu, Zhiming Liu m. fl.
E-bok, 2022
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022. The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 …
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Av Daniel Kroening, Corina S. Păsăreanu
Häftad, 2015
568 kr
Lägg i varukorg
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed …
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Av Corina S. Pasareanu, Daniel Kroening
E-bok, 2015
755 kr
Lägg i varukorg
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed …
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Av Daniel Kroening, Corina S. Păsăreanu
Häftad, 2015
568 kr
Lägg i varukorg
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed …
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Av Corina S. Pasareanu, Daniel Kroening
E-bok, 2015
755 kr
Lägg i varukorg
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed …
Model Checking Software
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Häftad, 2009
568 kr
Lägg i varukorg
This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble, France, June 26-28, 2009. The workshop was co-located with the 21st International Conference on Computer-Aided …
Model Checking Software
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
E-bok, 2009
739 kr
Lägg i varukorg
Formal Aspects of Component Software
9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Av Corina S Pasareanu, Gwen Salaün
Häftad, 2013
523 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as …
Formal Aspects of Component Software
9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Av Gwen Salaun, Corina S Pasareanu
E-bok, 2013
690 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as …
