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.
From Programs to Systems - The Systems Perspective in Computing [[electronic resource] ] : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings / / edited by Saddek Bensalem, Yassine Lakhnech, Axel Legay
| From Programs to Systems - The Systems Perspective in Computing [[electronic resource] ] : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings / / edited by Saddek Bensalem, Yassine Lakhnech, Axel Legay |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 279 p. 76 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Machine theory Software engineering Computer Science Logic and Foundations of Programming Theory of Computation Compilers and Interpreters Formal Languages and Automata Theory Software Engineering |
| ISBN | 3-642-54848-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model-Driven Information Flow Security for Component-Based Systems -- Context-Bounded Analysis of TSO Systems.- A Model of Dynamic Systems.- From Hierarchical BIP to Petri Calculus.- Programming and Verifying Component Ensembles.- Parametric and Quantitative Extensions of Modal Transition Systems -- Specification Theories for Probabilistic and Real-Time Systems.- Compositional Branching-Time Measurements.- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories for Communication-Safe Component Systems.- Constructive Collisions.- Let’s Get Physical: Computer Science Meets Systems.- What Can be Computed in a Distributed System.- Toward a System Design Science.- OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems.- Feedback in Synchronous Relational Interfaces.- Reasoning about Network Topologies in Space. . |
| Record Nr. | UNISA-996198260603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings / / edited by Saddek Bensalem, Yassine Lakhnech, Axel Legay
| From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings / / edited by Saddek Bensalem, Yassine Lakhnech, Axel Legay |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 279 p. 76 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Machine theory Software engineering Computer Science Logic and Foundations of Programming Theory of Computation Compilers and Interpreters Formal Languages and Automata Theory Software Engineering |
| ISBN | 3-642-54848-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model-Driven Information Flow Security for Component-Based Systems -- Context-Bounded Analysis of TSO Systems.- A Model of Dynamic Systems.- From Hierarchical BIP to Petri Calculus.- Programming and Verifying Component Ensembles.- Parametric and Quantitative Extensions of Modal Transition Systems -- Specification Theories for Probabilistic and Real-Time Systems.- Compositional Branching-Time Measurements.- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories for Communication-Safe Component Systems.- Constructive Collisions.- Let’s Get Physical: Computer Science Meets Systems.- What Can be Computed in a Distributed System.- Toward a System Design Science.- OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems.- Feedback in Synchronous Relational Interfaces.- Reasoning about Network Topologies in Space. . |
| Record Nr. | UNINA-9910484499803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Runtime Verification [[electronic resource] ] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings / / edited by Axel Legay, Saddek Bensalem
| Runtime Verification [[electronic resource] ] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings / / edited by Axel Legay, Saddek Bensalem |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVII, 426 p. 113 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Algorithms Computer logic Computer programming Programming languages (Electronic computers) Mathematical logic Software Engineering Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-642-40787-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects for Hybrid Migration Control -- Monitoring of Temporal First-order Properties with Aggregations -- From propositional to first-order monitoring -- Right-Universality of Visibly Pushdown Automata -- Distributed Finite-State Runtime Monitoring with Aggregated Events -- Synthesising Correct Concurrent Runtime Monitors (Extended Abstract) -- Practical interruptible conversations: Distributed dynamic verification with session types and Python -- Runtime Verification with Particle Filtering -- An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs -- Impartiality and Anticipation for Monitoring of Visibly Context-free Properties -- Accelerating Data Race Detection Utilizing On-chip Data-parallel Cores -- Efficient Model to Query and Visualize the System States Extracted from Trace Data -- Repair Abstractions for More Efficient Data Structure Repair -- To Run What No One Has Run Before: Executing an Intermediate Verification Language -- Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations -- A Causality Analysis Framework for Component-based Real-time Systems -- Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques -- Short Papers -- A Scala DSL for Rete-based Runtime Verification -- A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools -- Towards a generic non-intrusive fault detection framework -- A Witnessing Compiler: A Proof of Concept -- Runtime Monitoring of Temporal Logic Properties in a Platform Game -- Tool Papers -- SMock | A Test Platform for Monitoring Tools -- SPY: Local Verification of Global Protocols -- Tutorials -- Instrumenting Android and Java Applications as Easy as abc -- On Signal Temporal Logic -- Runtime Verification and Refutation for Biological Systems -- A Lesson on Runtime Assertion Checking with Frama-C -- With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures -- Dynamic Analysis and Debugging of Binary Code for Security Applications. |
| Record Nr. | UNISA-996465404603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings / / edited by Axel Legay, Saddek Bensalem
| Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings / / edited by Axel Legay, Saddek Bensalem |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVII, 426 p. 113 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Algorithms Computer science Computer programming Compilers (Computer programs) Machine theory Software Engineering Computer Science Logic and Foundations of Programming Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory |
| ISBN | 3-642-40787-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects for Hybrid Migration Control -- Monitoring of Temporal First-order Properties with Aggregations -- From propositional to first-order monitoring -- Right-Universality of Visibly Pushdown Automata -- Distributed Finite-State Runtime Monitoring with Aggregated Events -- Synthesising Correct Concurrent Runtime Monitors (Extended Abstract) -- Practical interruptible conversations: Distributed dynamic verification with session types and Python -- Runtime Verification with Particle Filtering -- An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs -- Impartiality and Anticipation for Monitoring of Visibly Context-free Properties -- Accelerating Data Race Detection Utilizing On-chip Data-parallel Cores -- Efficient Model to Query and Visualize the System States Extracted from Trace Data -- Repair Abstractions for More Efficient Data Structure Repair -- To Run What No One Has Run Before: Executing an Intermediate Verification Language -- Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations -- A Causality Analysis Framework for Component-based Real-time Systems -- Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques -- Short Papers -- A Scala DSL for Rete-based Runtime Verification -- A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools -- Towards a generic non-intrusive fault detection framework -- A Witnessing Compiler: A Proof of Concept -- Runtime Monitoring of Temporal Logic Properties in a Platform Game -- Tool Papers -- SMock / A Test Platform for Monitoring Tools -- SPY: Local Verification of Global Protocols -- Tutorials -- Instrumenting Android and Java Applications as Easy as abc -- On Signal Temporal Logic -- Runtime Verification and Refutation for Biological Systems -- A Lesson on Runtime Assertion Checking with Frama-C -- With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures -- Dynamic Analysis and Debugging of Binary Code for Security Applications. |
| Record Nr. | UNINA-9910484676003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Runtime Verification [[electronic resource] ] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / / edited by Saddek Bensalem, Doron A. Peled
| Runtime Verification [[electronic resource] ] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / / edited by Saddek Bensalem, Doron A. Peled |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VII, 203 p.) |
| Disciplina | 005.1/17 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Computer software—Reusability Programming languages (Electronic computers) Computer system failures Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Performance and Reliability Programming Languages, Compilers, Interpreters System Performance and Evaluation |
| Soggetto genere / forma |
Grenobble (2009)
Grenoble (2009) Kongress. |
| ISBN | 3-642-04694-0 |
| Classificazione |
DAT 263f
DAT 325f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode – Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking. |
| Record Nr. | UNISA-996465300203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
| Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 219 p. 66 illus.) |
| Disciplina | 001.64404 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science Machine theory Software engineering Electronic digital computers—Evaluation Computers Professions Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering System Performance and Evaluation The Computing Profession |
| ISBN | 3-030-00359-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic Systems. |
| Record Nr. | UNISA-996466329003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
| Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 219 p. 66 illus.) |
| Disciplina |
001.64404
004.36 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science Machine theory Software engineering Electronic digital computers—Evaluation Computers Professions Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering System Performance and Evaluation The Computing Profession |
| ISBN | 3-030-00359-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic Systems. |
| Record Nr. | UNINA-9910349402603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||