Robin Gröpler

According to our database, Robin Gröpler authored at least 5 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Automated Requirement Formalization Using Product Design Specifications.

Robin Gröpler, Libin Kutty, Viju Sudhi, Daran Smalley

Proceedings of the Joint Proceedings of REFSQ-2022 Workshops, 2022

2021

Natural Language Processing for Requirements Formalization: How to Derive New Approaches?

Viju Sudhi, Libin Kutty, Robin Gröpler

Proceedings of the Concurrency, Specification and Programming, 2021

NLP-Based Requirements Formalization for Automatic Test Case Generation.

Robin Gröpler, Viju Sudhi, Emilio José Calleja García, Andre Bergmann

Proceedings of the 29th International Workshop on Concurrency, 2021

2019

A High Order Positivity Preserving DG Method for Coagulation-Fragmentation Equations.

Hailiang Liu, Robin Gröpler, Gerald Warnecke

SIAM J. Sci. Comput., 2019

2013

Multiscale Modeling of Influenza A Virus Infection Supports the Development of Direct-Acting Antivirals.

Frank S. Heldt, Timo Frensing, Antje Pflugmacher, Robin Gröpler, Britta Peschel, Udo Reichl

PLoS Comput. Biol., 2013