Sergio Feo-Arenis
Sergio Feo-Arenis
Verified email at informatik.uni-freiburg.de
Title
Cited by
Cited by
Year
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
192012
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
152011
Ready for testing: ensuring conformance to industrial standards through formal verification
S Feo-Arenis, B Westphal, D Dietsch, M Muñiz, S Andisha, A Podelski
Formal Aspects of Computing 28 (3), 499-527, 2016
142016
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
142009
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
122014
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
62014
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
52010
Formal verification of a parameterized data aggregation protocol
S Feo-Arenis, B Westphal
NASA Formal Methods Symposium, 428-434, 2013
42013
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
System testing and program verification
S Arlt, SF Arenis, A Podelski, M Wehrle
Software-engineering and management 2015, 2015
22015
Parameterized verification of track topology aggregation protocols
S Feo-Arenis, B Westphal
Formal Techniques for Distributed Systems, 35-49, 2013
22013
On global scheduling independency in networks of timed automata
S Feo-Arenis, M Vujinović, B Westphal
International Conference on Formal Modeling and Analysis of Timed Systems, 42-57, 2017
12017
On Implementable Timed Automata
S Feo-Arenis, M Vujinović, B Westphal
International Conference on Formal Techniques for Distributed Objects …, 2020
2020
Search Site only in current section
P Fischer, P Fischer-photo, I Taxidou
People 2016, 2017
2017
Black-Box Verification for GUI Applications
S Arlt, E Ermis, S Feo-Arenis, A Podelski
arXiv preprint arXiv:1210.4686, 2012
2012
Research Projects
A Podelski, D Dietsch, M Heizmann, J Hoenicke, B Westphal, ...
The system can't perform the operation now. Try again later.
Articles 1–16