top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings / Franziska Klügl, Sascha Ossowski (eds.).
Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings / Franziska Klügl, Sascha Ossowski (eds.).
Creatore [MATES (Conference) (9th : 2011 : Berlin, Germany)]
Estensione 1 online resource (x, 196 pages) : illustrations (some color).
Disciplina 006.3
Accesso persona Klügl, Franziska
Ossowski, Sascha, 1968-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Programming Techniques
Logics and Meanings of Programs
ISBN 9783642246036
3642246036
9783642246029 (print)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006178489
[MATES (Conference) (9th : 2011 : Berlin, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Conceptual modeling--ER 2011 : 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings / Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (eds.).
Conceptual modeling--ER 2011 : 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings / Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (eds.).
Creatore [International Conference on Conceptual Modeling (30th : 2011 : Brussels, Belgium)]
Estensione 1 online resource (xix, 530 pages) : illustrations (some color).
Disciplina 003/.3
Accesso persona Jeusfeld, Manfred
Delcambre, Lois M. L.
Ling, Tok Wang
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Artificial Intelligence (incl. Robotics)
User Interfaces and Human Computer Interaction
ISBN 9783642246067
3642246060
9783642246050
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-005711150
[International Conference on Conceptual Modeling (30th : 2011 : Brussels, Belgium)]  
Materiale a stampa
Lo trovi qui: New York University
Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / Sarfraz Khurshid, Koushik Sen (eds.).
Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / Sarfraz Khurshid, Koushik Sen (eds.).
Creatore [RV (Conference) (2nd : 2011 : San Francisco, Calif.)]
Estensione 1 online resource (xii, 458 pages).
Disciplina 005.1/4
Accesso persona Khurshid, Sarfraz
Sen, Koushik
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Logic design
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Techniques
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642298608
3642298605
3642298591
9783642298592
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Internal versus External DSLs for Trace Analysis / (Extended Abstract) / Howard Barringer and Klaus Havelund -- Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables / Chao Wang and Malay Ganai -- Runtime Monitoring of Time-Sensitive Systems / [Tutorial Supplement] / Borzoo Bonakdarpour and Sebastian Fischmeister -- Teaching Runtime Verification / Martin Leucker -- Runtime Verification: A Computer Architecture Perspective / Sharad Malik -- Isolating Determinism in Multi-threaded Programs / Lukasz Ziarek, Siddharth Tiwary and Suresh Jagannathan -- Efficiency Optimizations for Implementations of Deadlock Immunity / Horatiu Jula, Silviu Andrica and George Candea -- Permission Regions for Race-Free Parallelism / Edwin Westbrook, Jisheng Zhao, Zoran Budimlić and Vivek Sarkar -- Dynamic Race Detection with LLVM Compiler / Compile-Time Instrumentation for ThreadSanitizer / Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov and Dmitriy Vyukov -- NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows / Narcisa Andreea Milea, Siau Cheng Khoo, David Lo and Cristian Pop -- Runtime Verification of LTL-Based Declarative Process Models / Fabrizio Maria Maggi, Michael Westergaard, Marco Montali and Wil M.P. van der Aalst -- Parametric Identification of Temporal Properties / Eugene Asarin, Alexandre Donzé, Oded Maler and Dejan Nickovic.
Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs / William N. Sumner, Christian Hammer and Julian Dolby -- Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software / Bohuslav Křena, Zdeněk Letko and Tomáš Vojnar -- Runtime Verification with State Estimation / Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu and Klaus Havelund, et al. -- Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification / Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour and Sebastian Fischmeister -- CoMA: Conformance Monitoring of Java Programs by Abstract State Machines / Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene -- Automated Test-Trace Inspection for Microcontroller Binary Code / Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger and Stefan Kowalewski -- What Is My Program Doing? Program Dynamics in Programmer's Terms / Steven P. Reiss and Alexander Tarvo -- Algorithms for Monitoring Real-Time Properties / David Basin, Felix Klaedtke and Eugen Zălinescu -- Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State / A. Prasad Sistla, Miloš Žefran and Yao Feng -- Combining Time and Frequency Domain Specifications for Periodic Signals / Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos -- Runtime Verification for Ultra-Critical Systems / Lee Pike, Sebastian Niller and Nis Wegmann.
Runtime Verification of Data-Centric Properties in Service Based Systems / Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao and Hua Zhong, et al. -- Cooperative Concurrency for a Multicore World / (Extended Abstract) / Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund and Cormac Flanagan -- Monitoring Data Structures Using Hardware Transactional Memory / Shakeel Butt, Vinod Ganapathy, Arati Baliga and Mihai Christodorescu -- MONPOLY: Monitoring Usage-Control Policies / David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zălinescu -- MOPBox: A Library Approach to Runtime Verification (Tool Demonstration) / Eric Bodden -- Elarva: A Monitoring Tool for Erlang / Christian Colombo, Adrian Francalanza and Rudolph Gatt -- DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking / Jan Fiedor, Vendula Hrubá, Bohuslav Křena and Tomáš Vojnar -- Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths / Rahul Purandare, Matthew B. Dwyer and Sebastian Elbaum -- Unbounded Symbolic Execution for Program Verification / Joxan Jaffar, Jorge A. Navas and Andrew E. Santosa -- Execution Trace Exploration and Analysis Using Ontologies / Newres Al Haider, Benoit Gaudin and John Murphy -- Monitoring Realizability / Rüdiger Ehlers and Bernd Finkbeiner -- Runtime Verification of Traces under Recording Uncertainty / Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky and Insup Lee.₉
Record Nr. NYU-004375279
[RV (Conference) (2nd : 2011 : San Francisco, Calif.)]  
Materiale a stampa
Lo trovi qui: New York University
Reliable software technologies-- Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings / Mats Brorsson, Luís Miguel Pinho (eds.).
Reliable software technologies-- Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings / Mats Brorsson, Luís Miguel Pinho (eds.).
Creatore [Ada-Europe International Conference on Reliable Software Technologies (17th : 2012 : Stockholm, Sweden)]
Estensione 1 online resource.
Disciplina 005
Accesso persona Brorsson, Mats
Pinho, Luís Miguel
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Programming Techniques
Mathematical Logic and Formal Languages
ISBN 9783642305986
3642305989
3642305970
9783642305979
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Ada Ravenscar Code Archetypes for Component-Based Development / Marco Panunzio and Tullio Vardanega -- An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications / Sergio Sáez, Jorge Real and Alfons Crespo -- Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA / Marisol García-Valls and Felipe Ibáñez-Vázquez -- Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 / José F. Ruiz, Cyrille Comar and Yannick Moy -- Teaching 'Concepts of Programming Languages' with Ada / Theodor Tempelmeier -- Designing the API for a Cryptographic Library / A Misuse-Resistant Application Programming Interface / Christian Forler, Stefan Lucks and Jakob Wenzel -- Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development / Patricia López Martínez and Tullio Vardanega -- An Approach to Model Checking Ada Programs / José Miguel Faria, João Martins and Jorge Sousa Pinto -- Formal Modelling for Ada Implementations: Tasking Event-B / Andrew Edmunds, Abdolbaghi Rezazadeh and Michael Butler -- Augmenting Formal Development with Use Case Reasoning / Alexei Iliasov -- Formal Goal-Oriented Development of Resilient MAS in Event-B / Inna Pereverzeva, Elena Troubitsyna and Linas Laibinis -- Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology / Pak-Lok Poon, Tsong Yueh Chen and T.H. Tse -- Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit / Kristoffer Nyborg Gregertsen and Amund Skavhaug -- Implementing and Verifying EDF Preemption-Level Resource Control / Mark Louis Fairbairn and Alan Burns -- Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems / Florian Pölzlbauer, Iain Bate and Eugen Brenner.
Record Nr. NYU-004375596
[Ada-Europe International Conference on Reliable Software Technologies (17th : 2012 : Stockholm, Sweden)]  
Materiale a stampa
Lo trovi qui: New York University
Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / John Derrick [and others] (eds.).
Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / John Derrick [and others] (eds.).
Creatore [International Conference on Integrated Formal Methods (9th : 2012 : Pisa, Italy)]
Estensione 1 online resource (xii, 360 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Derrick, John, 1963-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Programming Techniques
Algorithm Analysis and Problem Complexity
ISBN 9783642307294
3642307299
9783642307287
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Contribution to a Rigorous Analysis of Web Application Frameworks / Egon Börger, Antonio Cisternino and Vincenzo Gervasi -- Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management / Muffy Calder and Michele Sevegnani -- Translating TLA+ to B for Validation with ProB / Dominik Hansen and Michael Leuschel -- Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands / Brijesh Dongol and Ian J. Hayes -- Safety and Line Capacity in Railways -- An Approach in Timed CSP / Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen and Markus Roggenbach -- Refinement-Based Development of Timed Systems / Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos and Jüri Vain -- Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports / Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder and Naresh Ramaram -- Model Checking as Static Analysis: Revisited / Fuyuan Zhang, Flemming Nielson and Hanne Riis Nielson -- Formal Verification of Compiler Transformations on Polychronous Equations / Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic and Loïc Besnard -- Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples / Herbert Rocha, Raimundo Barreto, Lucas Cordeiro and Arilo Dias Neto -- MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis / Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe and Ilangko Balasingham -- Mechanized Extraction of Topology Anti-patterns in Wireless Networks / Matthias Woehrle, Rena Bakhshi and Mohammad Reza Mousavi -- A Proof Framework for Concurrent Programs / Leonard Lensink, Sjaak Smetsers and Marko van Eekelen -- A UTP Semantics of pGCL as a Homogeneous Relation / Riccardo Bresciani and Andrew Butterfield -- Behaviour-Based Cheat Detection in Multiplayer Games with Event-B / HaiYun Tian, Phillip J. Brooke and Anne-Gwenn Bosser -- Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems / Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere and Gheorghe Stefanescu -- Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B / Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis -- Partially-Supervised Plants: Embedding Control Requirements in Plant Components / Jasen Markovski, Dirk A. van Beek and Jos Baeten -- Early Fault Detection in Industry Using Models at Various Abstraction Levels / Jozef Hooman, Arjan J. Mooij and Hans van Wezep -- PE-KeY: A Partial Evaluator for Java Programs / Ran Ji and Richard Bubel -- Specification-Driven Unit Test Generation for Java Generic Classes / Francisco Rebello de Andrade, João P. Faria, Antónia Lopes and Ana C.R. Paiva -- Specifying UML Protocol State Machines in Alloy / Ana Garis, Ana C.R. Paiva, Alcino Cunha and Daniel Riesco -- Patterns for a Log-Based Strengthening of Declarative Compliance Models / Dennis M.M. Schunselaar, Fabrizio M. Maggi and Natalia Sidorova -- A Formal Interactive Verification Environment for the Plan Execution Interchange Language / Camilo Rocha, Héctor Cadavid, César Muñoz and Radu Siminiceanu.
Record Nr. NYU-004375876
[International Conference on Integrated Formal Methods (9th : 2012 : Pisa, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Reliable Software Technologies-- Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk (eds.).
Reliable Software Technologies-- Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk (eds.).
Creatore [Ada-Europe International Conference on Reliable Software Technologies (18th : 2013 : Berlin, Germany)]
Estensione 1 online resource (xii, 176 pages) : illustrations (black and white).
Disciplina 005.1
Accesso persona Keller, H. B. (Hubert B.), editor.
Plödereder, Hubert B., editor.
Dencker, Peter, editor
Klenk, Herbert, editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Software engineering
Logic design
Programming Languages, Compilers, Interpreters
Special Purpose and Application-Based Systems
Logics and Meanings of Programs
ISBN 9783642386015
3642386016
9783642386008
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Session: Multicore and Distributed Systems -- Experience with the Integration of Distribution Middleware into Partitioned Systems / Héctor Pérez, J. Javier Gutiérrez -- Tasklettes -- A Fine Grained Parallelism for Ada on Multicores / Stephen Michell, Brad Moore, Luís Miguel Pinho -- Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors / J. Reinier van Kampenhout, Robert Hilbrich -- Session: Ada and Spark -- A SPARK/Ada CubeSat Control Program / Carl Brandon, Peter Chapin -- Lady Ada Mediates Peace Treaty in Endianness War / Thomas Quinot, Eric Botcazou -- Session: Dependability -- Provably Secure DNS: A Case Study in Reliable Software / Barry Fagin, Martin Carlisle -- Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems / Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario -- Measuring the Odds of Statements Being Faulty / Xiaozhen Xue, Akbar Siami Namin -- Session: Real-Time Systems -- A Model-Based Framework for Developing Real-Time Safety Ada Systems / Emilio Salazar, Alejandro Alonso, Miguel A. de Miguel, Juan A. de la Puente -- Towards a Time-Composable Operating System / Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega -- Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software / Esteban Asensio, Ismael Lafoz, Andrew Coombes, Julian Navas.
Record Nr. NYU-004638138
[Ada-Europe International Conference on Reliable Software Technologies (18th : 2013 : Berlin, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.).
Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.).
Creatore [International Andrei Ershov Memorial Conference (8th : 2011 : Novosibirsk, Russia)]
Estensione 1 online resource (xiii, 410 pages).
Disciplina 004
Accesso persona Clarke, E. M., 1945-
Virbitskaite, Irina
Voronkov, A. (Andreĭ), 1959-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Logic design
Computer vision
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Algorithm Analysis and Problem Complexity
Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN 9783642297090
3642297099
3642297080
9783642297083
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Petri Net Distributability / Eike Best and Philippe Darondeau -- Connector Algebras, Petri Nets, and BIP / Roberto Bruni, Hernán Melgratti and Ugo Montanari -- Models of Provenance / (Abstract) / Peter Buneman -- End-to-End Guarantees in Embedded Control Systems / (Abstract) / Rupak Majumdar -- Mining Precise Specifications / (Abstract) / Andreas Zeller -- Detecting Entry Points in Java Libraries / Thomas Baar and Philipp Kumar -- Static Analysis of Run-Time Modes in Synchronous Process Network / Michael Beyer and Sabine Glesner -- Compositional Methods in Characterization of Timed Event Structures / Elena Bozhenkova -- Algorithmic Debugging of SQL Views / Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez -- Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction / Roman Dubtsov -- An Extensible System for Enhancing Social Conference Experience / Michael A.H. Fried, Anna Fensel, Federico Michele Facca and Dieter Fensel -- Exponential Acceleration of Model Checking for Perfect Recall Systems / Natalia O. Garanina -- Bootstrapping Compiler Generators from Partial Evaluators / Robert Glück -- A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences / Natalya S. Gribovskaya -- Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation / Geoff W. Hamilton and Neil D. Jones -- Secure Multi-execution in Haskell / Mauro Jaskelioff and Alejandro Russo -- Towards an Open Framework for C Verification Tools Benchmarking / Alexey Khoroshilov, Vadim Mutilin, Eugene Novikov, Pavel Shved and Alexander Strakh.
Solving Coverability Problem for Monotonic Counter Systems by Supercompilation / Andrei V. Klimov -- Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions / Ilya Klyuchnikov and Sergei A. Romanenko -- Symbolic Loop Bound Computation for WCET Analysis / Jens Knoop, Laura Kovács and Jakob Zwirchmayr -- GoRRiLA and Hard Reality / Konstantin Korovin and Andrei Voronkov -- Reachability in One-Dimensional Controlled Polynomial Dynamical Systems / Margarita Korovina and Nicolai Vorobjov -- Insertion Modeling System / Alexander A. Letichevsky, Olexandr A. Letychevskyi and Vladimir S. Peschanenko -- Decidability of Modular Logics for Concurrency / Radu Mardare -- Partial Evaluation of Janus Part 2: Assertions and Procedures / Torben Ægidius Mogensen -- Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems / Evgueni Petrov -- A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems / Andrey Ponomarenko and Vladimir Rubanov -- Weighted Lumpability on Markov Chains / Arpit Sharma and Joost-Pieter Katoen -- Development of the Computer Language Classification Knowledge Portal / Nikolay V. Shilov, Alexander A. Akinin, Alexey V. Zubkov and Renat I. Idrisov -- Justified Terminological Reasoning / Thomas Studer -- Implementing Conflict Resolution / Konstantin Korovin, Nestan Tsiskaridze and Andrei Voronkov -- Symbolic Tree Transducers / Margus Veanes and Nikolaj Bjørner -- Probabilistic Concepts in Formal Contexts / Alexander Demin, Denis Ponomaryov and Evgeny Vityaev.
Record Nr. NYU-004622888
[International Andrei Ershov Memorial Conference (8th : 2011 : Novosibirsk, Russia)]  
Materiale a stampa
Lo trovi qui: New York University
Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Achim D. Brucker, Jacques Julliand
Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Achim D. Brucker, Jacques Julliand
Creatore [TAP (Conference) (6th : 2012 : Prague, Czech Republic)]
Estensione 1 online resource.
Disciplina 005.1/4
Accesso persona Brucker, Achim D.
Julliand, Jacques
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Computer simulation
Programming Techniques
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Simulation and Modeling
ISBN 9783642304736
3642304737
3642304729
9783642304729
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Technology and Psychology of Testing Your Code as You Develop It / Andreas Kuehlmann -- Combining Model Checking and Symbolic Execution for Software Testing / Corina S. Păsăreanu -- From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap / Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo and Davide Balzarotti -- Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites / Valeria Bengolea, Nazareno Aguirre, Darko Marinov and Marcelo F. Frias -- A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest / Matthieu Carlier, Catherine Dubois and Arnaud Gotlieb -- Testing Library Specifications by Verifying Conformance Tests / Joseph R. Kiniry, Daniel M. Zimmerman and Ralph Hyland -- Incremental Model-Based Testing of Delta-Oriented Software Product Lines / Malte Lochau, Ina Schaefer, Jochen Kamischke and Sascha Lity -- Conformance Relations for Labeled Event Structures / Hernán Ponce de León, Stefan Haar and Delphine Longuet.
Test Generation from Recursive Tiles Systems / Sébastien Chédor, Thierry Jéron and Christophe Morvan -- Generation of Test Data Structures Using Constraint Logic Programming / Valerio Senni and Fabio Fioravanti -- Constructive Finite Trace Analysis with Linear Temporal Logic / Martin Sulzmann and Axel Zechner -- Towards Scenario-Based Testing of UML Diagrams / Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel and Martina Seidl, et al. -- Evaluating and Debugging OCL Expressions in UML Models / Jens Brüning, Martin Gogolla, Lars Hamann and Mirco Kuhlmann -- A Framework for the Specification of Random SAT and QSAT Formulas / Nadia Creignou, Uwe Egly and Martina Seidl -- A Lesson on Structural Testing with PathCrawler-online.com / Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger and Omar Chebaro -- Tutorial on Automated Structural Testing with PathCrawler (Extended Abstract) / Nikolai Kosmatov and Nicky Williams.
Record Nr. NYU-004623033
[TAP (Conference) (6th : 2012 : Prague, Czech Republic)]  
Materiale a stampa
Lo trovi qui: New York University
Programming languages and systems : 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / Matthias Felleisen, Philippa Gardner (eds.).
Programming languages and systems : 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / Matthias Felleisen, Philippa Gardner (eds.).
Creatore [European Symposium on Programming (22nd : 2013 : Rome, Italy)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Felleisen, Matthias
Gardner, Philippa
Accesso convegno ETAPS (Conference) (16th : 2013 : Rome, Italy)
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Software engineering
Programming Languages, Compilers, Interpreters
Programming Techniques
Logics and Meanings of Programs
ISBN 9783642370366
3642370365
3642370357
9783642370359
Classificazione 54.50
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talk. Distributed Electronic Rights in JavaScript / Mark S. Miller, Tom Van Cutsem, Bill Tulloh -- Session I: Programming Techniques. The Compiler Forest / Mihai Budiu, Joel Galenson, Gordon D. Plotkin -- Pretty-Big-Step Semantics / Arthur Charguéraud -- Language Constructs for Non-Well-Founded Computation / Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva -- Session II: Programming Tools. Laziness by Need / Stephen Chang -- FliPpr: A Prettier Invertible Printing System / Kazutaka Matsuda, Meng Wang -- Slicing-Based Trace Analysis of Rewriting Logic Specifications with i Julienne / María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña -- Why3 -- Where Programs Meet Provers / Jean-Christophe Filliâtre, Andrei Paskevich.
Session III: Separation Logic. Compositional Invariant Checking for Overlaid and Nested Linked Lists / Constantin Enea, Vlad Saveluc, Mihaela Sighireanu -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness / Ioannis T. Kassios, Eleftherios Kritikos -- Modular Reasoning about Separation of Concurrent Data Structures / Kasper Svendsen, Lars Birkedal, Matthew Parkinson -- Ribbon Proofs for Separation Logic / John Wickerson, Mike Dodds, Matthew Parkinson -- Session IV: Gradual Typing. Abstract Refinement Types / Niki Vazou, Patrick M. Rondon, Ranjit Jhala -- Constraining Delimited Control with Contracts / Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt -- Session V: Shared-Memory Concurrency and Verification. Verifying Concurrent Memory Reclamation Algorithms with Grace / Alexey Gotsman, Noam Rinetzky, Hongseok Yang -- Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels / Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer -- Verifying Concurrent Programs against Sequential Specifications / Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza.
Session VI: Process Calculi. On Distributability in Process Calculi / Kirstin Peters, Uwe Nestmann, Ursula Goltz -- Behavioral Polymorphism and Parametricity in Session-Based Communication / Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration / Bernardo Toninho, Luis Caires, Frank Pfenning -- Concurrent Flexible Reversibility / Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt -- Session VII: Taming Concurrency. Structural Lock Correlation with Ownership Types / Yi Lu, John Potter, Jingling Xue -- Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems / Joost-Peter Katoen, Doron Peled -- Session VIII: Model Checking and Verification. Model-Checking Higher-Order Programs with Recursive Types / Naoki Kobayashi, Atsushi Igarashi -- Counterexample-Guided Precondition Inference / Mohamed Nassim Seghir, Daniel Kroening -- Information Reuse for Multi-goal Reachability Analyses / Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith.
Session IX: Weak-Memory Concurrency and Verification. Quarantining Weakness / Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely -- Software Verification for Weak Memory via Program Transformation / Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig -- Checking and Enforcing Robustness against TSO / Ahmed Bouajjani, Egor Derevenetc, Roland Meyer -- Session X: Types, Inference, and Analysis. GADTs Meet Subtyping / Gabriel Scherer, Didier Rémy -- A Data Driven Approach for Algebraic Loop Invariants / Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori -- Automatic Type Inference for Amortised Heap-Space Analysis / Martin Hofmann, Dulma Rodriguez.
Record Nr. NYU-004627763
[European Symposium on Programming (22nd : 2013 : Rome, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced lectures / Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.).
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced lectures / Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.).
Creatore [International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)]
Estensione 1 online resource (179 pages) : illustrations (black and white).
Disciplina 004.01/51
Accesso persona Bernardo, Marco, editor
Vink, Erik de, editor
Di Pierro, Alessandra, editor
Wiklicky, Herbert, editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Software engineering
Logic design
Bioinformatics
Logics and Meanings of Programs
Computational Biology/Bioinformatics
Computation by Abstract Devices
ISBN 9783642388743
3642388744
9783642388736
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automation of Quantitative Information-Flow Analysis / Boris Köpf, Andrey Rybalchenko -- ODE Analysis of Biological Systems / Diana-Elena Gratie, Bogdan Iancu, Ion Petre -- Model Checking of Biological Systems / Luboš Brim, Milan Češka, David Šafránek -- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation / Luca Bortolussi, Jane Hillston -- Topological Quantum Computation / Jiannis K. Pachos.
Record Nr. NYU-004639080
[International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)]  
Materiale a stampa
Lo trovi qui: New York University