Sergio Feo-Arenis

16 papers A 1B 1C 1Misc 1Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2024 — conf
GPU Accelerating Statistical Model Checking for Extended Timed Automata.
Principles of Verification (2)
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
2022 Misc conf
Agent-Based Modelling and Simulation of Decision-Making in Flying Ad-Hoc Networks.
PAAMS
Philipp Helle, Sergio Feo-Arenis, Carsten Strobel, Kevin Shortt
2022 — conf
Decentralized Collaborative Decision-Making for Topology Building in Mobile Ad-Hoc Networks.
ICUFN
Philipp Helle, Sergio Feo-Arenis, Kevin Shortt, Carsten Strobel
2020 C conf
On Implementable Timed Automata.
FORTE
Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal
2019 — conf
Smart Component Modeling for Complex System Development.
CSDM
Philipp Helle, Sergio Feo-Arenis, Andreas Mitschke, Gerrit Schramm
2017 — conf
On Global Scheduling Independency in Networks of Timed Automata.
FORMATS
Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal
2016 J jnl
Ready for testing: ensuring conformance to industrial standards through formal verification.
Formal Aspects Comput.
Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski
2015 — conf
System Testing and Program Verification.
Software Engineering & Management
Stephan Arlt, Sergio Feo-Arenis, Andreas Podelski, Martin Wehrle
2014 B conf
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.
FM
Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha
2014 — conf
Verification of GUI Applications: A Black-Box Approach.
ISoLA (1)
Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski
2013 — conf
Formal Verification of a Parameterized Data Aggregation Protocol.
NASA Formal Methods
Sergio Feo-Arenis, Bernd Westphal
2013 — conf
Parameterized Verification of Track Topology Aggregation Protocols.
FMOODS/FORTE
Sergio Feo-Arenis, Bernd Westphal
2012 J jnl
Black-Box Verification for GUI Applications
CoRR
Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski
2012 — conf
Reducing Quasi-Equal Clocks in Networks of Timed Automata.
FORMATS
Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz, Andreas Podelski
2012 — conf
Towards successful subcontracting for software in small to medium-sized enterprises.
RELAW
Bernd Westphal, Daniel Dietsch, Sergio Feo-Arenis, Andreas Podelski, Louis Pahlow, Jochen Morsbach, Barbara Sommer, Anke Fuchs, Christine Meierhöfer
2011 A conf
Disambiguation of industrial standards through formalization and graphical languages.
RE
Daniel Dietsch, Sergio Feo-Arenis, Bernd Westphal, Andreas Podelski