Bodo Igler

dblp:131/8754 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
1since 2021 · last 2024
0009-0009-9629-8430ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 1Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021Human-computer interaction and ubiquitous computing · 1Theory of computation · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2024 ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in Coq
Bodo Igler, Andreas Mayer
ABZ1
2017 FAIR: Fuzzy Alarming Index Rule for Privacy Analysis in Smartphone Apps
Majid Hatamian, Jetzabel Serna-Olvera, Kai Rannenberg, Bodo Igler
TrustBus4
2015 Sauberes wiesbaden app: introducing mobile e-participation for a clean city project in Germany
abstract
Most of the current business services are accessed by traditional mechanisms of communication like calls to customer service centers, web forms or by email. Today's mobile technologies allow the consumption of those services transparently and anonymously inviting users to participate actively, anytime and anywhere, and without disrupting their daily activities. In this paper we present the preliminary results from a collaboration project between Wiesbaden's waste disposal services (ELW), Wiesbaden Council and the RheinMain University of Applied Sciences. The project aims to promote the participation of the citizens to quickly and easily report illegal garbage in the area of Wiesbaden, Germany. Applying a user centered approach; we were able to analyze the current internal business process to properly design the new processes that satisfy the user and business requirements. Based on the experience and knowledge of the people involved in the garbage collection process chain, we created a custom architecture for a mobile app and an interface to an existing backend system that allows citizens to create and send reports from mobile devices.
Stephan Böhm, Bodo Igler, Roberto Morales, Frank Sand, Attila Ertan
MUM2