Knapp, Alexander
Knapp, Alexander, 1971-...
Alexander Knapp obor působnosti informační věda
VIAF ID: 14154824 ( Personal )
Permalink: http://viaf.org/viaf/14154824
Preferred Forms
- 100 0 _ ‡a Alexander Knapp ‡c obor působnosti informační věda
-
-
- 100 1 _ ‡a Knapp, Alexander
- 100 1 _ ‡a Knapp, Alexander ‡d 1971-..
-
-
- 100 1 _ ‡a Knapp, Alexander, ‡d 1971-
-
- 100 1 _ ‡a Knapp, Alexander, ‡d 1971-...
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
2-term charters | |
Adapting applications to exploit virtualization management knowledge | |
Adaptive tests for adaptive systems: the need for new concepts in testing for future software systems | |
Applying deep learning for imitating adaptive agent behavior in statistical software testing | |
An approach for isolated testing of self-organization algorithms | |
Aspect-oriented modeling of access control in web applications | |
Assessment of effort reduction due to model-to-model transformations in the web domain | |
Automatic and efficient simulation of operation contracts | |
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) | |
Case studies with CafeOBJ | |
A Component Model for Architectural Programming | |
Consistency checking in an infrastructure for large-scale generative programming | |
Correct Execution of Reconfiguration for Stateful Components | |
Developing formal semantics of epkml | |
Efficient representation of timed UML 2 interactions | |
EPKML: eine Spezifikationssprache für elektronische Produktkataloge | |
EPKML language | |
An event-based structural operational semantics of multi-threaded Java | |
Executing Underspecified OCL Operation Contracts with a SAT Solver | |
Fault-aware modeling and specification for efficient formal safety analysis | |
fOOSE - eine integrierte formale Softwareentwicklungsmethode | |
formal approach to object oriented software engineering | |
Formal methods for transport systems | |
Framework for integration of virtual metrology and predictive maintenance | |
Glass-box and black-box views on object-oriented specifications | |
A heterogeneous approach to service-oriented systems specification | |
Institutions for OCL-like expression languages | |
Java memory model: operationally, denotationally, axiomatically | |
MDWEnet: a practical approach to achieving interoperability of model-driven web engineering methods | |
MiniBrass: soft constraints for MiniZinc | |
Model checking timed UML state machines and collaborations | |
Model transformations for integrating and validating web application models | |
Modeling secure navigation in web information systems | |
Modeling the car crash crisis management system using HiLA | |
Modellierung von Vorgehensmodellen – Paradigmen, Sprachen, Tools | |
Modelling adaptivity with aspects | |
Modelling the behaviour of web applications with ArgoUWE | |
Modelling the CoCoME with the Java/A component model | |
Moving from interface theories to assembly theories | |
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness | |
On the correctness of the SIMT execution model of GPUs | |
On the expressive power of pure OCL | |
On the Observable Behaviour of Composite Components | |
On the use of test cases in model-based software product line development | |
Property-driven development | |
Qualitative and quantitative analysis of safety-critical systems with S# | |
Quality over quantity in soft constraints | |
Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers | |
Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools | |
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic | |
Refinement of components in connection-safe assemblies with synchronous and asynchronous communication | |
RISSEF 2002 | |
Semantic-based development of service-oriented systems | |
Semantics of OCL Operation Specifications | |
Semantics of UML state machines | |
SMT-based false positive elimination in static program analysis | |
Specification and refinement of mobile systems in MTLA and mobile UML | |
Specification of systems with parameterised events: an institution-independent approach | |
Specifying component invariants with OCL | |
Towards an institutional framework for heterogeneous formal development in UML: a position paper | |
Towards OCL/RT | |
Towards testing self-organizing, adaptive systems | |
Truly on-the-fly LTL model checking | |
Type-checking AHEAD | |
UML 2.0 interactions: semantics and refinement | |
UWE4JSF: a model-driven generation approach for web applications | |
View consistency in software development | |
What is a multi-modeling language? | |
Who cares about software process modelling? A first investigation about the perceived value of process engineering and process consumption | |
Workshop proceedings |