Johannes Mueller

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 5

Top Topics

Web Services Discovery

Pervasive Computing Environments

Top Venues

Microelectron. J.

Publications

Philipp Schmitz, Johannes Mueller, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz
UPEC-PN: Exhaustive constant time verification of low-level software using property checking. MBMV (2023)
Hemant Dixit, Sudarshan Narayanan, Bert Pfefferling, Johannes Mueller
Optimization of the interconnect resistance contribution for STT-MRAM technology. Microelectron. J. 95 (2020)
Arne Wall, Vlado Altmann, Johannes Mueller, Hannes Raddatz, Dirk Timmermann
Decentralized configuration of embedded web services for smart home applications. SysCon (2017)
Johannes Mueller, Hangxin Lu
Designing with Citizens: Challenges and Evaluation Methods for Crowd-sourced Urban Layouts. CAID@IJCAI (2017)
Johannes Mueller, Stefan Schmoeller, Flemming Giesel
Identifying Users and Use of (Electric-) Free-Floating Carsharing in Berlin and Munich. ITSC (2015)
Vlado Altmann, Jan Skodzik, Peter Danielis, Johannes Mueller, Frank Golatowski, Dirk Timmermann
A DHT-Based Scalable Approach for Device and Service Discovery. EUC (2014)