User: Guest  Login
Sort by:
and:
next

Wiedemann, Anna; Wiesche, Manuel; Krcmar, Helmut
Integrating Development and Operations in Cross-Functional Teams — Toward a DevOps Competency Model
SIGMIS-CPR '19
Nashville, TN, USA
2019
Wiedemann, Anna; Wiesche, Manuel; Thatcher, Jason B.; Gewald, Heiko
A Control-Alignment Model for Product Orientation in DevOps Teams–A Multinational Case Study. In: International Conference on Information Systems
ICIS 2019
München, Germany
2019
Alanwar, Amr;Said, Hazem;Althoff, Matthias
Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis
Proc. of the 58th IEEE Conference on Decsion and Control
2019
Nikol, Daniel;Althoff, Matthias
Die Formalisierung von Rechtsnormen am Beispiel des Überholvorgangs
InTeR - Zeitschrift zum Innovations- und Technikrecht
2019
1
12-16
Karaenke, Paul;Bichler, Martin;Minner, Stefan
Coordination is Hard: Electronic Auction Mechanisms For Increased Efficiency in Transportation Logistics
Management Science
2019
65
12
5449--5956
Immler, Fabian;Althoff, Matthias;Benet, Luis;Chapoutot, Alexandre;Chen, Xin;Forets, Marcelo;Geretti, Luca;Kochdumper, Niklas;Sanders, David P.;Schilling, Christian
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
2019
Althoff, Matthias;Bak, Stanley;Forets, Marcelo;Frehse, Goran;Kochdumper, Niklas;Ray, Rajarshi;Schilling, Christian;Schupp, Stefan
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
2019
Ge, J. I.;Schürmann, B.;Murray, R. M.;Althoff, M.
Risk-aware motion planning for automated vehicle among human-driven cars
Proc. of the American Control Conference
2019
Phan-Minh, T.;Guo, S.;Schürmann, B.;Althoff, M.;Murray, R. M.
A modal interface contract theory for guarded input/output automata with an application in traffic system design
Proc. of the American Control Conference
2019
Wu, Jingyuan;Ruenz, Johannes;Althoff, Matthias
Calibration of Controlled Markov Chains for Predicting Pedestrian Crossing Behavior Using Multi-objective Genetic Algorithms
Proc. of the 22nd Intelligent Transportation Systems Conference
2019
Sort by:
and:
next