Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers / / Darren Cofer, Alessandro Fantechi (editors)
| Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers / / Darren Cofer, Alessandro Fantechi (editors) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (241 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Formal methods (Computer science) |
| ISBN |
1-282-33177-9
9786612331770 3-642-03240-0 |
| Classificazione |
DAT 260f
DAT 343f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- Formal Methods for Critical Systems -- Model-Based Verification of Automotive Control Software -- Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach -- Panel -- Panel Discussion on Formal Methods in Commercial Software Development Tools -- Research Papers -- LETO - A Lustre-Based Test Oracle for Airbus Critical Systems -- Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators -- Fighting State Space Explosion: Review and Evaluation -- Local Quantitative LTL Model Checking -- Efficient Symbolic Model Checking for Process Algebras -- Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving -- Using CSP||B Components: Application to a Platoon of Vehicles -- Formal Verification of the Implementability of Timing Requirements -- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties -- Can Flash Memory Help in Model Checking? -- From Informal Requirements to Property-Driven Formal Validation -- Automated Certification of Non-Interference in Rewriting Logic -- Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications -- Using Datalog and Boolean Equation Systems for Program Analysis. |
| Record Nr. | UNINA-9910484726903321 |
| Berlin ; ; Heidelberg : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers / / Darren Cofer, Alessandro Fantechi (editors)
| Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers / / Darren Cofer, Alessandro Fantechi (editors) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (241 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Formal methods (Computer science) |
| ISBN |
1-282-33177-9
9786612331770 3-642-03240-0 |
| Classificazione |
DAT 260f
DAT 343f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- Formal Methods for Critical Systems -- Model-Based Verification of Automotive Control Software -- Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach -- Panel -- Panel Discussion on Formal Methods in Commercial Software Development Tools -- Research Papers -- LETO - A Lustre-Based Test Oracle for Airbus Critical Systems -- Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators -- Fighting State Space Explosion: Review and Evaluation -- Local Quantitative LTL Model Checking -- Efficient Symbolic Model Checking for Process Algebras -- Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving -- Using CSP||B Components: Application to a Platoon of Vehicles -- Formal Verification of the Implementability of Timing Requirements -- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties -- Can Flash Memory Help in Model Checking? -- From Informal Requirements to Property-Driven Formal Validation -- Automated Certification of Non-Interference in Rewriting Logic -- Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications -- Using Datalog and Boolean Equation Systems for Program Analysis. |
| Record Nr. | UNISA-996465614203316 |
| Berlin ; ; Heidelberg : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
From Software Engineering to Formal Methods and Tools, and Back [[electronic resource] ] : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / / edited by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
| From Software Engineering to Formal Methods and Tools, and Back [[electronic resource] ] : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / / edited by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 574 p. 692 illus., 91 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Algorithms Machine theory Computer science Artificial intelligence Software Engineering Compilers and Interpreters Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Artificial Intelligence |
| ISBN | 3-030-30985-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Engineering -- Formal Methods and Tools -- Requirements Engineering -- Natural Language Processing -- Software Product Lines -- Formal Verification -- Applications. |
| Record Nr. | UNISA-996466436503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / / edited by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
| From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / / edited by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 574 p. 692 illus., 91 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Algorithms Machine theory Computer science Artificial intelligence Software Engineering Compilers and Interpreters Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Artificial Intelligence |
| ISBN | 3-030-30985-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Engineering -- Formal Methods and Tools -- Requirements Engineering -- Natural Language Processing -- Software Product Lines -- Formal Verification -- Applications. |
| Record Nr. | UNINA-9910349276503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [[electronic resource] ] : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / / edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
| Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [[electronic resource] ] : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / / edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 265 p. 80 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Artificial intelligence Computers Computer organization Computer security Microprogramming Software Engineering Artificial Intelligence Theory of Computation Computer Systems Organization and Communication Networks Systems and Data Security Control Structures and Microprogramming |
| ISBN | 3-319-68499-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talk -- Cyber Security in Railways: Quo vadis? -- Communication Challenges in Railway Systems -- LTE System Design for Urban Light Rail Transport -- A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS -- Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering -- Formal Modelling and Verification for Safety -- Formal modelling techniques for efficient development of railway control products -- OVADO: Enhancing Data Validation for Safety-Critical Railway Systems -- A Domain-Specific Language for Generic Interlocking Models and Their Properties -- Bayesian Network Modeling Applied on Railway Level Crossing Safety -- Deductive Verification of Railway Operations -- Safety Analysis of a CBTC System: A Rigorous Approach with Event-B -- B-PERFect: Applying the PERF approach to B based system developments -- Formal Verification of Train Control with Air Pressure Brakes -- Light Rail and Urban Transit -- An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems -- Redundant and Reliable Architecture Based On Open Source Tools for Light-Rail-Transit On-Board-Systems -- Dynamic Routing for Urban Transport Systems Through Integer Linear Programming -- Engineering Techniques and Standards -- Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks -- Are Standards an Ambiguity-free Reference for Product Validation. . |
| Record Nr. | UNISA-996465417803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / / edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
| Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / / edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 265 p. 80 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Artificial intelligence Computer science Computer engineering Computer networks Data protection Microprogramming Software Engineering Artificial Intelligence Theory of Computation Computer Engineering and Networks Data and Information Security Control Structures and Microprogramming |
| ISBN | 3-319-68499-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talk -- Cyber Security in Railways: Quo vadis? -- Communication Challenges in Railway Systems -- LTE System Design for Urban Light Rail Transport -- A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS -- Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering -- Formal Modelling and Verification for Safety -- Formal modelling techniques for efficient development of railway control products -- OVADO: Enhancing Data Validation for Safety-Critical Railway Systems -- A Domain-Specific Language for Generic Interlocking Models and Their Properties -- Bayesian Network Modeling Applied on Railway Level Crossing Safety -- Deductive Verification of Railway Operations -- Safety Analysis of a CBTC System: A Rigorous Approach with Event-B -- B-PERFect: Applying the PERF approach to B based system developments -- Formal Verification of Train Control with Air Pressure Brakes -- Light Rail and Urban Transit -- An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems -- Redundant and Reliable Architecture Based On Open Source Tools for Light-Rail-Transit On-Board-Systems -- Dynamic Routing for Urban Transport Systems Through Integer Linear Programming -- Engineering Techniques and Standards -- Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks -- Are Standards an Ambiguity-free Reference for Product Validation. . |
| Record Nr. | UNINA-9910483623803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering for Resilient Systems [[electronic resource] ] : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / / edited by Alessandro Fantechi, Patrizio Pelliccione
| Software Engineering for Resilient Systems [[electronic resource] ] : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / / edited by Alessandro Fantechi, Patrizio Pelliccione |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (IX, 145 p. 47 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Application software Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-319-23129-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Biological Immunity and Software Resilience: two faces of the same coin? -- Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol -- Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems -- Risk assessment based cloudification -- Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System -- Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain -- Tejo: a supervised anomaly detection scheme for NewSQL databases -- Resiliency Variance in Workows with Choice. |
| Record Nr. | UNISA-996200365703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / / edited by Alessandro Fantechi, Patrizio Pelliccione
| Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / / edited by Alessandro Fantechi, Patrizio Pelliccione |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (IX, 145 p. 47 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Application software Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-319-23129-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Biological Immunity and Software Resilience: two faces of the same coin? -- Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol -- Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems -- Risk assessment based cloudification -- Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System -- Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain -- Tejo: a supervised anomaly detection scheme for NewSQL databases -- Resiliency Variance in Workows with Choice. |
| Record Nr. | UNINA-9910483916803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||