Volltext-Artikel, E-Books und Literaturhinweise aus dem EBSCO Discovery Service
"Artikel & mehr" berücksichtigt nur einen Teil der für die Bibliothek der Frankfurt UAS verfügbaren Datenbanken. Zur Übersicht in DBIS
Ergebnis verändern
- Publikationstyp
Publikationstyp- Thema
- erschienen in
- Verlag
- Sprache
-
1
von Sultan, Oren ; Armengol-Estape, Jordi ; Kesseli, Pascal ; et al.
Schlagworte: Computation and Language; Artificial Intelligence; Programming Languages
-
2
von David, Cristina ; Kesseli, Pascal ; Kroening, Daniel ; et al.
Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. :444-455
-
3
Schlagworte: Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science; 68T27; F.4.1; I.2.3; I.2.8
-
4
von Weis, Matthias ; Marks, Philipp ; Maschler, Benjamin ; et al.
2021 IEEE 19th International Conference on Industrial Informatics (INDIN) Industrial Informatics (INDIN), 2021 IEEE 19th International Conference on. :1-8 Jul, 2021
-
5
von Weiß, Matthias ; Marks, Philipp ; Maschler, Benjamin ; et al.
Schlagworte: Computer Science - Software Engineering; Computer Science - Formal Languages and Automata Theory; Computer Science - Programming Languages; Electrical Engineering and Systems Science - Systems and Control
-
6
von Abate, Alessandro ; Bessa, Iury ; Cattaruzza, Dario ; et al.
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2017 32nd IEEE/ACM International Conference on. :919-924 Oct, 2017
-
7
von Abate, Alessandro ; Bessa, Iury ; Cattaruzza, Dario ; et al.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control. :197-206
-
8
von David, Cristina ; Kesseli, Pascal ; Kroening, Daniel ; et al.
ACM Transactions on Programming Languages and Systems (TOPLAS). 40(2):1-45
-
9
Schlagworte: Computer Science - Programming Languages
-
10
von Abate, Alessandro ; Bessa, Iury ; Cattaruzza, Dario ; et al.
Schlagworte: Computer Science - Systems and Control; Computer Science - Logic in Computer Science
-
11
von Nellis, Adam ; Kesseli, Pascal ; Conmy, Philippa Ryan ; et al.
Schlagworte: Computer Science - Software Engineering; D.2.5
-
12
von Abate, Alessandro ; Barbosa, Haniel ; Barrett, Clark ; et al.
Journal of Automated Reasoning. 67(2)
-
13
von Abate, Alessandro ; David, Cristina ; Kesseli, Pascal ; et al.
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. 10981:270-288
-
14
von Cordeiro, Lucas ; Kesseli, Pascal ; Kroening, Daniel ; et al.
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. 10981:183-190
-
15
von Abate, Alessandro ; Bessa, Iury ; Cordeiro, Lucas ; et al.
Acta Informatica. 57(12):223-244
-
16
von David, Cristina ; Kesseli, Pascal ; Kroening, Daniel ; et al.
FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. 9995:182-198
-
17
von Nellis, Adam ; Kesseli, Pascal ; Conmy, Philippa Ryan ; et al.
NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. 9690:49-64
-
18
von Chapman, Martin ; Chockler, Hana ; Kesseli, Pascal ; et al.
Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. 9364:114-130
-
19
von David, Cristina ; Kesseli, Pascal ; Kroening, Daniel ; et al.
Schlagworte: Software Engineering; text
-
20
von Chockler, Hana ; Kesseli, Pascal ; Kroening, Daniel ; et al.
Chockler, H, Kesseli, P, Kroening, D & Strichman, O 2020, 'Learning the Language of Software Errors', Journal of Artificial Intelligence Research, vol. 67, pp. 881-903. https://doi.org/10.1613/jair.1.11798
- 21
- 22
-
23
von David, Cristina ; Kesseli, Pascal ; Kroening, Daniel ; et al.
Schlagworte: 46 Information and Computing Sciences; 4612 Software Engineering; Conference Object
-
24
von Abate, Alessandro ; Bessa, Iury ; Cattaruzza, Dario ; et al.
Schlagworte: 4901 Applied Mathematics; 49 Mathematical Sciences; 4007 Control Engineering, Mechatronics and Robotics; 40 Engineering; Conference Object
-
25
von Abate, Alessandro ; Bessa, Yuri ; Cattaruzza, Dario ; et al.
Schlagworte: 46 Information and Computing Sciences; Conference Object
Hilfe & Kontakt ǀ Fernleihe | Hilfe zur Fernleihe ǀ Literaturvorschlag| Literaturvorschlag