Disambiguation of industrial standards through formalization and graphical languages. - Daniel Dietsch; Sergio Feo-Arenis; Bernd Westphal; Andreas Podelski (RE, 2011)

Reducing Quasi-Equal Clocks in Networks of Timed Automata. - Christian Herrera; Bernd Westphal; Sergio Feo-Arenis; Marco Muñiz; Andreas Podelski (FORMATS, 2012)

Towards successful subcontracting for software in small to medium-sized enterprises. - Bernd Westphal; Daniel Dietsch; Sergio Feo-Arenis; Andreas Podelski; Louis Pahlow; Jochen Morsbach; Barbara Sommer; Anke Fuchs; Christine Meierhöfer (RELAW, 2012)

Black-Box Verification for GUI Applications - Stephan Arlt; Evren Ermis; Sergio Feo-Arenis; Andreas Podelski (CoRR, 2012)

Parameterized Verification of Track Topology Aggregation Protocols. - Sergio Feo-Arenis; Bernd Westphal (FMOODS/FORTE, 2013)

Formal Verification of a Parameterized Data Aggregation Protocol. - Sergio Feo-Arenis; Bernd Westphal (NASA Formal Methods, 2013)

The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. - Sergio Feo-Arenis; Bernd Westphal; Daniel Dietsch; Marco Muñiz; Ahmad Siyar Andisha (FM, 2014)

Verification of GUI Applications: A Black-Box Approach. - Stephan Arlt; Evren Ermis; Sergio Feo-Arenis; Andreas Podelski (ISoLA (1), 2014)

System Testing and Program Verification. - Stephan Arlt; Sergio Feo-Arenis; Andreas Podelski; Martin Wehrle (Software Engineering & Management, 2015)

Ready for testing: ensuring conformance to industrial standards through formal verification. - Sergio Feo-Arenis; Bernd Westphal; Daniel Dietsch; Marco Muñiz; Ahmad Siyar Andisha; Andreas Podelski (Formal Aspects Comput., 2016)

A formal approach to the development of industrial cyber-physical systems. - Sergio Alejandro Feo Arenis (2016)

On Global Scheduling Independency in Networks of Timed Automata. - Sergio Feo-Arenis; Milan Vujinovic; Bernd Westphal (FORMATS, 2017)

Smart Component Modeling for Complex System Development. - Philipp Helle; Sergio Feo-Arenis; Andreas Mitschke; Gerrit Schramm (CSDM, 2019)

On Implementable Timed Automata. - Sergio Feo-Arenis; Milan Vujinovic; Bernd Westphal (FORTE, 2020)

Decentralized Collaborative Decision-Making for Topology Building in Mobile Ad-Hoc Networks. - Philipp Helle; Sergio Feo-Arenis; Kevin Shortt; Carsten Strobel (ICUFN, 2022)

Agent-Based Modelling and Simulation of Decision-Making in Flying Ad-Hoc Networks. - Philipp Helle; Sergio Feo-Arenis; Carsten Strobel; Kevin Shortt (PAAMS, 2022)

GPU Accelerating Statistical Model Checking for Extended Timed Automata. - Oliver S. Bak; Mathias W. B. Christiansen; Oliver V. Eriksen; Sergio Feo-Arenis; Peter Gjøl Jensen; Marcus D. Jensen; Simas Juozapaitis; Kim G. Larsen; Marius Mikucionis; Marco Muñiz; Andreas Windfeld (Principles of Verification (2), 2024)