Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 101-120 of 4990 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
101Taylor-2023-Cycle and Commute Rare-Event Probability Verification for Che...-vor.pdf.jpgTaylor, Landon ; Israelsen, Bryant ; Zhang, Zhen Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction NetworksInproceedings Konferenzbeitrag Oct-2023
102Larraz-2023-CRV An Automated Resiliency Reasoner for System Design Models-vor.pdf.jpgLarraz, Daniel ; Lorch, Robert ; Yahyazadeh, Moosa ; Arif, M. Fareed ; Chowdhury, Omar ; Tinelli, Cesare CRV: An Automated Resiliency Reasoner for System Design ModelsInproceedings Konferenzbeitrag Oct-2023
103Wilson-2023-Partitioning Strategies for Distributed SMT Solving-vor.pdf.jpgWilson, Amalee ; Noetzli, Andres ; Reynolds, Andrew ; Cook, Byron ; Tinelli, Cesare ; Barrett, Clark Partitioning Strategies for Distributed SMT SolvingInproceedings Konferenzbeitrag Oct-2023
104Meng-2023-Towards a Correct-by-Construction Design of Integrated Modular ...-vor.pdf.jpgMeng, Baoluo ; Debnath,Joyanta ; Varanasi, Sarat Chandra ; Manolios, Emmanuel ; Durling, Michael ; Paul, Saswata ; Prince, Daniel ; Alsabbagh, Saif ; Haadsma, Richard ; McMillan, Craig ; Zhang, Chi ; Oates, Tim Towards a Correct-by-Construction Design of Integrated Modular AvionicsInproceedings Konferenzbeitrag Oct-2023
105Zhang-2023-Fortis A Tool for Analysis and Repair of Robust Software Systems-vor.pdf.jpgZhang, Changjian ; Dardik, Ian ; Meira-Góes, Rômulo ; Garlan, David ; Kang, Eusnuk Fortis: A Tool for Analysis and Repair of Robust Software SystemsInproceedings Konferenzbeitrag Oct-2023
106Codel-2023-Verified Encodings for SAT Solvers-vor.pdf.jpgCodel, Cayden ; Avigad, Jeremy ; Heule, Marijn Verified Encodings for SAT SolversInproceedings Konferenzbeitrag Oct-2023
107Kiesl-Reiter-2023-Proofs for Incremental SAT with Inprocessing-vor.pdf.jpgKiesl-Reiter, Benjamin ; Whalen, Michael W. Proofs for Incremental SAT with InprocessingInproceedings Konferenzbeitrag Oct-2023
108Lam-2023-Lift-off Trustworthy ARMv8 semantics from formal specifications-vor.pdf.jpgLam, Kait ; Coughlin, Nicholas Lift-off: Trustworthy ARMv8 semantics from formal specificationsInproceedings Konferenzbeitrag Oct-2023
109Fazekas-2023-SAT-Based Quantified Symmetric Minimization of the Reachable...-vor.pdf.jpgFazekas, Katalin ; Aman, Goel ; Sakallah, Karem SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed ProtocolsInproceedings Konferenzbeitrag Oct-2023
110Rozier-2023-Developing an Open-Source, State-of-the-Art Symbolic Model-Ch...-vor.pdf.jpgRozier, Kristin Yvonne ; Shankar, Natarajan ; Tinelli, Cesare ; Vardi, Moshe Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research CommunityInproceedings Konferenzbeitrag Oct-2023
111Meel-2023-Distribution Testing The New Frontier for Formal Methods-vor.pdf.jpgMeel, Kuldeep Distribution Testing: The New Frontier for Formal MethodsInproceedings Konferenzbeitrag Oct-2023
112Bernardes Fernandes Ferreira-2023-A provably correct floating-point imple...-vor.pdf.jpgBernardes Fernandes Ferreira, Nikson ; Moscato, Mariano ; Titolo, Laura ; Ayala-Rincon, Mauricio A provably correct floating-point implementation of Well Clear Avionics ConceptsInproceedings Konferenzbeitrag Oct-2023
113Bonacina-2023-Reasoning about quantifiers in SMT the QSMA algorithm-vor.pdf.jpgBonacina, Maria Paola Reasoning about quantifiers in SMT: the QSMA algorithmInproceedings Konferenzbeitrag Oct-2023
114Chen-2023-Efficient Algorithms for Monroe and CC Rules in Multi-Winner El...-vor.pdf.jpgChen, Jiehua ; Hatschka, Christian ; Simola, Sofia Efficient Algorithms for Monroe and CC Rules in Multi-Winner Elections with (Nearly) Structured PreferencesInproceedings Konferenzbeitrag 28-Sep-2023
115Ahmetaj-2023-Reconciling SHACL and Ontologies Semantics and Validation vi...-vor.pdf.jpgAhmetaj, Shqiponja ; Ortiz, Magdalena ; Oudshoorn, Anouk ; Šimkus, Mantas Reconciling SHACL and Ontologies: Semantics and Validation via RewritingInproceedings Konferenzbeitrag 28-Sep-2023
116Parent, Xavier Nonstandard betterness and conditional obligationPresentation Vortrag27-Sep-2023
117Fermüller, Christian ; Freiman, Robert ; Lang, Timo Achim Game Models of Producer-Consumer Interactions and Substructural Sequent SystemsPresentation Vortrag27-Sep-2023
118Freiman, Robert ; Bernreiter, Michael Truth and Preferences - A Game Approach for Qualitative Choice LogicInproceedings Konferenzbeitrag 24-Sep-2023
119Zhang-2023-Searching for Smallest Universal Graphs and Tournaments with SAT-vor.pdf.jpgZhang, Tianwei ; Szeider, Stefan Searching for Smallest Universal Graphs and Tournaments with SATInproceedings Konferenzbeitrag 22-Sep-2023
120Ramaswamy-2023-Proven Optimally-Balanced Latin Rectangles with SAT-vor.pdf.jpgRamaswamy, Vaidyanathan Peruvemba ; Szeider, Stefan Proven Optimally-Balanced Latin Rectangles with SATInproceedings Konferenzbeitrag 22-Sep-2023