Sergio Feo-Arenis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2011–2022
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PAAMS | Agent-Based Modelling and Simulation of Decision-Making in Flying Ad-Hoc Networks. | Philipp Helle, Sergio Feo-Arenis, Carsten Strobel, Kevin Shortt |
| 2020 | FORTE | On Implementable Timed Automata. | Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal |
| 2014 | FM | The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. | Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muiz, Ahmad Siyar Andisha |
| 2014 | ISoLA | Verification of GUI Applications: A Black-Box Approach. | Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski |
| 2013 | FORTE | Parameterized Verification of Track Topology Aggregation Protocols. | Sergio Feo-Arenis, Bernd Westphal |
| 2012 | RE | 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 Meierhfer |
| 2011 | RE | Disambiguation of industrial standards through formalization and graphical languages. | Daniel Dietsch, Sergio Feo-Arenis, Bernd Westphal, Andreas Podelski |