Sergio Feo-Arenis
Sergio Feo-Arenis
Bestätigte E-Mail-Adresse bei informatik.uni-freiburg.de
Titel
Zitiert von
Zitiert von
Jahr
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
182012
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
142011
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
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
112016
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
92014
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
52014
Formal verification of a parameterized data aggregation protocol
S Feo-Arenis, B Westphal
NASA Formal Methods Symposium, 428-434, 2013
32013
System testing and program verification
S Arlt, SF Arenis, A Podelski, M Wehrle
Software-engineering and management 2015, 2015
22015
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
22012
Parameterized verification of track topology aggregation protocols
S Feo-Arenis, B Westphal
Formal Techniques for Distributed Systems, 35-49, 2013
12013
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
2017
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, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14