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.
1st International Workshop on CrowdSourcing in Software Engineering : proceedings : June 2, 2014, Hyderabad, India
| 1st International Workshop on CrowdSourcing in Software Engineering : proceedings : June 2, 2014, Hyderabad, India |
| Autore | Fraser Gordon |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (18 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2857-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
CSI-SE 2014
CrowdSourcing in Software Engineering 2014 Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering |
| Record Nr. | UNINA-9910376392203321 |
Fraser Gordon
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ninth International Workshop on Dynamic Analysis (WODA 2011) : proceedings, July 18, 2011, Toronto, ON, Canada
| Ninth International Workshop on Dynamic Analysis (WODA 2011) : proceedings, July 18, 2011, Toronto, ON, Canada |
| Autore | Mariani Leonardo |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (44 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-0811-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the ninth International Workshop on Dynamic Analysis
ISSTA '11 International Symposium on Software Testing and Analysis, Toronto, ON, Canada - July 17 - 21, 2011 |
| Record Nr. | UNINA-9910376523603321 |
|
Mariani Leonardo
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the Second International Workshop on CrowdSourcing in Software Engineering / / Gordon Fraser, Thomas LaToza, Leonardo Mariani ; Association for Computing Machinery-Digital Library
| Proceedings of the Second International Workshop on CrowdSourcing in Software Engineering / / Gordon Fraser, Thomas LaToza, Leonardo Mariani ; Association for Computing Machinery-Digital Library |
| Autore | Fraser Gordon |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE Press, , 2015 |
| Descrizione fisica | 1 online resource (57 pages) |
| Disciplina | 005.1 |
| Soggetto topico | Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910376647303321 |
|
Fraser Gordon
|
||
| Piscataway, New Jersey : , : IEEE Press, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Runtime Verification [[electronic resource] ] : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / / edited by Bernd Finkbeiner, Leonardo Mariani
| Runtime Verification [[electronic resource] ] : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / / edited by Bernd Finkbeiner, Leonardo Mariani |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 413 p. 377 illus., 58 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Computer system failures Algorithms Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs System Performance and Evaluation Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages |
| ISBN | 3-030-32079-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Retrospective Look at the Monitoring and Checking (MaC) Framework -- Introspective Environment Modeling -- Robustness of Specifications and its applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo -- On the Runtime Enforcement of Timed Properties -- Algorithms for Monitoring Hyperproperties -- Stream-based Monitors for Real-time Properties -- Accelerated Learning of Predictive Runtime Monitors for Rare Failure -- Neural Predictive Monitoring -- Comparing Controlled System Synthesis and Suppression Enforcement -- Assumption-Based Runtime Verification with Partial Observability and Resets -- Decentralized Stream Runtime Verification -- Explaining Violations of Properties in Control-Flow Temporal Logic -- FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation -- An Extension of LTL with Rules and its Application to Runtime Verification -- Monitorability Over Unreliable Channels -- Runtime Verification For Timed Event Streams With Partial Information -- Shape Expressions for Specifying and Extracting Signal Features -- A Formally Verified Monitor for Metric First-Order Temporal Logic -- Efficient Detection and Quantification of Timing Leaks with Neural Networks -- Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs -- Reactive Control Meets Runtime Verification: A Case Study of Navigation -- Overhead-aware deployment of runtime monitors -- NuRV: a nuXmv Extension for Runtime Verification -- AllenRV: an extensible monitor for multiple complex specifications with high reactivity -- Timescales: A Benchmark Generator for Metric Temporal Logic. |
| Record Nr. | UNISA-996466431103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / / edited by Bernd Finkbeiner, Leonardo Mariani
| Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / / edited by Bernd Finkbeiner, Leonardo Mariani |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 413 p. 377 illus., 58 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Computer system failures Algorithms Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs System Performance and Evaluation Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages |
| ISBN | 3-030-32079-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Retrospective Look at the Monitoring and Checking (MaC) Framework -- Introspective Environment Modeling -- Robustness of Specifications and its applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo -- On the Runtime Enforcement of Timed Properties -- Algorithms for Monitoring Hyperproperties -- Stream-based Monitors for Real-time Properties -- Accelerated Learning of Predictive Runtime Monitors for Rare Failure -- Neural Predictive Monitoring -- Comparing Controlled System Synthesis and Suppression Enforcement -- Assumption-Based Runtime Verification with Partial Observability and Resets -- Decentralized Stream Runtime Verification -- Explaining Violations of Properties in Control-Flow Temporal Logic -- FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation -- An Extension of LTL with Rules and its Application to Runtime Verification -- Monitorability Over Unreliable Channels -- Runtime Verification For Timed Event Streams With Partial Information -- Shape Expressions for Specifying and Extracting Signal Features -- A Formally Verified Monitor for Metric First-Order Temporal Logic -- Efficient Detection and Quantification of Timing Leaks with Neural Networks -- Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs -- Reactive Control Meets Runtime Verification: A Case Study of Navigation -- Overhead-aware deployment of runtime monitors -- NuRV: a nuXmv Extension for Runtime Verification -- AllenRV: an extensible monitor for multiple complex specifications with high reactivity -- Timescales: A Benchmark Generator for Metric Temporal Logic. |
| Record Nr. | UNINA-9910349276103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Validation of Evolving Software / / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
| Validation of Evolving Software / / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (216 p.) |
| Disciplina | 004 |
| Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
| ISBN | 3-319-10623-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation. |
| Record Nr. | UNINA-9910299253603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||