Follow
Sergio Feo-Arenis
Sergio Feo-Arenis
Verified email at informatik.uni-freiburg.de
Title
Cited by
Cited by
Year
Ready for testing: ensuring conformance to industrial standards through formal verification
S Feo-Arenis, B Westphal, D Dietsch, M Muniz, S Andisha, A Podelski
Formal Aspects of Computing 28, 499-527, 2016
242016
Reducing Quasi-Equal Clocks in Networks of Timed Automata
C Herrera, B Westphal, S Feo-Arenis, M Muniz, A Podelski
Formal Modeling and Analysis of Timed Systems, 155-170, 2012
212012
The wireless fire alarm system: ensuring conformance to industrial standards through formal verification
S Feo-Arenis, B Westphal, D Dietsch, M Muñiz, AS Andisha
International Symposium on Formal Methods, 658-672, 2014
202014
Disambiguation of industrial standards through formalization and graphical languages
D Dietsch, SF Arenis, B Westphal, A Podelski
2011 IEEE 19th International Requirements Engineering Conference, 265-270, 2011
182011
Spatially resolved contact‐resistance measurements on crystalline silicon solar cells
S Kontermann, M Hörteis, A Ruf, S Feo, R Preu
Physica status solidi (a) 206 (12), 2866-2871, 2009
162009
Verification of GUI applications: A black-box approach
S Arlt, E Ermis, S Feo-Arenis, A Podelski
International Symposium On Leveraging Applications of Formal Methods …, 2014
72014
On implementable timed automata
S Feo-Arenis, M Vujinović, B Westphal
International Conference on Formal Techniques for Distributed Objects …, 2020
62020
Smart component modeling for complex system development
P Helle, S Feo-Arenis, A Mitschke, G Schramm
International Conference on Complex Systems Design & Management, 117-128, 2019
62019
Formal verification of a parameterized data aggregation protocol
S Feo-Arenis, B Westphal
NASA Formal Methods Symposium, 428-434, 2013
52013
Towards successful subcontracting for software in small to medium-sized enterprises
B Westphal, D Dietsch, S Feo-Arenis, A Podelski, L Pahlow, J Morsbach, ...
2012 Fifth IEEE International Workshop on Requirements Engineering and Law …, 2012
42012
Abwicklung von Sofwareentwicklungsaufträgen in KMU–Analyse
D Dietsch, S Feo-Arenis, B Westphal, C Meierhöfer, J Morsbach, ...
Technical report, 2010. http://www. salomo-projekt. de/survey-results, 2010
42010
Parameterized verification of track topology aggregation protocols
S Feo-Arenis, B Westphal
International Conference on Formal Methods for Open Object-Based Distributed …, 2013
32013
Building a semantic layer for early design trade studies in the development of commercial aircraft
A Zindel, S Feo-Arenis, P Helle, G Schramm, M Elaasar
2022 IEEE International Symposium on Systems Engineering (ISSE), 1-8, 2022
22022
Agent-Based Modelling and Simulation of Decision-Making in Flying Ad-Hoc Networks
P Helle, S Feo-Arenis, C Strobel, K Shortt
International Conference on Practical Applications of Agents and Multi-Agent …, 2022
22022
Enabling multidisciplinary-analysis of SysML models in a heterogeneous tool landscape using Parametric Analysis Models
P Helle, G Schramm, S Klostermann, S Feo-Arenis
2022, submitted for The Complex Systems Design & Management conference, 2022
22022
System testing and program verification
S Arlt, SF Arenis, A Podelski, M Wehrle
Gesellschaft für Informatik eV, 2015
22015
On global scheduling independency in networks of timed automata
S Feo-Arenis, M Vujinović, B Westphal
Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017
12017
Method for establishing a free-space data transmission channel
K Shortt, S Feo-Arenis, P Helle, C Strobel
US Patent 11,616,569, 2023
2023
Decentralized Collaborative Decision-Making for Topology Building in Mobile Ad-Hoc Networks
P Helle, S Feo-Arenis, K Shortt, C Strobel
2022 Thirteenth International Conference on Ubiquitous and Future Networks …, 2022
2022
A formal approach to the development of industrial cyber-physical systems
SA Feo Arenis
Dissertation, Albert-Ludwigs-Universität Freiburg, 2016, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20