Sortiert nach
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, p.453-464
2019
- Link zum Volltext
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.1805-1817
2022
Link zum Volltext
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023, p.564-575
2023
Link zum Volltext
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022, p.1-5
2022
Link zum Volltext
Software engineering notes, 2022-02, Vol.43 (4), p.56-60
2022
Link zum Volltext
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018, p.400-410
2018
Link zum Volltext
Software engineering notes, 2021-09, Vol.44 (4), p.16-16
2021
Link zum Volltext
Software engineering notes, 2020-04, Vol.45 (2), p.20-22
- Artho, Cyrille
- Phan, Quoc-Sang
- Aldous, Peter
- Almaawi, Alyas
- Bang, Lucas
- Berglund, Lasse
- Bultan, Tevfik
- Chen, Zhenbang
- Converse, Hayes
- Dong, Wei
- Eiers, William
- Gligoric, Milos
- Goldsmith, Simon
- Grunske, Lars
- Hooker, Joshua
- Kadron, Ismet Burak
- Kehrer, Timo
- Khurshid, Sarfraz
- Le, Xuan-Bach D.
- Lo, David
- Mercer, Eric
- Misailovic, Sasa
- Namakonov, Egor
- Lam Nguyen, Hoang
- Noller, Yannic
- Ogles, Benjamin
- Padhye, Rohan
- Parizek, Pavel
- Păsăreanu, Corina S.
- Powell, S. Jacob
- Saha, Seemanta
- Sen, Koushik
- Sherman, Elena
- Storey, Kyle
- Tang, Minxing
- Visser, Willem
- Wang, Ji
- Yu, Hengbiao
2020
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Software Engineering
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Access Control
- Automation & Control Systems
- Model Counting
- Policy Analysis
- Quantitative Program Analysis
- Security And Privacy -- Formal Methods And Theory Of Security -- Logic And Verification
- Security And Privacy -- Security Services -- Access Control
- Software Engineering
- Analytical Models
- Automata
- Cloud Computing
- Computational Modeling
- Computer Engineering
- Confidentiality
- Constraint Modelling
Kollektion
Zeitschrift / Serie