Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stefan Henkler
Abstraction Techniques for Compositional State-Based Scheduling Analysis
Related publications
Compositional Mining of Multiple Object API Protocols Through State Abstraction
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
Service-Based Processing and Provisioning of Image-Abstraction Techniques
Compositional Multiprocessor Scheduling: The GMPR Interface
Real-Time Systems
Control
Systems Engineering
Optimization
Electronic Engineering
Computer Networks
Simulation
Communications
Computer Science Applications
Electrical
Modeling
Priority-Based Scheduling Techniques for a Multitenant Stream Processing Platform
Simplifying Process Model Abstraction: Techniques for Generating Model Names
Information Systems
Hardware
Information Systems
Architecture
Software
Generation Scheduling Using Genetic Algorithm Based Hybrid Techniques
Compositional Analysis for Clausal Exceptives
Semantics and Linguistic Theory
A Taxonomy of Model Abstraction Techniques
Validating the Utility of Abstraction Techniques
