Sergio Feo Arenis

ORCID

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 5

Top Venues

FORMATS

CoRR

Formal Aspects Comput.

FORTE

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Sergio Feo Arenis, Milan Vujinovic, Bernd Westphal
On Implementable Timed Automata. FORTE (2020)
Philipp Helle, Sergio Feo Arenis, Andreas Mitschke, Gerrit Schramm
Smart Component Modeling for Complex System Development. CSDM (2019)
Sergio Feo Arenis, Milan Vujinovic, Bernd Westphal
On Global Scheduling Independency in Networks of Timed Automata. FORMATS (2017)
Sergio Feo Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski
Ready for testing: ensuring conformance to industrial standards through formal verification. Formal Aspects Comput. 28 (3) (2016)
Stephan Arlt, Sergio Feo Arenis, Andreas Podelski, Martin Wehrle
System Testing and Program Verification. Software Engineering & Management (2015)
Sergio Feo Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. FM (2014)
Stephan Arlt, Evren Ermis, Sergio Feo Arenis, Andreas Podelski
Verification of GUI Applications: A Black-Box Approach. ISoLA (1) (2014)
Sergio Feo Arenis, Bernd Westphal
Parameterized Verification of Track Topology Aggregation Protocols. FMOODS/FORTE (2013)
Sergio Feo Arenis, Bernd Westphal
Formal Verification of a Parameterized Data Aggregation Protocol. NASA Formal Methods (2013)
Christian Herrera, Bernd Westphal, Sergio Feo Arenis, Marco Muñiz, Andreas Podelski
Reducing Quasi-Equal Clocks in Networks of Timed Automata. FORMATS (2012)
Stephan Arlt, Evren Ermis, Sergio Feo Arenis, Andreas Podelski
Black-Box Verification for GUI Applications CoRR (2012)
Bernd Westphal, Daniel Dietsch, Sergio Feo Arenis, Andreas Podelski, Louis Pahlow, Jochen Morsbach, Barbara Sommer, Anke Fuchs, Christine Meierhöfer
Towards successful subcontracting for software in small to medium-sized enterprises. RELAW (2012)
Daniel Dietsch, Sergio Feo Arenis, Bernd Westphal, Andreas Podelski
Disambiguation of industrial standards through formalization and graphical languages. RE (2011)

Sergio Feo Arenis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sergio Feo Arenis