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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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.). |
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.)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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 |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
Lo trovi qui: New York University | |