Luca Viganò – författare

Visar alla böcker från författaren Luca Viganò. Handla med fri frakt och snabb leverans.

16 produkter

Kategorier

16 produkter

Labelled Deduction
AvMarcello D'Agostino,Dov M. Gabbaym. fl.
Inbunden, Engelska, 2000
1 106 kr
Skickas inom 10-15 vardagar
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterized proofs of metatheoretic properties, and ease of mechanizability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic "state oriented" properties such as knowledge, belief, time, space, and resources.
Labelled Non-Classical Logics
AvLuca Viganò
Inbunden, Engelska, 2000
1 656 kr
Skickas inom 10-15 vardagar
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve local proof theoretic goals. Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis. This widespread local use of labels was an indication of an underlying logical pattern, namely the simultaneous side-by-side manipulation of several kinds of logical information. It was clear that there was a need to establish the labelled deductive systems methodology. Modal logic is one major area where labelling can be developed quickly and sys tematically with a view of demonstrating its power and significant advantage. In modal logic the labels can play a double role.
Labelled Non-Classical Logics
AvLuca Viganò
Häftad, Engelska, 2010
1 656 kr
Skickas inom 10-15 vardagar
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve local proof theoretic goals. Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis. This widespread local use of labels was an indication of an underlying logical pattern, namely the simultaneous side-by-side manipulation of several kinds of logical information. It was clear that there was a need to establish the labelled deductive systems methodology. Modal logic is one major area where labelling can be developed quickly and sys tematically with a view of demonstrating its power and significant advantage. In modal logic the labels can play a double role.
Labelled Non-Classical Logics
AvLuca Vigano
E-bok
PDF, Engelska, 2013
2 065 kr
Läs direkt efter köp
I am very happy to have this opportunity to introduce Luca Vigano''s book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium''90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium ''90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve local proof theoretic goals. Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis. This widespread local use of labels was an indication of an underlying logical pattern, namely the simultaneous side-by-side manipulation of several kinds of logical information. It was clear that there was a need to establish the labelled deductive systems methodology. Modal logic is one major area where labelling can be developed quickly and sys tematically with a view of demonstrating its power and significant advantage. In modal logic the labels can play a double role.
Del 12812 - Lecture Notes in Computer Science
Socio-Technical Aspects in Security and Trust
10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers
AvThomas Groß,Luca Viganò
Häftad, Engelska, 2021
689 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed post-conference proceedings of the 10th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2020, held as a virtual event, in September 2020.The 8 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 42 submissions and are organized in the following topical sections: personality and behavior; behavior in face of adversaries; smart environments; decentralized systems and digital ledgers; and reflections on socio-technical aspects of security.The Chapter “Statistical Reliability of 10 Years of Cyber Security User Studies” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Socio-Technical Aspects in Security and Trust
10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers
AvLuca Vigano,Thomas Gro
E-bok
Engelska, 2021
903 kr
Läs direkt efter köp
This book constitutes the refereed post-conference proceedings of the 10th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2020, held as a virtual event, in September 2020.
The 8 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 42 submissions and are organized in the following topical sections: personality and behavior; behavior in face of adversaries; smart environments; decentralized systems and digital ledgers; and reflections on socio-technical aspects of security.
The Chapter “Statistical Reliability of 10 Years of Cyber Security User Studies” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Del 13176 - Lecture Notes in Computer Science
Socio-Technical Aspects in Security
11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers
AvSimon Parkin,Luca Viganò
Häftad, Engelska, 2022
802 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the refereed conference proceedings of the 11th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2021, held in conjunction with ESORICS, the European Symposium on Research in Computer Security, as a virtual event, in October 2021.The 10 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: web and apps; context and modelling; and from the present to the future.
Socio-Technical Aspects in Security
11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers
AvLuca Vigano,Simon Parkin
E-bok
Engelska, 2022
985 kr
Läs direkt efter köp
This book constitutes revised selected papers from the refereed conference proceedings of the 11th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2021, held in conjunction with ESORICS, the European Symposium on Research in Computer Security, as a virtual event, in October 2021.
The 10 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: web and apps; context and modelling; and from the present to the future.
Foundations and Applications of Security Analysis
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
AvPierpaolo Degano,Luca Viganò
Häftad, Engelska, 2009
575 kr
Skickas inom 10-15 vardagar
The Joint Workshop on "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security" (ARSPA-WITS 2009) was held in York, UK, March 28-29, 2009, in association with ETAPS 2009. ARSPA is a series of workshops on "Automated Reasoning for Security P- tocol Analysis," bringing together researchers and practitioners from both the security andthe formalmethods communities,from academiaand industry,who are working on developing and applying automated reasoning techniques and tools for the formal speci?cation and analysis of security protocols. The ?rst two ARSPA workshops were held as satellite events of the Second International JointConferenceon Automated Reasoning(IJCAR 2004)andof the 32nd Int- nationalColloquiumonAutomata,LanguagesandProgramming(ICALP2005), respectively. ARSPA then joined forces with the workshop FCS (Foundations of Computer Security): FCS-ARSPA 2006 was a?liated with LICS 2006, in the context of FLoC 2006,and FCS-ARSPA 2007 was a?liated with LICS 2007 and ICALP 2007. WITSistheo?cialannualworkshoporganizedbytheIFIP WG1.7on"T- oretical Foundations of Security Analysis and Design," established to promote the investigation on the theoretical foundations of security, discovering and p- moting new areas of application of theoretical techniques in computer security and supporting the systematic use of formal techniques in the development of security-related applications.This is the ninth meeting in the series. In 2008, ARSPA and WITS joined with the workshop on Foundations of Computer - curityFCSforajointworkshop,FCS-ARSPA-WITS2008,associatedwithLICS 2008 and CSF 21.
Foundations and Applications of Security Analysis
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
AvLuca Vigano,Pierpaolo Degano
E-bok
PDF, Engelska, 2009
734 kr
Läs direkt efter köp
Tests and Proofs
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
AvMargus Veanes,Luca Vigano
Häftad, Engelska, 2013
530 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.
Tests and Proofs
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
AvLuca Vigano,Margus Veanes
E-bok
PDF, Engelska, 2013
690 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.
Principles of Security and Trust
5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
AvFrank Piessens,Luca Viganò
Häftad, Engelska, 2016
575 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 12 full papers presented in this volume were carefully reviewed and selected from 35 submissions. They were organized in topical sections named: information flow; models and applications; protocols.
Principles of Security and Trust
5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
AvLuca Vigano,Frank Piessens
E-bok
PDF, Engelska, 2016
739 kr
Läs direkt efter köp
This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 12 full papers presented in this volume were carefully reviewed and selected from 35 submissions. They were organized in topical sections named: information flow; models and applications; protocols.
Del 17 - Applied Logic Series
Labelled Deduction
AvDavid Basin,M. D'Agostinom. fl.
Häftad, Engelska, 2012
1 106 kr
Skickas inom 10-15 vardagar
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.
Labelled Deduction
AvLuca Vigano,Sean Matthewsm. fl.
E-bok
PDF, Engelska, 2012
1 413 kr
Läs direkt efter köp
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented'' properties such as knowledge, belief, time, space, and resources.

Luca Viganò – författare

Visar alla böcker från författaren Luca Viganò. Handla med fri frakt och snabb leverans.

16 produkter

Kategorier

16 produkter

Labelled Deduction
AvMarcello D'Agostino,Dov M. Gabbaym. fl.
Inbunden, Engelska, 2000
1 106 kr
Skickas inom 10-15 vardagar
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterized proofs of metatheoretic properties, and ease of mechanizability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic "state oriented" properties such as knowledge, belief, time, space, and resources.
Labelled Non-Classical Logics
AvLuca Viganò
Inbunden, Engelska, 2000
1 656 kr
Skickas inom 10-15 vardagar
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve local proof theoretic goals. Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis. This widespread local use of labels was an indication of an underlying logical pattern, namely the simultaneous side-by-side manipulation of several kinds of logical information. It was clear that there was a need to establish the labelled deductive systems methodology. Modal logic is one major area where labelling can be developed quickly and sys tematically with a view of demonstrating its power and significant advantage. In modal logic the labels can play a double role.
Labelled Non-Classical Logics
AvLuca Viganò
Häftad, Engelska, 2010
1 656 kr
Skickas inom 10-15 vardagar
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve local proof theoretic goals. Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis. This widespread local use of labels was an indication of an underlying logical pattern, namely the simultaneous side-by-side manipulation of several kinds of logical information. It was clear that there was a need to establish the labelled deductive systems methodology. Modal logic is one major area where labelling can be developed quickly and sys tematically with a view of demonstrating its power and significant advantage. In modal logic the labels can play a double role.
Labelled Non-Classical Logics
AvLuca Vigano
E-bok
PDF, Engelska, 2013
2 065 kr
Läs direkt efter köp
I am very happy to have this opportunity to introduce Luca Vigano''s book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium''90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium ''90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve local proof theoretic goals. Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis. This widespread local use of labels was an indication of an underlying logical pattern, namely the simultaneous side-by-side manipulation of several kinds of logical information. It was clear that there was a need to establish the labelled deductive systems methodology. Modal logic is one major area where labelling can be developed quickly and sys tematically with a view of demonstrating its power and significant advantage. In modal logic the labels can play a double role.
Del 12812 - Lecture Notes in Computer Science
Socio-Technical Aspects in Security and Trust
10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers
AvThomas Groß,Luca Viganò
Häftad, Engelska, 2021
689 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed post-conference proceedings of the 10th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2020, held as a virtual event, in September 2020.The 8 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 42 submissions and are organized in the following topical sections: personality and behavior; behavior in face of adversaries; smart environments; decentralized systems and digital ledgers; and reflections on socio-technical aspects of security.The Chapter “Statistical Reliability of 10 Years of Cyber Security User Studies” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Socio-Technical Aspects in Security and Trust
10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers
AvLuca Vigano,Thomas Gro
E-bok
Engelska, 2021
903 kr
Läs direkt efter köp
This book constitutes the refereed post-conference proceedings of the 10th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2020, held as a virtual event, in September 2020.
The 8 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 42 submissions and are organized in the following topical sections: personality and behavior; behavior in face of adversaries; smart environments; decentralized systems and digital ledgers; and reflections on socio-technical aspects of security.
The Chapter “Statistical Reliability of 10 Years of Cyber Security User Studies” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Del 13176 - Lecture Notes in Computer Science
Socio-Technical Aspects in Security
11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers
AvSimon Parkin,Luca Viganò
Häftad, Engelska, 2022
802 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the refereed conference proceedings of the 11th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2021, held in conjunction with ESORICS, the European Symposium on Research in Computer Security, as a virtual event, in October 2021.The 10 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: web and apps; context and modelling; and from the present to the future.
Socio-Technical Aspects in Security
11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers
AvLuca Vigano,Simon Parkin
E-bok
Engelska, 2022
985 kr
Läs direkt efter köp
This book constitutes revised selected papers from the refereed conference proceedings of the 11th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2021, held in conjunction with ESORICS, the European Symposium on Research in Computer Security, as a virtual event, in October 2021.
The 10 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: web and apps; context and modelling; and from the present to the future.
Foundations and Applications of Security Analysis
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
AvPierpaolo Degano,Luca Viganò
Häftad, Engelska, 2009
575 kr
Skickas inom 10-15 vardagar
The Joint Workshop on "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security" (ARSPA-WITS 2009) was held in York, UK, March 28-29, 2009, in association with ETAPS 2009. ARSPA is a series of workshops on "Automated Reasoning for Security P- tocol Analysis," bringing together researchers and practitioners from both the security andthe formalmethods communities,from academiaand industry,who are working on developing and applying automated reasoning techniques and tools for the formal speci?cation and analysis of security protocols. The ?rst two ARSPA workshops were held as satellite events of the Second International JointConferenceon Automated Reasoning(IJCAR 2004)andof the 32nd Int- nationalColloquiumonAutomata,LanguagesandProgramming(ICALP2005), respectively. ARSPA then joined forces with the workshop FCS (Foundations of Computer Security): FCS-ARSPA 2006 was a?liated with LICS 2006, in the context of FLoC 2006,and FCS-ARSPA 2007 was a?liated with LICS 2007 and ICALP 2007. WITSistheo?cialannualworkshoporganizedbytheIFIP WG1.7on"T- oretical Foundations of Security Analysis and Design," established to promote the investigation on the theoretical foundations of security, discovering and p- moting new areas of application of theoretical techniques in computer security and supporting the systematic use of formal techniques in the development of security-related applications.This is the ninth meeting in the series. In 2008, ARSPA and WITS joined with the workshop on Foundations of Computer - curityFCSforajointworkshop,FCS-ARSPA-WITS2008,associatedwithLICS 2008 and CSF 21.
Foundations and Applications of Security Analysis
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
AvLuca Vigano,Pierpaolo Degano
E-bok
PDF, Engelska, 2009
734 kr
Läs direkt efter köp
Tests and Proofs
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
AvMargus Veanes,Luca Vigano
Häftad, Engelska, 2013
530 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.
Tests and Proofs
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
AvLuca Vigano,Margus Veanes
E-bok
PDF, Engelska, 2013
690 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.
Principles of Security and Trust
5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
AvFrank Piessens,Luca Viganò
Häftad, Engelska, 2016
575 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 12 full papers presented in this volume were carefully reviewed and selected from 35 submissions. They were organized in topical sections named: information flow; models and applications; protocols.
Principles of Security and Trust
5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
AvLuca Vigano,Frank Piessens
E-bok
PDF, Engelska, 2016
739 kr
Läs direkt efter köp
This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 12 full papers presented in this volume were carefully reviewed and selected from 35 submissions. They were organized in topical sections named: information flow; models and applications; protocols.
Del 17 - Applied Logic Series
Labelled Deduction
AvDavid Basin,M. D'Agostinom. fl.
Häftad, Engelska, 2012
1 106 kr
Skickas inom 10-15 vardagar
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.
Labelled Deduction
AvLuca Vigano,Sean Matthewsm. fl.
E-bok
PDF, Engelska, 2012
1 413 kr
Läs direkt efter köp
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented'' properties such as knowledge, belief, time, space, and resources.

Luca Viganò – författare

Labelled Deduction

Labelled Non-Classical Logics

Labelled Non-Classical Logics

Labelled Non-Classical Logics

Socio-Technical Aspects in Security and Trust

Socio-Technical Aspects in Security and Trust

Socio-Technical Aspects in Security

Socio-Technical Aspects in Security

Foundations and Applications of Security Analysis

Foundations and Applications of Security Analysis

Tests and Proofs

Tests and Proofs

Principles of Security and Trust

Principles of Security and Trust

Labelled Deduction

Labelled Deduction

Luca Viganò – författare

Labelled Deduction

Labelled Non-Classical Logics

Labelled Non-Classical Logics

Labelled Non-Classical Logics

Socio-Technical Aspects in Security and Trust

Socio-Technical Aspects in Security and Trust

Socio-Technical Aspects in Security

Socio-Technical Aspects in Security

Foundations and Applications of Security Analysis

Foundations and Applications of Security Analysis

Tests and Proofs

Tests and Proofs

Principles of Security and Trust

Principles of Security and Trust

Labelled Deduction

Labelled Deduction