599 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- National and Kapodistrian University of AthensGR24 papers
- National Technical University of AthensGR11 papers
- Athena Research and Innovation Center In Information Communication & Knowledge TechnologiesGR9 papers
- Athens State UniversityUS7 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Centrum Wiskunde & InformaticaNL7 papers
- Delft University of TechnologyNL7 papers
- École PolytechniqueFR7 papers
- University College LondonGB7 papers
- University of OxfordGB7 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR6 papers
- University of AmsterdamNL6 papers
Showing 2024 · cs.SEShow all
2 papers · 2 filters
cs.SE2024★ 6 cited
A Systematic Literature Review on a Decade of Industrial TLA+ Practice
Roman Bögli, Leandro Lerena, Christos Tsigkanos +1
TLA+ is a formal specification language used for designing, modeling, documenting, and verifying systems through model checking. Despite significant interest from the research comm…
cs.SE2024★ 1 cited
Broken Windows: Exploring the Applicability of a Controversial Theory on Code Quality
Diomidis Spinellis, Panos Louridas, Maria Kechagia +1
Is the quality of existing code correlated with the quality of subsequent changes? According to the (controversial) broken windows theory, which inspired this study, disorder sets…