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
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
Evaluation of novel approaches to software engineering : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised selected papers / Leszek A. Maciaszek, Joaquim Filipe (eds.).
Evaluation of novel approaches to software engineering : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised selected papers / Leszek A. Maciaszek, Joaquim Filipe (eds.).
Creatore [ENASE (Conference) (7th : 2012 : Warsaw, Poland)]
Estensione 1 online resource (viii, 171 pages).
Disciplina 005.1
Accesso persona Maciaszek, Leszek, editor
Filipe, Joaquim, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
ISBN 9783642454226
3642454224
3642454216
9783642454219
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Papers. Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage / TheAnh Do, A.C.M. Fong and Russel Pears -- Using Roles as Units of Composition / Fernando Barbosa and Ademar Aguiar -- Extending Service Selection Algorithms with Interoperability Analysis / Paweł Kaczmarek -- Correlation of Business Activities Executed in Legacy Information Systems / Ricardo Pérez-Castillo, Barbara Weber and Mario Piattini -- Detection of Infeasible Paths: Approaches and Challenges / Sun Ding and Hee Beng Kuan Tan -- A Formal Monitoring Technique for SIP Conformance Testing / Xiaoping Che, Felipe Lalanne and Stephane Maag -- Unified Modeling of Static Relationships between Program Elements / Ioana Şora -- Social Adaptation at Runtime / Raian Ali, Carlos Solis, Inah Omoronyia, Mazeiar Salehie and Bashar Nuseibeh -- An Agent Oriented Development Process for Multimedia Systems, / Alma M. Gómez-Rodríguez, Juan Carlos González-Moreno, David Ramos-Valcárcel [and others] -- A Semi-automated Approach towards Handling Inconsistencies in Software Requirements / Richa Sharma and K.K. Biswas -- Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications / Radosław Klimek.
Record Nr. NYU-004442654
[ENASE (Conference) (7th : 2012 : Warsaw, Poland)]  
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
Formal modeling and analysis of timed systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / Marcin Jurdziński, Dejan Ničković (eds.).
Formal modeling and analysis of timed systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / Marcin Jurdziński, Dejan Ničković (eds.).
Creatore [FORMATS (Conference) (10th : 2012 : London, England)]
Estensione 1 online resource : illustrations (chiefly color).
Disciplina 003/.3
Accesso persona Jurdziński, Marcin
Ničković, Dejan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Logic design
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Programming Techniques
Algorithm Analysis and Problem Complexity
ISBN 9783642333651
3642333656
9783642333644
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems (Extended Abstract) / Twan Basten, Martijn Hendriks, Lou Somers and Nikola Trčka -- Statistical Model Checking, Refinement Checking, Optimization ... for Stochastic Hybrid Systems / Kim G. Larsen -- Robustness of Time Petri Nets under Architectural Constraints / S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime and Olivier H. Roux -- Toward a Timed Theory of Channel Coding / Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre and Dominique Perrin -- Playing Optimally on Timed Automata with Random Delays / Nathalie Bertrand and Sven Schewe -- Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems / Rebekah Carter and Eva M. Navarro-López -- Revisiting Timed Specification Theories: A Linear-Time Perspective / Chris Chilton, Marta Kwiatkowska and Xu Wang -- Multi-core Reachability for Timed Automata / Andreas E. Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen and Jaco van de Pol -- Counterexample-Guided Synthesis of Observation Predicates / Rayna Dimitrova and Bernd Finkbeiner -- Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems / Christian Ellen, Sebastian Gerwinn and Martin Fränzle -- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition / Hamed Ghasemieh, Anne Remke, Boudewijn Haverkort and Marco Gribaudo -- Reducing Quasi-Equal Clocks in Networks of Timed Automata / Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz and Andreas Podelski -- SMT-Based Induction Methods for Timed Systems / Roland Kindermann, Tommi Junttila and Ilkka Niemelä -- Timed Automata with Disjoint Activity / Marco Muñiz, Bernd Westphal and Andreas Podelski -- The Complexity of Bounded Synthesis for Timed Control with Partial Observability / Hans-Jörg Peter and Bernd Finkbeiner -- Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics / Jonas Rinast and Sibylle Schupp -- Frequencies in Forgetful Timed Automata / Amélie Stainer -- Mcta: Heuristics and Search for Timed Systems / Martin Wehrle and Sebastian Kupferschmid.
Record Nr. NYU-004624529
[FORMATS (Conference) (10th : 2012 : London, England)]  
Materiale a stampa
Lo trovi qui: New York University
Adiabatic logic : future trend and system level perspective / Philip Teichmann
Adiabatic logic : future trend and system level perspective / Philip Teichmann
Creatore [Teichmann, Philip]
Estensione 1 online resource (xvii, 166 pages).
Disciplina 621.39/5
Genere/Forma Electronic books
Soggetto non controllato Physics
Logic design
Electronics
Systems engineering
Electronic Circuits and Devices
Electronics and Microelectronics, Instrumentation
ISBN 9789400723450
9400723458
940072344X
9789400723443
1283454289
9781283454285
Classificazione 53.57
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004620337
[Teichmann, Philip]  
Materiale a stampa
Lo trovi qui: New York University