Détail de l'auteur
Auteur Bernhard Steffen |
Documents disponibles écrits par cet auteur (34)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Bridging the Gap Between AI and Reality / Bernhard Steffen ; SpringerLink (Online service) / Cham : Springer International Publishing (2024)
Titre : Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings Type de document : document électronique Auteurs : Bernhard Steffen, ; SpringerLink (Online service) Editeur : Cham : Springer International Publishing Année de publication : 2024 Autre Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Collection : Lecture Notes in Computer Science, ISSN 1611-3349 num. 14380 Importance : XIII, 456 p. 132 illus., 114 illus. in color Présentation : online resource ISBN/ISSN/EAN : 978-3-031-46002-9 Langues : Anglais (eng) Tags : Computer science Software engineering Computers Special purpose Computer systems Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Artificial Intelligence Résumé : This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning. Note de contenu : Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=175971 Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings [document électronique] / Bernhard Steffen, ; SpringerLink (Online service) . - Cham : Springer International Publishing : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2024 . - XIII, 456 p. 132 illus., 114 illus. in color : online resource. - (Lecture Notes in Computer Science, ISSN 1611-3349; 14380) .
ISBN : 978-3-031-46002-9
Langues : Anglais (eng)
Tags : Computer science Software engineering Computers Special purpose Computer systems Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Artificial Intelligence Résumé : This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning. Note de contenu : Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=175971 Computing and Software Science / Bernhard Steffen ; SpringerLink (Online service) ; Gerhard Woeginger / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2019)
Titre : Computing and Software Science : State of the Art and Perspectives Type de document : document électronique Auteurs : Bernhard Steffen, ; SpringerLink (Online service) ; Gerhard Woeginger, Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2019 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 10000 Importance : XIX, 590 p. 774 illus., 54 illus. in color Présentation : online resource ISBN/ISSN/EAN : 978-3-319-91908-9 Langues : Anglais (eng) Tags : Computer science Software engineering Programming languages Electronic computers Computer system failures Algorithms Artificial intelligence Computer Science Software Engineering Programming Languages Compilers Interpreters System Performance and Evaluation Algorithm Analysis and Problem Complexity Artificial Intelligence Résumé : The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”. They are organized in two parts: The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity. The second part, Methods, Languages and Tools for Future System Development, aims at sketching the methodological evolution that helps guaranteeing that future systems meet their increasingly critical requirements. Chapter 3 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=147972 Computing and Software Science : State of the Art and Perspectives [document électronique] / Bernhard Steffen, ; SpringerLink (Online service) ; Gerhard Woeginger, . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2019 . - XIX, 590 p. 774 illus., 54 illus. in color : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 10000) .
ISBN : 978-3-319-91908-9
Langues : Anglais (eng)
Tags : Computer science Software engineering Programming languages Electronic computers Computer system failures Algorithms Artificial intelligence Computer Science Software Engineering Programming Languages Compilers Interpreters System Performance and Evaluation Algorithm Analysis and Problem Complexity Artificial Intelligence Résumé : The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”. They are organized in two parts: The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity. The second part, Methods, Languages and Tools for Future System Development, aims at sketching the methodological evolution that helps guaranteeing that future systems meet their increasingly critical requirements. Chapter 3 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=147972 Correct System Design / Ernst-Rüdiger Olderog / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (1999)
Titre : Correct System Design : Recent Insights and Advances Type de document : document électronique Auteurs : Ernst-Rüdiger Olderog ; Bernhard Steffen ; SpringerLink (Online service) Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 1999 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 1710 Importance : XIV, 422 p Présentation : digital ISBN/ISSN/EAN : 978-3-540-48092-1 Langues : Anglais (eng) Descripteurs : Intelligence artificielle Tags : Computer science Software engineering Logic design Computer Science Logics and Meanings of Programs Programming Languages Compilers Interpreters Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages Artificial Intelligence Résumé : Computers are gaining more and more controle over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. On the occasion of Hans Langmaack's retirement from his professorship and in order to honor his fundamental contributions to the field, the volume editors invited 17 internationally well known researchers to evaluate the state of the art in the area of correct system design. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application. It is a unique outline of what has been achieved in the area which dates back to a pioneering paper by Alan Turing in 1949 Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=104268 Correct System Design : Recent Insights and Advances [document électronique] / Ernst-Rüdiger Olderog ; Bernhard Steffen ; SpringerLink (Online service) . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 1999 . - XIV, 422 p : digital. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 1710) .
ISBN : 978-3-540-48092-1
Langues : Anglais (eng)
Descripteurs : Intelligence artificielle Tags : Computer science Software engineering Logic design Computer Science Logics and Meanings of Programs Programming Languages Compilers Interpreters Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages Artificial Intelligence Résumé : Computers are gaining more and more controle over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. On the occasion of Hans Langmaack's retirement from his professorship and in order to honor his fundamental contributions to the field, the volume editors invited 17 internationally well known researchers to evaluate the state of the art in the area of correct system design. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application. It is a unique outline of what has been achieved in the area which dates back to a pioneering paper by Alan Turing in 1949 Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=104268 Leveraging Applications of Formal Methods / Tiziana Margaria-Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2006)
Leveraging Applications of Formal Methods, Verification and Validation / SpringerLink (Online service) / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2021)
Titre : Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings Type de document : document électronique Auteurs : SpringerLink (Online service) ; Tiziana Margaria-Steffen , Éditeur scientifique ; Bernhard Steffen, Éditeur scientifique Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2021 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 13036 Importance : XII, 504 p. 124 illus., 71 illus. in color Présentation : online resource ISBN/ISSN/EAN : 978-3-030-89159-6 Langues : Anglais (eng) Tags : Software engineering Artificial intelligence Computer programming Programming languages (Electronic computers) Application software Software Engineering/Programming and Operating Systems Artificial Intelligence Programming Techniques Programming Languages Compilers Interpreters Computer Applications Résumé : This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems. Note de contenu : STRESS - Introduction -- An Introduction to Graphical Modeling of CI/CD Workflows with Rig -- Pyrus: an Online Modeling Environment for No-Code Data-Analytics Service Composition -- Integrating External Services in DIME -- Asking Why -- Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021 -- Agile Business Engineering: From Transformation Towards Continuous Innovation -- Towards Living Canvases -- Use Cases for Simulation in the Development of Automated Driving Systems -- Simulation-based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles -- DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories -- From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics -- Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data -- Programming - What is Next? -- Low-Code is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering -- Time for All Programs, Not Just Real-Time Programs -- Integrated Modeling and Development of Component-Based Embedded Software in Scala -- Slang: The Sireum Programming Language -- HAMR: An AADL Multi-Platform Code Generation Toolset -- Fundamental Constructs in Programming Languages -- Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering Education can Help Advance Theory and Practice of Software Development and Computing -- GATE: Gradual Effect Types -- Fixing Classification: A Viewpoint-based Approach -- The Future of Programming and Modelling: a Vision -- Towards Model-based Intent-Driven Adaptive Software -- The Interoperability Challenge: Building a model driven Digital Thread platform for CPS -- Programming vs. That Thing Subject Matter Experts Do -- Aligned, Purpose-Driven Cooperation: The Future Way of System Development -- RAILS: Roadmaps for AI integration in the raiL Sector -- A Journey through Software Model Checking of Interlocking Programs -- Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation -- Formal Methods in Railway Signalling Infrastructure Standardisation Processes -- sVerify: Verifying Smart Contracts through Lazy Annotation and Learning -- Verifying temporal properties of stigmergic collective systems using CADP Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=170098 Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings [document électronique] / SpringerLink (Online service) ; Tiziana Margaria-Steffen , Éditeur scientifique ; Bernhard Steffen, Éditeur scientifique . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2021 . - XII, 504 p. 124 illus., 71 illus. in color : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 13036) .
ISBN : 978-3-030-89159-6
Langues : Anglais (eng)
Tags : Software engineering Artificial intelligence Computer programming Programming languages (Electronic computers) Application software Software Engineering/Programming and Operating Systems Artificial Intelligence Programming Techniques Programming Languages Compilers Interpreters Computer Applications Résumé : This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems. Note de contenu : STRESS - Introduction -- An Introduction to Graphical Modeling of CI/CD Workflows with Rig -- Pyrus: an Online Modeling Environment for No-Code Data-Analytics Service Composition -- Integrating External Services in DIME -- Asking Why -- Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021 -- Agile Business Engineering: From Transformation Towards Continuous Innovation -- Towards Living Canvases -- Use Cases for Simulation in the Development of Automated Driving Systems -- Simulation-based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles -- DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories -- From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics -- Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data -- Programming - What is Next? -- Low-Code is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering -- Time for All Programs, Not Just Real-Time Programs -- Integrated Modeling and Development of Component-Based Embedded Software in Scala -- Slang: The Sireum Programming Language -- HAMR: An AADL Multi-Platform Code Generation Toolset -- Fundamental Constructs in Programming Languages -- Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering Education can Help Advance Theory and Practice of Software Development and Computing -- GATE: Gradual Effect Types -- Fixing Classification: A Viewpoint-based Approach -- The Future of Programming and Modelling: a Vision -- Towards Model-based Intent-Driven Adaptive Software -- The Interoperability Challenge: Building a model driven Digital Thread platform for CPS -- Programming vs. That Thing Subject Matter Experts Do -- Aligned, Purpose-Driven Cooperation: The Future Way of System Development -- RAILS: Roadmaps for AI integration in the raiL Sector -- A Journey through Software Model Checking of Interlocking Programs -- Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation -- Formal Methods in Railway Signalling Infrastructure Standardisation Processes -- sVerify: Verifying Smart Contracts through Lazy Annotation and Learning -- Verifying temporal properties of stigmergic collective systems using CADP Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=170098 Leveraging Applications of Formal Methods, Verification, and Validation / SpringerLink (Online service) / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2010)
PermalinkLeveraging Applications of Formal Methods, Verification, and Validation / Tiziana Margaria-Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2010)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning / Tiziana Margaria-Steffen ; SpringerLink (Online service) ; Bernhard Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2022)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation: Applications / Tiziana Margaria-Steffen ; SpringerLink (Online service) ; Bernhard Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2020)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies / Tiziana Margaria-Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2012)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications / Tiziana Margaria-Steffen ; SpringerLink (Online service) ; Bernhard Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2016)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation. Distributed Systems / Tiziana Margaria-Steffen ; SpringerLink (Online service) ; Bernhard Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2018)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles / Tiziana Margaria-Steffen ; SpringerLink (Online service) ; Bernhard Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2020)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques / Tiziana Margaria-Steffen ; SpringerLink (Online service) ; Bernhard Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2016)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation. Industrial Practice / Tiziana Margaria-Steffen ; SpringerLink (Online service) ; Bernhard Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2018)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation. Modeling / Tiziana Margaria-Steffen ; SpringerLink (Online service) ; Bernhard Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2018)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation. Practice / Tiziana Margaria-Steffen ; SpringerLink (Online service) ; Bernhard Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2022)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation. Software Engineering / Tiziana Margaria-Steffen ; SpringerLink (Online service) ; Bernhard Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2022)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications / Tiziana Margaria-Steffen ; SpringerLink (Online service) ; Bernhard Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2014)
PermalinkLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change / Tiziana Margaria-Steffen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2012)
Permalink