Formal Techniques for Distributed Objects, Components, and Systems [[electronic resource] ] : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / / edited by Erika Ábrahám, Catuscia Palamidessi |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 301 p. 75 illus.) |
Disciplina | 005.1015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Computers Mathematical logic Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Mathematical Logic and Formal Languages |
ISBN | 3-662-43613-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Specification Languages and Type Systems -- Monitoring and Testing -- Security Analysis -- Bisimulation, Abstraction and Reduction. |
Record Nr. | UNISA-996217774403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Techniques for Distributed Objects, Components, and Systems [[electronic resource] ] : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / / edited by Erika Ábrahám, Catuscia Palamidessi |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 301 p. 75 illus.) |
Disciplina | 005.1015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Computers Mathematical logic Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Mathematical Logic and Formal Languages |
ISBN | 3-662-43613-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Specification Languages and Type Systems -- Monitoring and Testing -- Security Analysis -- Bisimulation, Abstraction and Reduction. |
Record Nr. | UNINA-9910484117303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fundamentals of Software Engineering [[electronic resource] ] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / / edited by Hossein Hojjat, Erika Ábrahám |
Autore | Hojjat Hossein |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (168 pages) |
Disciplina | 005.1 |
Altri autori (Persone) | ÁbrahámErika |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Microprogramming Computer networks Computer science Software Engineering Control Structures and Microprogramming Computer Communication Networks Theory of Computation |
ISBN | 3-031-42441-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Structured specification of paraconsistent transition systems -- Towards a Basic Theory for Partial Differentiation in the Prototype Verification System -- Case studies of development of verified programs with Dafny for accessibility assessment -- TPGen: A Self-Stabilizing GPU-Based Method for Test and Prime Paths Generation -- An Optimised Complete Strategy for Testing Symbolic Finite State Machines -- Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models -- Interaction-based Offline Runtime Verification of Distributed Systems -- Genetic Algorithm for Program Synthesis -- Property-Based Conjecturing for Automated Induction in Isabelle/HOL -- Verification of the busy-forbidden protocol -- kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification. |
Record Nr. | UNINA-9910743688603321 |
Hojjat Hossein | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fundamentals of Software Engineering [[electronic resource] ] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / / edited by Hossein Hojjat, Erika Ábrahám |
Autore | Hojjat Hossein |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (168 pages) |
Disciplina | 005.1 |
Altri autori (Persone) | ÁbrahámErika |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Microprogramming Computer networks Computer science Software Engineering Control Structures and Microprogramming Computer Communication Networks Theory of Computation |
ISBN | 3-031-42441-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Structured specification of paraconsistent transition systems -- Towards a Basic Theory for Partial Differentiation in the Prototype Verification System -- Case studies of development of verified programs with Dafny for accessibility assessment -- TPGen: A Self-Stabilizing GPU-Based Method for Test and Prime Paths Generation -- An Optimised Complete Strategy for Testing Symbolic Finite State Machines -- Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models -- Interaction-based Offline Runtime Verification of Distributed Systems -- Genetic Algorithm for Program Synthesis -- Property-Based Conjecturing for Automated Induction in Isabelle/HOL -- Verification of the busy-forbidden protocol -- kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification. |
Record Nr. | UNISA-996546849403316 |
Hojjat Hossein | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Integrated Formal Methods [[electronic resource] ] : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / / edited by Erika Ábrahám, Marieke Huisman |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIV, 538 p. 145 illus.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
ISBN | 3-319-33693-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Contributions -- Can Formal Methods Improve the Efficiency of Code Reviews.-Symbolic Computation and Automated Reasoning for Program Analysis -- Program verification -- On Type Checking Delta-Oriented Product Lines -- Verifying a priority scheduler for an SCJ runtime environment -- Why Just Boogie? Translating Between Intermediate Verification Languages -- Probabilistic systems -- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata -- Probabilistic Formal Analysis of App Usage to Inform Redesign -- Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC -- Concurrency -- Monitoring Multi-threaded Component-Based Systems -- A Generalised Theory of Interface Automata, Component Compatibility and Error -- On Implementing a Monitor-Oriented Programming Framework for Actor Systems -- Towards a Thread-Local Proof Technique for Starvation Freedom -- Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems -- A Formal Model of the Safety-Critical Java Level 2 Paradigm -- Safety and liveness -- Deciding Monadic Second Order Logic over omega-words by Specialized Finite Automata -- Property Preservation for Extension Patterns of State Transition Diagrams -- Symbolic Reachability Analysis of B through ProB and LTSmin -- Model learning -- Enhancing Automata Learning by Log-Based Metrics -- Refactoring of Legacy Software using Model Learning and Equivalence Checking: an Industrial Experience Report -- On Robust Malware Classifiers by Verifying Unwanted Behaviours -- SAT and SMT solving -- Efficient Deadlock-Freedom Checking using Local Analysis and SAT Solving -- SMT Solvers for Validation of B and Event-B models -- Avoiding Medication Conflicts for Patients with Multimorbidities -- Testing -- Temporal Random Testing for Spark Streaming -- Combining Static Analysis and Testing for Deadlock Detection -- Fuzzing JavaScript Engine APIs -- Theorem proving and constraint satisfaction -- A Component-based Approach to Hybrid Systems Safety Verification -- Verifying Pointer Programs using Separation Logic and Invariant Based Programming in Isabelle -- A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces -- Case studies -- Rule-based Consistency Checking of Railway Infrastructure Designs -- Formal Verification of Safety PLC Based Control Software -- Enabling Static Driver Verifier using Microsoft Azure. |
Record Nr. | UNISA-996465780903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / / edited by Erika Ábrahám, Marieke Huisman |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIV, 538 p. 145 illus.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Machine theory Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Formal Languages and Automata Theory |
ISBN | 3-319-33693-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Contributions -- Can Formal Methods Improve the Efficiency of Code Reviews.-Symbolic Computation and Automated Reasoning for Program Analysis -- Program verification -- On Type Checking Delta-Oriented Product Lines -- Verifying a priority scheduler for an SCJ runtime environment -- Why Just Boogie? Translating Between Intermediate Verification Languages -- Probabilistic systems -- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata -- Probabilistic Formal Analysis of App Usage to Inform Redesign -- Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC -- Concurrency -- Monitoring Multi-threaded Component-Based Systems -- A Generalised Theory of Interface Automata, Component Compatibility and Error -- On Implementing a Monitor-Oriented Programming Framework for Actor Systems -- Towards a Thread-Local Proof Technique for Starvation Freedom -- Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems -- A Formal Model of the Safety-Critical Java Level 2 Paradigm -- Safety and liveness -- Deciding Monadic Second Order Logic over omega-words by Specialized Finite Automata -- Property Preservation for Extension Patterns of State Transition Diagrams -- Symbolic Reachability Analysis of B through ProB and LTSmin -- Model learning -- Enhancing Automata Learning by Log-Based Metrics -- Refactoring of Legacy Software using Model Learning and Equivalence Checking: an Industrial Experience Report -- On Robust Malware Classifiers by Verifying Unwanted Behaviours -- SAT and SMT solving -- Efficient Deadlock-Freedom Checking using Local Analysis and SAT Solving -- SMT Solvers for Validation of B and Event-B models -- Avoiding Medication Conflicts for Patients with Multimorbidities -- Testing -- Temporal Random Testing for Spark Streaming -- Combining Static Analysis and Testing for Deadlock Detection -- Fuzzing JavaScript Engine APIs -- Theorem proving and constraint satisfaction -- A Component-based Approach to Hybrid Systems Safety Verification -- Verifying Pointer Programs using Separation Logic and Invariant Based Programming in Isabelle -- A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces -- Case studies -- Rule-based Consistency Checking of Railway Infrastructure Designs -- Formal Verification of Safety PLC Based Control Software -- Enabling Static Driver Verifier using Microsoft Azure. |
Record Nr. | UNINA-9910484921703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory and Practice of Formal Methods [[electronic resource] ] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XII, 427 p. 112 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Algorithms Machine theory Compilers (Computer programs) Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Compilers and Interpreters Artificial Intelligence |
ISBN | 3-319-30734-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Program Verification: to Err is Human -- Fond (and Frank) Memories of Frank -- Warmest Congratulations, Frank -- Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking -- Resource Analysis of Distributed Systems -- Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification -- Proper Protocol -- A Compositional Approach to the Verification of Hybrid Systems -- Array Abstraction with Symbolic Pivots -- Modeling Role-Based Systems with Exogenous Coordination -- Vats: A Safe, Reactive Storage Abstraction -- Denotational and Operational Preciseness of Subtyping: A Roadmap -- A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs -- Self-Reconfiguring Microservices -- Statically and Dynamically Verifiable SLA metrics -- Effectively Eliminating Auxiliaries -- Towards a Proof Method for Paradigm -- Toward a Formal Foundation for Time Travel in Stories and Games -- Industrial Application of Formal Models Generated from Domain Specific Languages -- Formal Verification of Open Normative Multi-Agent System -- Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq -- Towards a Kool Future -- On the Expressiveness of Synchronization in Component Deployment -- Characterisation of Simulation by Probabilistic Testing -- On Time Actors -- A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions -- Quicksort Revisited - Verifying Alternative Versions of Quicksort. |
Record Nr. | UNISA-996466000703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XII, 427 p. 112 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Algorithms Machine theory Compilers (Computer programs) Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Compilers and Interpreters Artificial Intelligence |
ISBN | 3-319-30734-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Program Verification: to Err is Human -- Fond (and Frank) Memories of Frank -- Warmest Congratulations, Frank -- Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking -- Resource Analysis of Distributed Systems -- Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification -- Proper Protocol -- A Compositional Approach to the Verification of Hybrid Systems -- Array Abstraction with Symbolic Pivots -- Modeling Role-Based Systems with Exogenous Coordination -- Vats: A Safe, Reactive Storage Abstraction -- Denotational and Operational Preciseness of Subtyping: A Roadmap -- A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs -- Self-Reconfiguring Microservices -- Statically and Dynamically Verifiable SLA metrics -- Effectively Eliminating Auxiliaries -- Towards a Proof Method for Paradigm -- Toward a Formal Foundation for Time Travel in Stories and Games -- Industrial Application of Formal Models Generated from Domain Specific Languages -- Formal Verification of Open Normative Multi-Agent System -- Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq -- Towards a Kool Future -- On the Expressiveness of Synchronization in Component Deployment -- Characterisation of Simulation by Probabilistic Testing -- On Time Actors -- A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions -- Quicksort Revisited - Verifying Alternative Versions of Quicksort. |
Record Nr. | UNINA-9910482976703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|