Reproduction Package for TOSEM Submission "Precise Error Conditions"
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch-Rosenfeld et autres
0 citationsZenodo (CERN European Organization for Nuclear Research)
Dirk Beyer
Informations fournies par OpenAlex. Research Africa ne déduit ni nationalité, ni poste, ni coordonnées personnelles.
442Publications signalées
9399Citations signalées
3Affiliations récentes
Institutions déclarées
Domaines associés
Software Testing and Debugging TechniquesFormal Methods in VerificationSoftware Reliability and Analysis ResearchSoftware Engineering ResearchAdvancements in Photolithography Techniques
Publications récentes
Reproduction Package for TOSEM Submission "Precise Error Conditions"
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch-Rosenfeld et autres
0 citationsZenodo (CERN European Organization for Nuclear Research)
SV-Witnesses - WitnessLint 2.2
Dirk Beyer, Marian Lingsch-Rosenfeld, Jan Strejček, Levente Bajczi et autres
0 citationsZenodo (CERN European Organization for Nuclear Research)
Reproduction Package for ATIQSER 2026 submission "DOIchecker: A Tool for Validating Bibliographies of Research Papers"
Dirk Beyer, Marian Lingsch-Rosenfeld
0 citationsZenodo (CERN European Organization for Nuclear Research)
Reproduction Package for ATIQSER 2026 submission "DOIchecker: A Tool for Validating Bibliographies of Research Papers"
Dirk Beyer, Marian Lingsch-Rosenfeld
0 citationsZenodo (CERN European Organization for Nuclear Research)
BenchCloud Release 1.9
Max Barth, Dirk Beyer, Po-Chun Chien, Marek Jankola
0 citationsZenodo (CERN European Organization for Nuclear Research)
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs
Po-Chun Chien, Nian-Ze Lee, Armin Biere, Dirk Beyer
0 citationsarXiv (Cornell University)
FM-Tools Release 2.4: Data Set of Metadata about Tools for Formal Methods
0 citationsZenodo (CERN European Organization for Nuclear Research)
Reproduction Package for SEFM 2026 Submission `Revisiting Sequentialization of Concurrent C Programs'
Dirk Beyer, Noah König, Marian Lingsch-Rosenfeld
0 citationsZenodo (CERN European Organization for Nuclear Research)
Conversation Records for the ISOLA 2026 Article `FM Meets AI: Equipping AI Agents with Formal-Methods Tools'
Dirk Beyer, Thomas R. Lemberger, Henrik Wachowitz
0 citationsZenodo (CERN European Organization for Nuclear Research)
HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects
Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee et autres
0 citations
Reproduction Package for the CAV 2026 submission: "SvLibChecker: A Light-Weight Tool for Software Model Checking"
Dirk Beyer, Marian Lingsch-Rosenfeld
1 citationZenodo (CERN European Organization for Nuclear Research)
BNTIC News n’est pas le producteur de ces données. Recherche à la demande dans Crossref et Europe PMC, sans clé ; OpenAlex reste optionnel. Aucun service payant requis, aucune réponse conservée. Sources et limites.