Sergio Feo-Arenis

According to our database, Sergio Feo-Arenis authored at least 16 papers between 2011 and 2022.

Collaborative distances:

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

2022

Agent-Based Modelling and Simulation of Decision-Making in Flying Ad-Hoc Networks.

Philipp Helle, Sergio Feo-Arenis, Carsten Strobel, Kevin Shortt

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection, 2022

Decentralized Collaborative Decision-Making for Topology Building in Mobile Ad-Hoc Networks.

Philipp Helle, Sergio Feo-Arenis, Kevin Shortt, Carsten Strobel

Proceedings of the Thirteenth International Conference on Ubiquitous and Future Networks, 2022

2020

On Implementable Timed Automata.

Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2019

Smart Component Modeling for Complex System Development.

Philipp Helle, Sergio Feo-Arenis, Andreas Mitschke, Gerrit Schramm

Proceedings of the Tenth International Conference on Complex Systems Design & Management, 2019

2017

On Global Scheduling Independency in Networks of Timed Automata.

Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016

A formal approach to the development of industrial cyber-physical systems.

Sergio Alejandro Feo Arenis

PhD thesis, 2016

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

2015

System Testing and Program Verification.

Stephan Arlt, Sergio Feo-Arenis, Andreas Podelski, Martin Wehrle

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

Verification of GUI Applications: A Black-Box Approach.

Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

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

Proceedings of the FM 2014: Formal Methods, 2014

2013

Formal Verification of a Parameterized Data Aggregation Protocol.

Sergio Feo-Arenis, Bernd Westphal

Proceedings of the NASA Formal Methods, 2013

Parameterized Verification of Track Topology Aggregation Protocols.

Sergio Feo-Arenis, Bernd Westphal

Proceedings of the Formal Techniques for Distributed Systems, 2013

2012

Black-Box Verification for GUI Applications

Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski

CoRR, 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

Proceedings of the Fifth IEEE International Workshop on Requirements Engineering and Law, 2012

Reducing Quasi-Equal Clocks in Networks of Timed Automata.

Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz, Andreas Podelski

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Disambiguation of industrial standards through formalization and graphical languages.

Daniel Dietsch, Sergio Feo-Arenis, Bernd Westphal, Andreas Podelski

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011