Florian König

dblp:35/2931 · also Florian Koenig · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
0since 2021 · last 2018
0000-0002-4795-6451ORCID · corroborated

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

Software engineering, systems software and programming languages · 2Artificial intelligence and machine learning · 1Graphics, computer vision, multimedia, augmented reality and games · 1Human-computer interaction and ubiquitous computing · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Requirements engineering and software design · 67% Programming languages and type systems · 33%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Requirements engineering and software design
reactive systems
0.312017
From scenario modeling to scenario programming for reactive systems with dynamic topology · ESEC/SIGSOFT FSE 2017
Programming languages and type systems › programming paradigms
scenario-based programming
0.312017
From scenario modeling to scenario programming for reactive systems with dynamic topology · ESEC/SIGSOFT FSE 2017
Requirements engineering and software design › specification
scenario-based specification
0.312017
From scenario modeling to scenario programming for reactive systems with dynamic topology · ESEC/SIGSOFT FSE 2017
Embedded and real-time systems
reactive systems
0.112017
From scenario modeling to scenario programming for reactive systems with dynamic topology · ESEC/SIGSOFT FSE 2017

Methods — techniques the papers use, named apart from their topics

scenario modeling language · 0.6code generation · 0.6
YearPublicationVenuePosition
2018 Overcoming Missing and Incomplete Modalities with Generative Adversarial Networks for Building Footprint Segmentation
abstract
The integration of information acquired with different modalities, spatial resolution and spectral bands has shown to improve predictive accuracies. Data fusion is therefore one of the key challenges in remote sensing. Most prior work focusing on multi-modal fusion, assumes that modalities are always available during inference. This assumption limits the applications of multi-modal models since in practice the data collection process is likely to generate data with missing, incomplete or corrupted modalities. In this paper, we show that Generative Adversarial Networks can be effectively used to overcome the problems that arise when modalities are missing or incomplete. Focusing on semantic segmentation of building footprints with missing modalities, our approach achieves an improvement of about 2% on the Intersection over Union (IoU) against the same network that relies only on the available modality.
Benjamin Bischke, Patrick Helber, Florian König, Damian Borth, Andreas Dengel 0001
CBMI3
2017 From scenario modeling to scenario programming for reactive systems with dynamic topology
abstract
Software-intensive systems often consist of cooperating reactive components. In mobile and reconfigurable systems, their topology changes at run-time, which influences how the components must cooperate. The Scenario Modeling Language (SML) offers a formal approach for specifying the reactive behavior such systems that aligns with how humans conceive and communicate behavioral requirements. Simulation and formal checks can find specification flaws early. We present a framework for the Scenario-based Programming (SBP) that reflects the concepts of SML in Java and makes the scenario modeling approach available for programming. SBP code can also be generated from SML and extended with platform-specific code, thus streamlining the transition from design to implementation. As an example serves a car-to-x communication system. Demo video and artifact: http://scenariotools.org/esecfse-2017-tool-demo/
Joel Greenyer, Daniel Gritzner, Florian König, Jannik Dahlke, Jianwei Shi 0001, Eric Wete
ESEC/SIGSOFT FSE3
2017 ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems
Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Florian König, Nils Glade, Assaf Marron, Guy Katz
Sci. Comput. Program.4
2010 Towards Improved Support for Adaptive Collaboration Scripting in IMS LD
Florian König, Alex Paramythis
EC-TEL1