Detailansicht

Wissensnetz

Person

Wolfgang Reif (1960-)

Informatiker

Name	Wolfgang Reif
Zeit	1960- (Lebensdaten)
Ort	Deutschland
Geschlecht	männlich
Akademischer Grad bzw. Titel	Prof. Dr.
Beruf	Informatiker (charakteristischer Beruf) Hochschullehrer
Themengebiet	Personen zu Informatik, Datenverarbeitung
Weitere Angaben	Direktor d. Instituts für Software & Systems Engineering d. Univ. Augsburg (Stand 06/2020)
Quelle	https://www.uni-augsburg.de/de/fakultaet/fai/isse/prof/swtse/team/reif/ (Stand: 03.06.2020)
Datensatztyp	Person
GND-Nummer	1211417557
Datensatz-ID	1211417557
Beteiligt an alle anzeigen An approach for extended swarm formation flight with drones: PROTEASE 2.0 Verification of forward simulations with thread-local, step-local proof obligations CASP: Computer Aided Specimen Placement for robot-based component testing Inferring material properties from FRP processes via sim-to-real learning Refinement and separation: modular verification of wandering trees Separating separation logic – modular verification of red-black trees Thread-local, step-local proof obligations for refinement of state-based concurrent systems Towards automated COVID-19 presence and severity classification Towards self-configuring plug & produce robot systems based on ontologies UAV inspection of large components: determination of alternative inspection points and online route optimization A recommendation system for CAD assembly modeling based on graph neural networks Finstreder: simple and fast spoken language understanding with finite state transducers using modern speech-to-text models Graph machine learning for assembly modeling Jaco: an offline running privacy-aware voice assistant Sensor-guided motions for robot-based component testing Software & system verification with KIV Software-defined testing facility for component testing with industrial robots Verification of crashsafe caching in a virtual file system switch A real-word realization of the AntNet routing algorithm with ActivityBots Architecture for emergency control of autonomous UAV ensembles Distributed constraint optimization for task allocation in self-adaptive manufacturing systems Flashix: modular verification of a concurrent and crash-safe flash file system Genetic programming for fiber-threading for fiber-reinforced plastics PermeabilityNets: comparing neural network architectures on a sequence-to-instance task in CFRP manufacturing RealCaPP: Real-time capable Plug & Produce communication platform with OPC UA over TSN for distributed industrial robot control ROSSi a graphical programming interface for ROS 2 Scribosermo: fast speech-to-text models for German and other languages Semantic plug and play: an architecture combining linked data and reconfigurable hardware Towards a real-time capable plug & produce environment for adaptable factories UAV inspection of large components: indoor navigation relative to structures A chained neural network model for photovoltaic power forecast Adding concurrency to a sequential refinement tower An interactive web application for decision tree learning Deadlock avoidance for multiple tasks in a self-organizing production cell Learning controllers for adaptive spreading of carbon fiber tows Maple-Swarm: programming collective behavior for ensembles by extending HTN-planning Modeling and execution of coordinated missions in reconfigurable robot ensembles Modular integration of crashsafe caching into a verified virtual file system switch Real-time capable OPC-UA programs over TSN for distributed industrial control Swarm and collective capabilities for multipotent robot ensembles Towards fully automated inspection of large components with UAVs: offline path planning Towards real-time process monitoring and machine learning for manufacturing composite structures Turning software engineers into machine learning engineers Virtual commissioning with mixed reality for next-generation robot-based mechanical component testing Ensemble programming for multipotent systems Model-Based Testing for Self-Organization Mechanisms Modular and domain-guided multi-robot planning for assembly processes Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles Opportunities and limitations of mixed reality holograms in industrial robotics Service-orientierte Modellierung einer Robotermontagezelle Soft Constraints in MiniBrass: Foundations and Applications Software Engineering in der Industrierobotik: der SoftRobot-Ansatz Towards combining layout and process models for mixed assembly facilities MiniBrass: Soft constraints for MiniZinc A Modular Verification Methodology for Caching and Lock-Based Concurrency in File 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 Automatic planning of manufacturing processes using spatial construction plan analysis and extensible heuristic search Integrating planning and reactive behavior by using semantically annotated robot tasks

Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

Katalog der Deutschen Nationalbibliothek

Wolfgang Reif (1960-)

An approach for extended swarm formation flight with drones: PROTEASE 2.0

Verification of forward simulations with thread-local, step-local proof obligations

CASP: Computer Aided Specimen Placement for robot-based component testing

Inferring material properties from FRP processes via sim-to-real learning

Refinement and separation: modular verification of wandering trees

Separating separation logic – modular verification of red-black trees

Thread-local, step-local proof obligations for refinement of state-based concurrent systems

Towards automated COVID-19 presence and severity classification

Towards self-configuring plug & produce robot systems based on ontologies

UAV inspection of large components: determination of alternative inspection points and online route optimization

A recommendation system for CAD assembly modeling based on graph neural networks

Finstreder: simple and fast spoken language understanding with finite state transducers using modern speech-to-text models

Graph machine learning for assembly modeling

Jaco: an offline running privacy-aware voice assistant

Sensor-guided motions for robot-based component testing

Software & system verification with KIV

Software-defined testing facility for component testing with industrial robots

Verification of crashsafe caching in a virtual file system switch

A real-word realization of the AntNet routing algorithm with ActivityBots

Architecture for emergency control of autonomous UAV ensembles

Distributed constraint optimization for task allocation in self-adaptive manufacturing systems

Flashix: modular verification of a concurrent and crash-safe flash file system

Genetic programming for fiber-threading for fiber-reinforced plastics

PermeabilityNets: comparing neural network architectures on a sequence-to-instance task in CFRP manufacturing

RealCaPP: Real-time capable Plug & Produce communication platform with OPC UA over TSN for distributed industrial robot control

ROSSi a graphical programming interface for ROS 2

Scribosermo: fast speech-to-text models for German and other languages

Semantic plug and play: an architecture combining linked data and reconfigurable hardware

Towards a real-time capable plug & produce environment for adaptable factories

UAV inspection of large components: indoor navigation relative to structures

A chained neural network model for photovoltaic power forecast

Adding concurrency to a sequential refinement tower

An interactive web application for decision tree learning

Deadlock avoidance for multiple tasks in a self-organizing production cell

Learning controllers for adaptive spreading of carbon fiber tows

Maple-Swarm: programming collective behavior for ensembles by extending HTN-planning

Modeling and execution of coordinated missions in reconfigurable robot ensembles

Modular integration of crashsafe caching into a verified virtual file system switch

Real-time capable OPC-UA programs over TSN for distributed industrial control

Swarm and collective capabilities for multipotent robot ensembles

Towards fully automated inspection of large components with UAVs: offline path planning

Towards real-time process monitoring and machine learning for manufacturing composite structures

Turning software engineers into machine learning engineers

Virtual commissioning with mixed reality for next-generation robot-based mechanical component testing

Ensemble programming for multipotent systems

Model-Based Testing for Self-Organization Mechanisms

Modular and domain-guided multi-robot planning for assembly processes

Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles

Opportunities and limitations of mixed reality holograms in industrial robotics

Service-orientierte Modellierung einer Robotermontagezelle

Soft Constraints in MiniBrass: Foundations and Applications

Software Engineering in der Industrierobotik: der SoftRobot-Ansatz

Towards combining layout and process models for mixed assembly facilities

MiniBrass: Soft constraints for MiniZinc

A Modular Verification Methodology for Caching and Lock-Based Concurrency in File 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

Automatic planning of manufacturing processes using spatial construction plan analysis and extensible heuristic search

Integrating planning and reactive behavior by using semantically annotated robot tasks