Detail page

Knowledge Web

Person

Alexander Knapp

Name	Alexander Knapp
Place	Deutschland
Academic degree	Prof. Dr.
Variant	A. Knapp
Related	Universität Augsburg
Further information	Tätig an der Universität Augsburg, Institut für Informatik, Software & Systems Engineering
Source	Internet
Record type	Person
GND-Identifier	101644012X
Record ID	101644012X
Involved in show all Front Matter, Table of Contents, Preface, Conference Organization A reduction-based cut-free Gentzen calculus for dynamic epistemic logic Cube Bot — a smart factory showcase for the real-time container architecture Optimization of global production scheduling with deep reinforcement learning Specification of systems with parameterised events: an institution-independent approach Hybrid dynamic logic institutions for event/data-based systems Hybrid dynamic logic institutions for event/data-based systems 2-term charters Book Review: André Platzer: Logical foundations of cyber-physical systems. Springer International Publishing, 2018, XXXI+639 pp, ISBN: 978-3-319-63587-3 (Hardcover, $39.99) Joint Action Learning for Multi-Agent Cooperation using Recurrent Reinforcement Learning Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum Case studies with CafeOBJ Specifying component invariants with OCL Synchronous reconfiguration of distributed embedded applications during operation MiniBrass: Soft constraints for MiniZinc Formal methods and automated verification of critical systems Formal methods for transport systems Adaptive tests for adaptive systems: the need for new concepts in testing for future software systems An approach for isolated testing of self-organization algorithms Applying deep learning for imitating adaptive agent behavior in statistical software testing Formal methods and automated verification of critical systems Formal methods for transport systems MiniBrass: soft constraints for MiniZinc Optimization of global production scheduling with deep reinforcement learning Qualitative and quantitative analysis of safety-critical systems with S# Qualitative and quantitative analysis of safety-critical systems with Domain-Centered Product Line Testing Towards safe dynamic updates of distributed embedded applications in factory automation UML Interactions Meet State Machines - An Institutional Approach Fault-aware modeling and specification for efficient formal safety analysis Unified simulation, visualization, and formal analysis of safety-critical systems with S# An institution for simple UML state machines Institutions for OCL-like expression languages Moving from interface theories to assembly theories Partial valuation structures for qualitative soft constraints Towards an institutional framework for heterogeneous formal development in UML: a position paper Rapid Prototyping for Domain-specific Languages : From Stakeholder Analyses to Modelling Tools Assembly theories for communication-safe component systems Efficient representation of timed UML 2 interactions Embedding Constraint Relationships into C-Semirings On the use of test cases in model-based software product line development Quality over quantity in soft constraints Towards testing self-organizing, adaptive systems Adapting applications to exploit virtualization management knowledge Modellierung von Vorgehensmodellen – Paradigmen, Sprachen, Tools Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools Who cares about software process modelling? A first investigation about the perceived value of process engineering and process consumption Assessment of effort reduction due to model-to-model transformations in the web domain Framework for integration of virtual metrology and predictive maintenance Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria On the correctness of the SIMT execution model of GPUs On the Correctness of the SIMT Execution Model of GPUs SMT-based false positive elimination in static program analysis Automatic and efficient simulation of operation contracts Developing a framework for virtual metrology and predictive maintenance Executing Underspecified OCL Operation Contracts with a SAT Solver Modal interface theories for communication-safe component assemblies Modeling secure navigation in web information systems A heterogeneous approach to service-oriented systems specification Correct Execution of Reconfiguration for Stateful Components

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Alexander Knapp

Front Matter, Table of Contents, Preface, Conference Organization

A reduction-based cut-free Gentzen calculus for dynamic epistemic logic

Cube Bot — a smart factory showcase for the real-time container architecture

Optimization of global production scheduling with deep reinforcement learning

Specification of systems with parameterised events: an institution-independent approach

Hybrid dynamic logic institutions for event/data-based systems

Hybrid dynamic logic institutions for event/data-based systems

2-term charters

Book Review: André Platzer: Logical foundations of cyber-physical systems. Springer International Publishing, 2018, XXXI+639 pp, ISBN: 978-3-319-63587-3 (Hardcover, $39.99)

Joint Action Learning for Multi-Agent Cooperation using Recurrent Reinforcement Learning

Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum

Case studies with CafeOBJ

Specifying component invariants with OCL

Synchronous reconfiguration of distributed embedded applications during operation

MiniBrass: Soft constraints for MiniZinc

Formal methods and automated verification of critical systems

Formal methods for transport systems

Adaptive tests for adaptive systems: the need for new concepts in testing for future software systems

An approach for isolated testing of self-organization algorithms

Applying deep learning for imitating adaptive agent behavior in statistical software testing

Formal methods and automated verification of critical systems

Formal methods for transport systems

MiniBrass: soft constraints for MiniZinc

Optimization of global production scheduling with deep reinforcement learning

Qualitative and quantitative analysis of safety-critical systems with S#

Qualitative and quantitative analysis of safety-critical systems with

Domain-Centered Product Line Testing

Towards safe dynamic updates of distributed embedded applications in factory automation

UML Interactions Meet State Machines - An Institutional Approach

Fault-aware modeling and specification for efficient formal safety analysis

Unified simulation, visualization, and formal analysis of safety-critical systems with S#

An institution for simple UML state machines

Institutions for OCL-like expression languages

Moving from interface theories to assembly theories

Partial valuation structures for qualitative soft constraints

Towards an institutional framework for heterogeneous formal development in UML: a position paper

Rapid Prototyping for Domain-specific Languages : From Stakeholder Analyses to Modelling Tools

Assembly theories for communication-safe component systems

Efficient representation of timed UML 2 interactions

Embedding Constraint Relationships into C-Semirings

On the use of test cases in model-based software product line development

Quality over quantity in soft constraints

Towards testing self-organizing, adaptive systems

Adapting applications to exploit virtualization management knowledge

Modellierung von Vorgehensmodellen – Paradigmen, Sprachen, Tools

Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools

Who cares about software process modelling? A first investigation about the perceived value of process engineering and process consumption

Assessment of effort reduction due to model-to-model transformations in the web domain

Framework for integration of virtual metrology and predictive maintenance

Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria

On the correctness of the SIMT execution model of GPUs

On the Correctness of the SIMT Execution Model of GPUs

SMT-based false positive elimination in static program analysis

Automatic and efficient simulation of operation contracts

Developing a framework for virtual metrology and predictive maintenance

Executing Underspecified OCL Operation Contracts with a SAT Solver

Modal interface theories for communication-safe component assemblies

Modeling secure navigation in web information systems

A heterogeneous approach to service-oriented systems specification

Correct Execution of Reconfiguration for Stateful Components