Constantin Enea – författare & böcker

Verification, Model Checking, and Abstract Interpretation

20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Häftad, Engelska, 2019

565 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Verification, Model Checking, and Abstract Interpretation

20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

AvRuzica Piskac,Constantin Enea

E-bok

Engelska, 2019

734 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Del 13965 - Lecture Notes in Computer Science

Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

AvConstantin Enea,Akash Lal

Häftad, Engelska, 2023

454 kr

Skickas inom 10-15 vardagar

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

Constantin Enea, Akash Lal - Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II, Övrigt

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

AvConstantin Enea,Akash Lal

Engelska, 2023

644 kr

Skickas inom 5-8 vardagar

Del 13964 - Lecture Notes in Computer Science

Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

AvConstantin Enea,Akash Lal

Häftad, Engelska, 2023

454 kr

Skickas inom 10-15 vardagar

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

AvConstantin Enea,Akash Lal

Engelska, 2023

667 kr

Skickas inom 5-8 vardagar

Del 13966 - Lecture Notes in Computer Science

Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

AvConstantin Enea,Akash Lal

Häftad, Engelska, 2023

454 kr

Skickas inom 10-15 vardagar

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

AvConstantin Enea,Akash Lal

Engelska, 2023

667 kr

Skickas inom 5-8 vardagar

Del 14783 - Lecture Notes in Computer Science

Networked Systems

12th International Conference, NETYS 2024, Rabat, Morocco, May 29–31, 2024, Proceedings

AvArmando Castañeda,Constantin Eneam. fl.

Häftad, Engelska, 2024

733 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 12th International Conference on Networked Systems, NETYS 2024, held in Rabat, Morocco, during May 29-31, 2024.The 14 full papers and 3 short papers presented were carefully reviewed and selected from 42 submissions. NETYS aims to bring together researchers and engineers from the theory and practice of distributed and networked systems. The scope of the conference covers all aspects related to the design and the development of networked systems, e.g., cloud systems, formal verification, concurrent and distributed algorithms, data management, data science and parallel/concurrent/distributed programming. Additionally, this year NETYS also featured works on the emerging topic of distributed machine learning, also commonly referred to as federated learning.

Networked Systems

12th International Conference, NETYS 2024, Rabat, Morocco, May 29–31, 2024, Proceedings

AvNirupam Gupta,Constantin Eneam. fl.

E-bok

Engelska, 2024

865 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 12th International Conference on Networked Systems, NETYS 2024, held in Rabat, Morocco, during May 29-31, 2024.

The 14 full papers and 3 short papers presented were carefully reviewed and selected from 42 submissions. NETYS aims to bring together researchers and engineers from the theory and practice of distributed and networked systems. The scope of the conference covers all aspects related to the design and the development of networked systems, e.g., cloud systems, formal verification, concurrent and distributed algorithms, data management, data science and parallel/concurrent/distributed programming. Additionally, this year NETYS also featured works on the emerging topic of distributed machine learning, also commonly referred to as federated learning.

Företag, bibliotek eller offentlig verksamhet?

Constantin Enea – författare

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Computer Aided Verification

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Computer Aided Verification

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Computer Aided Verification

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Networked Systems

Networked Systems

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration