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.
Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers / Farhad Arbab, Peter Csaba Ölveczky (eds.).
Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers / Farhad Arbab, Peter Csaba Ölveczky (eds.).
Creatore [FACS (Symposium) (8th : 2011 : Oslo, Norway)]
Estensione 1 online resource (x, 367 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Arbab, F. (Farhad)
Ölveczky, Peter Csaba
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Information Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
ISBN 9783642357435
3642357431
364227269X
9783642272691
3642357423
9783642357428
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Taming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A Denotational Model for Component-Based Risk Analysis -- Synthesis of Hierarchical Systems -- A Modal Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles in Maude -- Interactive Transformations from Object-Oriented Models to Component-Based Models -- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components -- Timed Conformance Testing for Orchestrated Service Discovery -- Realizability of Choreographies for Services Interacting Asynchronously -- Networks of Real-Time Actors: Schedulability Analysis and Coordination -- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios -- The Logic of XACML -- A Proof Assistant Based Formalization of MDE Components -- Controlling an Iteration-Wise Coherence in Dataflow -- Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation -- Verifying Safety of Fault-Tolerant Distributed Components -- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques -- Bigraphical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines -- Verifying Temporal Properties of Use-Cases in Natural Language.
Record Nr. NYU-004389659
[FACS (Symposium) (8th : 2011 : Oslo, Norway)]  
Materiale a stampa
Lo trovi qui: New York University
Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers / Bernhard Beckert [and others] (eds.).
Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers / Bernhard Beckert [and others] (eds.).
Creatore [FMCO 2011 (2011 : Turin, Italy)]
Estensione 1 online resource.
Disciplina 004.01/51
Accesso persona Beckert, Bernhard
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Information Systems Applications (incl. Internet)
ISBN 9783642358876
364235887X
9783642358869
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The ASCENS Project -- ASCENS: Engineering Autonomic Service-Component Ensembles / Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli -- A Language-Based Approach to Autonomic Computing / Rocco De Nicola, Gianluigi Ferrari, Michele Loreti, Rosario Pugliese -- A Survey on Basic Connectors and Buffers / Roberto Bruni, Hernán Melgratti, Ugo Montanari -- The EternalS Coordination Action -- Synthesis-Based Variability Control: Correctness by Construction / Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen -- Modeling Application-Level Management of Virtualized Resources in ABS / Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa -- HATS Abstract Behavioral Specification: The Architectural View / Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt.
Automatic Service Categorisation through Machine Learning in Emergent Middleware / Amel Bennaceur, Valérie Issarny, Richard Johansson, Alessandro Moschitti -- Towards a Model- and Learning-Based Framework for Security Anomaly Detection / Matthias Gander, Basel Katt, Michael Felderer, Ruth Breu -- Enhancing Model Driven Security through Pattern Refinement Techniques / Basel Katt, Matthias Gander, Ruth Breu, Michael Felderer -- Project Zeppelin: A Modern Web Application Development Framework / Leigh Griffin, Peter Elger, Eamonn de Leastar -- The ParaPhrase Project -- Managing Adaptivity in Parallel Systems / Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini -- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems / Kevin Hammond, Marco Aldinucci, Christopher Brown, Francesco Cesarini, Marco Danelutto.
Paraphrasing: Generating Parallel Programs Using Refactoring / Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner -- An Abstract Annotation Model for Skeletons / Marco Aldinucci, Sonia Campa, Peter Kilpatrick, Fabio Tordini, Massimo Torquati -- The PRO3D Project -- PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status / Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza -- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems / Lars Schor, Hoeseok Yang, Iuliana Bacivarov, Lothar Thiele -- Component Assemblies in the Context of Manycore / Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari -- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints / Sylvain Durand, Suzanne Lesecq, Edith Beigné, Christian Fabre, Lionel Vincent.
Record Nr. NYU-004389901
[FMCO 2011 (2011 : Turin, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Creatore [RV (Conference) (3rd : 2012 : Istanbul, Turkey)]
Estensione 1 online resource.
Disciplina 005.1/4
Accesso persona Qadeer, Shaz
Tasiran, Serdar
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642356322
364235632X
3642356311
9783642356315
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Dynamic Analyses for Data-Race Detection / John Erickson, Stephen Freund, Madanlal Musuvathi -- Symbolic Execution / Cristian Cadar, Koushik Sen -- Dynamic Livelock Analysis of Multi-threaded Programs / Malay K. Ganai -- Scalable Dynamic Partial Order Reduction / Jiri Simsa, Randy Bryant, Garth Gibson, Jason Hickey -- ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level / Jan Fiedor, Tomáš Vojnar -- PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors / Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor -- It's the End of the World as We Know It (And I Feel Fine) / Jim R. Larus -- Detecting Unread Memory Using Dynamic Binary Translation / Jon Eyolfson, Patrick Lam -- Sparse Coding for Specification Mining and Error Localization / Wenchao Li, Sanjit A. Seshia -- Sliding between Model Checking and Runtime Verification / Martin Leucker.
Runtime Verification and Enforcement for Android Applications with RV-Droid / Yliès Falcone, Sebastian Currea, Mohamad Jaber -- Temporal Monitors for TinyOS / Doina Bucur -- Real-Time Runtime Verification on Chip / Thomas Reinbacher, Matthias Függer, Jörg Brauer -- BabelTrace: A Collection of Transducers for Trace Validation / Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet -- Quantitative Trace Analysis Using Extended Timing Diagrams / Andreas Richter, Klaus Kabitzsch -- Maximal Causal Models for Sequentially Consistent Systems / Traian Florin Şerbănuţă, Feng Chen, Grigore Roşu -- Monitoring Compliance Policies over Incomplete and Disagreeing Logs / David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu -- Adaptive Runtime Verification / Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka -- Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications / Giovanni Vigna -- MapReduce for Parallel Trace Validation of LTL Properties / Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin.
Path-Aware Time-Triggered Runtime Verification / Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister -- Fast-Forward Runtime Monitoring -- An Industrial Case Study / Christian Colombo, Gordon J. Pace -- Runtime Enforcement of Timed Properties / Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand -- Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic / Kevin Baldor, Jianwei Niu -- Rewrite-Based Statistical Model Checking of WMTL / Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay -- From Runtime Verification to Runtime Intervention and Adaptation / Martin Rinard -- Certifying Solutions for Numerical Constraints / Eva Darulova, Viktor Kuncak -- Profiling Field Initialisation in Java / Stephen Nelson, David J. Pearce, James Noble -- Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation / Benjamin D. Rodes, Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight -- Incremental Runtime Verification of Probabilistic Systems / Vojtěch Forejt, Marta Kwiatkowska, David Parker, Hongyang Qu.
Record Nr. NYU-004390118
[RV (Conference) (3rd : 2012 : Istanbul, Turkey)]  
Materiale a stampa
Lo trovi qui: New York University
Assurances for self-adaptive systems : principles, models, and techniques / Javier Cámara [and others] (eds.).
Assurances for self-adaptive systems : principles, models, and techniques / Javier Cámara [and others] (eds.).
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Cámara, Javier
Genere/Forma Electronic books
Llibres electrònics
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Logics and Meanings of Programs
ISBN 9783642362491
3642362494
3642362486
9783642362484
Classificazione 54.21
54.31
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formal Verification -- Model Checking Adaptive Software with Featured Transition Systems / Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens -- Probabilistic Verification at Runtime for Self-Adaptive Systems / Antonio Filieri, Giordano Tamburrelli -- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud / Gwen Salaün, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye -- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures / Florian Nafz, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif -- Timed Hazard Analysis of Self-healing Systems / Claudia Priesterjahn, Dominik Steenken, Matthias Tichy -- Models and Middleware -- Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML / Holger Giese, Wilhelm Schäfer -- Model-Based Reasoning for Self-Adaptive Systems -- Theory and Practice / Gerald Steinbauer, Franz Wotawa -- Achieving Self-adaptation through Dynamic Group Management / Luciano Baresi, Sam Guinea, Panteha Saeedi -- Failure Prediction -- Accurate Proactive Adaptation of Service-Oriented Systems / Andreas Metzger, Osama Sammodi, Klaus Pohl -- Failure Avoidance in Configurable Systems through Feature Locality / Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer -- Assurance Techniques -- Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software / Radu Calinescu -- Assurance of Self-adaptive Controllers for the Cloud / Alessio Gambi, Giovanni Toffetti, Mauro Pezzè.
Record Nr. NYU-004390151
Materiale a stampa
Lo trovi qui: New York University
ECOOP 2013-- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings / Giuseppe Castagna (ed.).
ECOOP 2013-- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings / Giuseppe Castagna (ed.).
Creatore [ECOOP (Conference) (27th : 2013 : Montpellier, France)]
Estensione 1 online resource (xxi, 746 pages) : illustrations.
Disciplina 005.1/17
Accesso persona Castagna, Giuseppe, 1966-editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Programming Techniques
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
ISBN 9783642390388
3642390382
9783642390371
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Aspects, Components, and Modularity. CoCo: Sound and Adaptive Replacement of Java Collections / Guoqing Xu -- Feature-Oriented Programming with Object Algebras / Bruno C. d. S. Oliveira [and others] -- Composition and Reuse with Compiled Domain-Specific Languages / Arvind K. Sujeeth [and others] -- Types. Combining Form and Function: Static Types for JQuery Programs / Benjamin S. Lerner [and others] -- Heap Decomposition Inference with Linear Programming / Haitao Steve Zhu, Yu David Liu -- A Formal Semantics for Isorecursive and Equirecursive State Abstractions / Alexander J. Summers, Sophia Drossopoulou -- Language Design. Trustworthy Proxies / Tom Van Cutsem, Mark S. Miller -- Java UI : Effects for Controlling UI Object Access / Colin S. Gordon [and others] -- The Billion-Dollar Fix / Marco Servetto [and others].
Concurrency, Parallelism, and Distribution. Implementing Federated Object Systems / Tobias Freudenreich [and others] -- RedCard: Redundant Check Elimination for Dynamic Race Detectors / Cormac Flanagan, Stephen N. Freund -- Ownership-Based Isolation for Concurrent Actors on Multi-core Machines / Olivier Gruber, Fabienne Boyer -- Why Do Scala Developers Mix the Actor Model with other Concurrency Models? / Samira Tasharofi, Peter Dinges, Ralph E. Johnson -- Analysis and Verification 1. Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library / Kasper Svendsen, Lars Birkedal, Matthew Parkinson -- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine / Danilo Ansaloni [and others] -- Averroes: Whole-Program Analysis without the Whole Program / Karim Ali, Ondřej Lhoták -- Analysis and Verification 2. QUIC Graphs: Relational Invariant Generation for Containers / Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan -- Reducing Lookups for Invariant Checking / Jakob G. Thomsen [and others] -- Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions / Stefan Heule [and others].
Modelling and Refactoring. Really Automatic Scalable Object-Oriented Reengineering / Marco Trudel [and others] -- Detecting Refactored Clones / Mati Shomrat, Yishai A. Feldman -- A Compositional Paradigm of Automating Refactorings / Mohsen Vakilian [and others] -- A Comparative Study of Manual and Automated Refactorings / Stas Negara [and others] -- Testing, Profiling, and Empirical Studies. What Programmers Do with Inheritance in Java / Ewan Tempero, Hong Yul Yang, James Noble -- Is This a Bug or an Obsolete Test? / Dan Hao [and others] -- Systematic Testing of Refactoring Engines on Real Software Projects / Milos Gligoric [and others] -- Implementation. Simple Profile Rectifications Go a Long Way / Bo Wu [and others] -- The Shape of Things to Run / Josh Auerbach [and others] -- Higher-Order Reactive Programming with Incremental Lists / Ingo Maier, Martin Odersky.
Record Nr. NYU-004420407
[ECOOP (Conference) (27th : 2013 : Montpellier, France)]  
Materiale a stampa
Lo trovi qui: New York University
Software architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings / Khalil Drira (ed.).
Software architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings / Khalil Drira (ed.).
Creatore [ECSA (Conference) (7th : 2013 : Montpellier, France)]
Estensione 1 online resource (xvi, 354 pages) : illustrations.
Disciplina 005.1/2
Accesso persona Drira, Khalil, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Information Systems
Logics and Meanings of Programs
Management of Computing and Information Systems
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters
ISBN 9783642390319
3642390315
9783642390302
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Architectural and Design Patterns and Models. Composition-Centered Architectural Pattern Description Language / Minh Tu Ton That [and others] -- Software Reference Architectures -- Exploring Their Usage and Design in Practice / Samuil Angelov, Jos Trienekens, Rob Kusters -- Concurrent Object-Oriented Development with Behavioral Design Patterns / Benjamin Morandi [and others] -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement / Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem -- Towards an Architecture for Managing Big Semantic Data in Real-Time / Carlos E. Cuesta, Miguel A. Martínez-Prieto, Javier D. Fernández -- Controlled Experiment on the Supportive Effect of Architectural Component Diagrams for Design Understanding of Novice Architects / Thomas Haitzer, Uwe Zdun.
ADLs and Architectural MetaModels. Software Architecture Documentation for Developers: A Survey / Dominik Rost [and others] -- Analysis Support for TADL2 Timing Constraints on EAST-ADL Models / Arda Goknil [and others] -- SysADL: A SysML Profile for Software Architecture Description / Jair Leite, Flávio Oquendo, Thais Batista -- A Lightweight Language for Software Product Lines Architecture Description / Eduardo Silva [and others] -- Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs / Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel.
Architectural Design Decision-Making. Classification of Design Decisions -- An Expert Survey in Practice / Cornelia Miesbauer, Rainer Weinreich -- Team Situational Awareness and Architectural Decision Making with the Software Architecture Warehouse / Marcin Nowak, Cesare Pautasso -- Architectural Decision-Making in Enterprises: Preliminary Findings from an Exploratory Study in Norwegian Electricity Industry / Mohsen Anvaari, Reidar Conradi, Letizia Jaccheri -- Making the Right Decision: Supporting Architects with Design Decision Data / Jan Salvador van der Ven, Jan Bosch -- Architecture-Centric Modeling of Design Decisions for Validation and Traceability / Martin Küster -- Difficulty of Architectural Decisions -- A Survey with Professional Architects / Dan Tofan, Matthias Galster, Paris Avgeriou.
Software Architecture Conformance and Quality. The Role of Quality Attributes in Service-Based Systems Architecting: A Survey / David Ameller [and others] -- Maintaining Architectural Conformance during Software Development: A Practical Approach / Claire Dimech, Dharini Balasubramaniam -- Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations / Ioanna Lytra, Huy Tran, Uwe Zdun -- PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker / Lakshitha de Silva, Dharini Balasubramaniam.
Architectural Repair and Adaptation. Claims and Evidence for Architecture-Based Self-adaptation: A Systematic Literature Review / Danny Weyns, Tanvir Ahmad -- Towards an Optimized Software Architecture for Component Adaptation at Middleware Level / Thomas Pramsohler, Simon Schenk, Uwe Baumgarten -- Run-Time Support to Manage Architectural Variability Specified with CVL / Gustavo G. Pascual, Mónica Pinto, Lidia Fuentes -- Towards Extensive Software Architecture Erosion Repairs / Matthias Mair, Sebastian Herold.
Short Papers. Benefits and Drawbacks of Reference Architectures / Silverio Martínez-Fernández [and others] -- Swap Fairness for Thrashing Mitigation / François Goichon, Guillaume Salagnac, Stéphane Frénot -- Architectural Slicing: Towards Automatic Harvesting of Architectural Prototypes / Henrik Bærbak Christensen, Klaus Marius Hansen -- Describing Cloud Applications Architectures / Everton Cavalcante, Ana Luisa Medeiros, Thais Batista -- MVIC -- An MVC Extension for Interactive, Multimodal Applications / Marc Hesenius, Volker Gruhn -- Toward Industry Friendly Software Architecture Evaluation / Zhao Li, Jiang Zheng.
Towards Continuous Reference Architecture Conformance Analysis / Georg Buchgeher, Rainer Weinreich -- Towards Automated Deployment of Distributed Adaptation Systems / Mohamed Zouari, Ismael Bouassida Rodriguez -- Towards a Bigraph-Based Model for Context-Aware Adamptive Systems / Taha Abdelmoutaleb Cherfia, Faïza Belala -- Characterising Software Platforms from an Architectural Perspective / Ulrik Eklund, Carl Magnus Olsson, Marcus Ljungblad -- Specifying System Architecture from SysML Requirements and Component Interfaces / Samir Chouali, Oscar Carrillo, Hassan Mountassir.
Record Nr. NYU-004420408
[ECSA (Conference) (7th : 2013 : Montpellier, France)]  
Materiale a stampa
Lo trovi qui: New York University
NASA formal methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / Alwyn E. Goodloe, Suzette Person (eds.).
NASA formal methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / Alwyn E. Goodloe, Suzette Person (eds.).
Creatore [NFM 2012 (2012 : Norfolk, Va.)]
Estensione 1 online resource (xii, 466 pages).
Disciplina 005.13/1
Accesso persona Goodloe, Alwyn E.
Person, Suzette
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Operating systems (Computers)
Logic design
Programming Languages, Compilers, Interpreters
Operating Systems
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Programming Techniques
ISBN 9783642288913
364228891X
9783642288906
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto SMT-Based Model Checking / Cesare Tinelli -- Verified Software Toolchain / Andrew W. Appel -- Formal Verification by Abstract Interpretation / Patrick Cousot -- Quantitative Timed Analysis of Interactive Markov Chains / Dennis Guck, Tingting Han, Joost-Pieter Katoen and Martin R. Neuhäußer -- Lessons Learnt from the Adoption of Formal Model-Based Development / Alessio Ferrari, Alessandro Fantechi and Stefania Gnesi -- Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines / Karolina Zurowska and Juergen Dingel -- Inferring Definite Counterexamples through Under-Approximation / Jörg Brauer and Axel Simon -- Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging / Ross Gore and Paul F. Reynolds -- Rigorous Polynomial Approximation Using Taylor Models in Coq / Nicolas Brisebarre, Mioara Joldeş, Érik Martin-Dorel, Micaela Mayero and Jean-Michel Muller, et al. -- Enhancing the Inverse Method with State Merging / Étienne André, Laurent Fribourg and Romain Soulat -- Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages / Alexander Herz and Kalmer Apinis -- Testing Static Analyzers with Randomly Generated Programs / Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto and John Regehr, et al. -- Compositional Verification of Architectural Models / Darren Cofer, Andrew Gacek, Steven Miller, Michael W. Whalen and Brian LaValley, et al. -- A Safety Case Pattern for Model-Based Development Approach / Anaheed Ayoub, BaekGyu Kim, Insup Lee and Oleg Sokolsky.
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL / Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche and Eric Feron, et al. -- Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements / (Preliminary Results) / Wenbin Li, Jane Huffman Hayes and Mirosław Truszczyński -- Some Steps into Verification of Exact Real Arithmetic / Norbert Th. Müller and Christian Uhrhan -- Runtime Verification Meets Android Security / Andreas Bauer, Jan-Christoph Küster and Gil Vegliach -- Specification in PDL with Recursion / Xinxin Liu and Bingtian Xue -- Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study / Aditi Tagore, Diego Zaccai and Bruce W. Weide -- Sound Formal Verification of Linux's USB BP Keyboard Driver / Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs and Frank Piessens -- Learning Markov Models for Stationary System Behaviors / Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen and Kim Guldstrand Larsen, et al. -- The Use of Rippling to Automate Event-B Invariant Preservation Proofs / Yuhui Lin, Alan Bundy and Gudmund Grov -- Thread-Modular Model Checking with Iterative Refinement / Wenrui Meng, Fei He, Bow-Yaw Wang and Qiang Liu -- Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs / Jiři Barnat, Luboš Brim and Petr Ročkai -- Integrating Statechart Components in Polyglot / Daniel Balasubramanian, Corina S. Păsăreanu, Jason Biatek, Thomas Pressburger and Gabor Karsai, et al.
Using PVS to Investigate Incidents through the Lens of Distributed Cognition / Paolo Masci, Huayi Huang, Paul Curzon and Michael D. Harrison -- Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms / Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi and Silvio Ranise -- Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems / Jason Belt, Robby, Patrice Chalin, John Hatcliff and Xianghua Deng -- Generating Verifiable Java Code from Verified PVS Specifications / Leonard Lensink, Sjaak Smetsers and Marko van Eekelen -- Belief Bisimulation for Hidden Markov Models / Logical Characterisation and Decision Algorithm / David N. Jansen, Flemming Nielson and Lijun Zhang -- Abstract Model Repair / George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka and Panagiotis Katsaros -- CLSE: Closed-Loop Symbolic Execution / Rupak Majumdar, Indranil Saha, K.C. Shashidhar and Zilong Wang -- On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols / Michael Backes, Alex Busenius and Cătălin Hrițcu -- Incremental Verification with Mode Variable Invariants in State Machines / Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli and Mike Whalen -- A Semantic Analysis of Wireless Network Security Protocols / Damiano Macedonio and Massimo Merro -- Runtime Verification with Predictive Semantics / Xian Zhang, Martin Leucker and Wei Dong -- A Case Study in Verification of Embedded Network Software / Kalyan C. Regula, Hampton Smith, Heather Harton Keown, Jason O. Hallstrom and Nigamanth Sridhar, et al. -- Checking and Distributing Statistical Model Checking / Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay and Marius Mikučionis, et al.
Record Nr. NYU-004622307
[NFM 2012 (2012 : Norfolk, Va.)]  
Materiale a stampa
Lo trovi qui: New York University
Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.).
Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.).
Creatore [International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Eleftherakis, George
Hinchey, Michael G. (Michael Gerard), 1969-
Holcombe, W. M. L. (William Michael Lloyd), 1944-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642338267
3642338267
9783642338250
3642338259
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Abstraction as a Unifying Link for Formal Approaches to Concurrency / Cliff B. Jones -- A Rule-Based and Imperative Language for Biochemical Modeling and Simulation / Đurica Nikolić, Corrado Priami and Roberto Zunino -- Sound Control-Flow Graph Extraction for Java Programs with Exceptions / Afshin Amighi, Pedro de C. Gomes, Dilian Gurov and Marieke Huisman -- Checking Sanity of Software Requirements / Jiří Barnat, Petr Bauch and Luboš Brim -- TVAL+ : TVLA and Value Analyses Together / Pietro Ferrara, Raphael Fuchs and Uri Juhasz -- A Systematic Approach to Atomicity Decomposition in Event-B / Asieh Salehi Fathabadi, Michael Butler and Abdolbaghi Rezazadeh -- Compositional Reasoning about Shared Futures / Crystal Chang Din, Johan Dovland and Olaf Owe -- Verification of Aspectual Composition in Feature-Modeling / Qinglei Zhang, Ridha Khedri and Jason Jaskolka -- A Denotational Model for Instantaneous Signal Calculus / Yongxin Zhao, Longfei Zhu, Huibiao Zhu and Jifeng He.
A Timed Mobility Semantics Based on Rewriting Strategies / Gabriel Ciobanu, Maciej Koutny and Jason Steggles -- Towards a Formal Component Model for the Cloud / Roberto Di Cosmo, Stefano Zacchiroli and Gianluigi Zavattaro -- The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs / Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin and Zongyan Qiu -- Completing the Automated Verification of a Small Hypervisor -- Assembler Code Verification / Wolfgang Paul, Sabine Schmaltz and Andrey Shadrin -- A Configuration Approach for IMA Systems / Visar Januzaj, Stefan Kugele, Florian Biechele and Ralf Mauersberger -- polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries / Christian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon J. Pace -- Frama-C / A Software Analysis Perspective / Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto and Julien Signoles, et al. -- An Optimization Approach for Effective Formalized fUML Model Checking / Islam Abdelhalim, Steve Schneider and Helen Treharne.
Efficient Probabilistic Abstraction for SysML Activity Diagrams / Samir Ouchani, Otmane Ait Mohamed and Mourad Debbabi -- ML Dependency Analysis for Assessors / Philippe Ayrault, Vincent Benayoun, Catherine Dubois and François Pessaux -- An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms / Raluca Lefticaru and Florentin Ipate -- Securely Accessing Shared Resources with Concurrent Constraint Programming / Stefano Bistarelli and Francesco Santini -- A Practical Approach for Closed Systems Formal Verification Using Event-B / Brett Bicknell, Jose Reis, Michael Butler, John Colley and Colin Snook -- Extensible Specifications for Automatic Re-use of Specifications and Proofs / Daniel Matichuk and Toby Murray -- Implementing Tactics of Refinement in CRefine / Madiel Conserva Filho and Marcel Vinicius Medeiros Oliveira -- JSXM: A Tool for Automated Test Generation / Dimitris Dranidis, Konstantinos Bratanis and Florentin Ipate -- A Low-Overhead, Value-Tracking Approach to Information Flow Security / Kostyantyn Vorobyov, Padmanabhan Krishnan and Phil Stocks.
Record Nr. NYU-004624987
[International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)]  
Materiale a stampa
Lo trovi qui: New York University
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday / Alexander Artikis [and others] (eds.).
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday / Alexander Artikis [and others] (eds.).
Estensione 1 online resource (xx, 424 pages) : color portraits.
Disciplina 005.1/15
Accesso persona Artikis, Alexander
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Mathematical Logic and Formal Languages
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs
ISBN 9783642294143
3642294146
9783642294136
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Marek Sergot: A Memoir / Trevor Bench-Capon -- The Scientific Contribution of Marek Sergot / Steve Barker, Andrew J.I. Jones, Antonis Kakas, Robert A. Kowalski and Alessio Lomuscio, et al. -- Teleo-Reactive Abductive Logic Programs / Robert A. Kowalski and Fariba Sadri -- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties / Paolo Mancarella and Francesca Toni -- What Is Negation as Failure? / Dov M. Gabbay -- The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic / Dario Della Monica, Angelo Montanari and Pietro Sala -- Argumentation and the Event Calculus / Evgenios Hadjisoteriou and Antonis Kakas -- Reactive Event Calculus for Monitoring Global Computing Applications / Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali and Paolo Torroni -- Reasoning about the Intentions of Agents / Justin Blount and Michael Gelfond -- Symbolic Model Checking for Temporal-Epistemic Logic / Alessio Lomuscio and Wojciech Penczek -- GOAL Agents Instantiate Intention Logic / Koen V. Hindriks, Wiebe van der Hoek and John-Jules Ch. Meyer -- Open Texture and Argumentation: What Makes an Argument Persuasive? / Trevor Bench-Capon -- Irrationality in Persuasive Argumentation / Paul E. Dunne -- Some Reflections on Two Current Trends in Formal Argumentation / Henry Prakken -- On the Representation of Normative Sentences in FOL / Andrew J.I. Jones and Steven O. Kimbrough -- Why Be Afraid of Identity? / Comments on Sergot and Prakken's Views / Xavier Parent -- Deon+: Abduction and Constraints for Normative Reasoning / Marco Alberti, Marco Gavanelli and Evelina Lamma -- Contrary-To-Duties in Games / Paolo Turrini, Xavier Parent, Leendert van der Torre and Silvano Colombo Tosatto -- Logical Approaches to Authorization Policies / Steve Barker -- Decentralized Governance of Distributed Systems via Interaction Control / Naftaly H. Minsky -- Managing User-Generated Content as a Knowledge Commons / Jeremy Pitt.
Record Nr. NYU-004622764
Materiale a stampa
Lo trovi qui: New York University
Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings / Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings / Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
Creatore [DCFS (Workshop) (14th : 2012 : Braga, Portugal)]
Estensione 1 online resource (x, 318 pages) : illustrations.
Disciplina 005.13/1
Accesso persona Kutrib, Martin
Moreira, Nelma
Reis, Rogério
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Logic design
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
ISBN 9783642316234
3642316239
3642316220
9783642316227
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computing with Capsules / Jean-Baptiste Jeannin and Dexter Kozen -- Minicomplexity / Christos A. Kapoutsis -- Logical Analysis of Hybrid Systems: A Complete Answer to a Complexity Challenge / André Platzer -- Groups and Automata: A Perfect Match / Pedro V. Silva -- Uniform Distributed Pushdown Automata Systems / Fernando Arroyo, Juan Castellanos and Victor Mitrana -- Removing Nondeterminism in Constant Height Pushdown Automata / Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti and Beatrice Palano -- On Inverse Operations and Their Descriptional Complexity / Maria Paola Bianchi, Markus Holzer, Sebastian Jakobi and Giovanni Pighizzini -- Deciding Representability of Sets of Words of Equal Length / Francine Blanchet-Sadri and Sean Simmons -- Syntactic Complexities of Some Classes of Star-Free Languages / Janusz Brzozowski and Baiyu Li -- Randomness Behaviour in Blum Universal Static Complexity Spaces / Cezar Câmpeanu -- Production Complexity of Some Operations on Context-Free Languages / Jürgen Dassow and Ronny Harbich -- State Complexity of Star and Square of Union of k Regular Languages / Yuan Gao and Lila Kari -- State Complexity of Chop Operations on Unary and Finite Languages / Markus Holzer and Sebastian Jakobi -- On the Number of Nonterminal Symbols in Unambiguous Conjunctive Grammars / Artur Jeż and Alexander Okhotin -- Descriptional Complexity of Biautomata / Galina Jirásková and Ondřej Klíma -- Descriptional Complexity of Pushdown Store Languages / Andreas Malcher, Katja Meckel, Carlo Mereghetti and Beatrice Palano -- On Internal Contextual Grammars with Subregular Selection Languages / Florin Manea and Bianca Truthe -- An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets / Alexander Meduna, Lukáš Vrábel and Petr Zemek -- Centralized PC Systems of Pushdown Automata versus Multi-head Pushdown Automata / Friedrich Otto -- State Complexity and Limited Nondeterminism / Alexandros Palioudakis, Kai Salomaa and Selim G. Akl -- Bounded Counter Languages / Holger Petersen -- State Complexity of Projection and Quotient on Unranked Trees / Xiaoxue Piao and Kai Salomaa -- Iterating Invertible Binary Transducers / Klaus Sutner and Kevin Lewi -- Minimal DFA for Symmetric Difference NFA / Brink van der Merwe, Hellis Tamm and Lynette van Zijl.
Record Nr. NYU-004623627
[DCFS (Workshop) (14th : 2012 : Braga, Portugal)]  
Materiale a stampa
Lo trovi qui: New York University