Výsledky vyhľadávania - "Reiner Hähnle"

List of Authors

Autori: Elvira Albert (upm Miguel Gómez-zamalloa (upm Reiner Hähnle (tud a ďalší

Prispievatelia: Elvira Albert (upm Miguel Gómez-zamalloa (upm Reiner Hähnle (tud a ďalší

Zdroj: http://www.hats-project.eu/sites/default/files/Deliverable2.3.pdf.

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.432.1931

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.432.1931
http://www.hats-project.eu/sites/default/files/Deliverable2.3.pdf

List of Authors

Autori: Part A Reiner Hähnle (cth Bjarte M. Østvold (nr a ďalší

Prispievatelia: Part A Reiner Hähnle (cth Bjarte M. Østvold (nr a ďalší

Zdroj: http://www.hats-project.eu/sites/default/files/Deliverable11a_rev2.pdf.

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.5258

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.5258
http://www.hats-project.eu/sites/default/files/Deliverable11a_rev2.pdf

Contemporary Software Modernization: Strategies, Driving Forces, and Research Opportunities.

Autori: Assunção, Wesley K. G. Marchezan, Luciano Arkoh, Lawrence a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-35, 35p

Predmety: DIGITAL transformation, SOFTWARE engineering, LEGACY systems, ARCHITECTURAL style, PROGRAMMING languages

Efficient Black-Box Checking with Specification-Guided Abstraction.

Autori: Matsumoto, Tsubasa Watanabe, Kazuki Suenaga, Kohei a ďalší

Zdroj: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-26, 26p

Predmety: CYBER physical systems, VERIFICATION of computer systems, DYNAMIC testing, ABSTRACTION (Computer science), MATHEMATICAL optimization, MACHINE theory

Using (Not-so) Large Language Models to Generate Simulation Models in a Formal DSL: A Study on Reaction Networks.

Autori: Kreikemeyer, Justin Noah Jankowski, Miłosz Wilsdorf, Pia a ďalší

Zdroj: ACM Transactions on Modeling & Computer Simulation; Oct2025, Vol. 35 Issue 4, p1-27, 27p

Predmety: SIMULATION methods & models, LANGUAGE models, DYNAMIC models, NATURAL language processing, MODELING languages (Computer science), QUANTITATIVE research

Interactive geospatial stories for flood management.

Autori: Konev, Artem Sadransky, Bernhard Rauer-Zechmeister, Silvana a ďalší

Zdroj: ACM Transactions on Modeling & Computer Simulation; Oct2025, Vol. 35 Issue 4, p1-17, 17p

Predmety: FLOODPLAIN management, DIGITAL storytelling, DECISION making, VISUALIZATION, GREEN infrastructure, SIMULATION methods & models, STAKEHOLDER analysis

Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autori: Reiner Hähnle Wil van der Aalst

Typ zdroja: eBook.

Predmet: Computer industry, Information theory, Computer system performance, Software engineering, Computer science, Computer simulation, Electronic data processing, Digital computer simulation

Kategórie: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Computer Simulation

A Road-Map to Readily Available Early Validation and Verification of System Behaviour in Model-Based Systems Engineering using Software Engineering Best Practices.

Autori: Cederbladh, Johan Cicchetti, Antonio Jongeling, Robbert

Zdroj: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-30, 30p

Predmety: SYSTEMS engineering, TECHNOLOGICAL innovations, SOFTWARE engineering, NATURAL languages, MARKET timing

SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences.

Autori: Lyu, Deyun Zhang, Zhenya Arcaini, Paolo a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-35, 35p

Predmety: CYBER physical systems, ARTIFICIAL neural networks, SAFETY standards, FAILURE analysis, RISK assessment, ADAPTIVE control systems

Hybrid Quantum–Classical Deep Neural Networks Based Smart Contract Vulnerability Detection.

Autori: Durgut, Sinan Küçüksille, Ecir Uğur Tokmak, Mahmut

Zdroj: Applied Sciences (2076-3417); Apr2025, Vol. 15 Issue 7, p4037, 24p

Predmety: ARTIFICIAL neural networks, BLOCKCHAINS, ACCESS control, QUANTUM computing, DAMAGES (Law), DEEP learning

A-ordered tableaux

Autori: Reiner Hähnle Stefan Klingenbeck

Zdroj: Journal of Logic and Computation. 6:819-833

Predmety: ground clause tableaux, Mechanization of proofs and logical operations, 0202 electrical engineering, electronic engineering, information engineering, A-orderings, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theorem proving (deduction, resolution, etc.)

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/981818
https://doi.org/10.1093/logcom/6.6.819
https://academic.oup.com/logcom/article/6/6/819/965924
https://tubiblio.ulb.tu-darmstadt.de/96794/
https://core.ac.uk/display/21745086
https://dblp.uni-trier.de/db/journals/logcom/logcom6.html#HahnleK96
http://logcom.oxfordjournals.org/content/6/6/819.abstract
https://publikationen.bibliothek.kit.edu/230196

Handbook of Tableau Methods, Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, eds.

Autori: de Rijke, Maarten

Zdroj: Journal of Logic, Language & Information; Dec2001, Vol. 10 Issue 4, p518-523, 6p

Modern Code Reviews—Survey of Literature and Practice.

Autori: BADAMPUDI, DEEPIKA UNTERKALMSTEINER, MICHAEL BRITTO, RICARDO

Zdroj: ACM Transactions on Software Engineering & Methodology; Jul2023, Vol. 32 Issue 4, p1-61, 61p

Context, Composition, Automation, and Communication: The C²AC Roadmap for Modeling and Simulation.

Autori: UHRMACHER, ADELINDE M. FRAZIER, PETER HÄHNLE, REINER a ďalší

Zdroj: ACM Transactions on Modeling & Computer Simulation; Oct2024, Vol. 34 Issue 4, p1-51, 51p

Predmety: RESEARCH questions, DECISION making, COMMUNICATION models, SIMULATION methods & models, COVID-19

Adaptive Shivers Sort: An Alternative Sorting Algorithm.

Autori: Jugé, Vincent

Zdroj: ACM Transactions on Algorithms; Oct2024, Vol. 20 Issue 4, p1-55, 55p

Predmety: APPROXIMATION algorithms, PROGRAMMING languages, GENERALIZATION, ALGORITHMS, SHIVERING

A-Ordered Tableaux

Autori: Reiner Hähnle Stefan Klingenbeck The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Reiner Hähnle Stefan Klingenbeck The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.chalmers.se/~reiner/papers/Ordered-Tableaux-JLC.ps.gz.

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.4005

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.4005
http://www.cs.chalmers.se/~reiner/papers/Ordered-Tableaux-JLC.ps.gz

Proving Correctness of Parallel Implementations of Transition System Models.

Autori: de Boer, Frank Johnsen, Einar Broch Pun, Violet Ka I a ďalší

Zdroj: ACM Transactions on Programming Languages & Systems; Sep2024, Vol. 46 Issue 3, p1-50, 50p

Predmety: PARALLEL processing, PROOF of concept, SIMULATION methods & models, SEMANTICS, MEMORY

Short CNF in finitely-valued logics

Autori: Reiner Hähnle

Zdroj: Lecture Notes in Computer Science ISBN: 9783540568049

Predmety: 16. Peace & justice

Prístupová URL adresa: https://link.springer.com/chapter/10.1007%2F3-540-56804-2_5
https://link.springer.com/content/pdf/10.1007%2F3-540-56804-2_5.pdf
https://dblp.uni-trier.de/db/conf/ismis/ismis93.html#Hahnle93
https://rd.springer.com/chapter/10.1007/3-540-56804-2_5

Automated model analysis tools and techniques presented at FASE 2019.

Autori: Hähnle, Reiner van der Aalst, Wil

Zdroj: International Journal on Software Tools for Technology Transfer; Jun2021, Vol. 23 Issue 3, p285-287, 3p

Predmety: SOFTWARE engineering, SOFTWARE engineers, CONFERENCES & conventions, DATA analysis

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

Autori: Din, Crystal Chang Hähnle, Reiner Henrio, Ludovic a ďalší

Zdroj: ACM Transactions on Programming Languages & Systems; Mar2024, Vol. 46 Issue 1, p1-58, 58p

Predmety: PROGRAMMING language semantics, SYMBOLIC computation, LOGIC, LOGIC design, MODULAR design, FIRST-order logic, SEMANTICS, CONCRETE