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 21-40 of 2629 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Moosbrugger, Marcel ; Müllner, Julian ; Kovács, Laura Automated Sensitivity Analysis for Probabilistic LoopsInproceedings Konferenzbeitrag 6-Nov-2023
22Eiter, Thomas ; Geibinger, Tobias Explaining Answer-Set Programs with Abstract Constraint Atoms (Extended Abstract)Inproceedings Konferenzbeitrag Nov-2023
23Schmidt-2023-IoTFlow Inferring IoT Device Behavior at Scale through Stati...-vor.pdf.jpgSchmidt, David ; Tagliaro, Carlotta ; Borgolte, Kevin ; Lindorfer, Martina IoTFlow: Inferring IoT Device Behavior at Scale through Static Mobile Companion App AnalysisInproceedings Konferenzbeitrag Nov-2023
24Sallinger, Sarah ; Weissenbacher, Georg ; Zuleger, Florian A Formalization of Heisenbugs and Their CausesInproceedings Konferenzbeitrag 31-Oct-2023
252023-Cookie Crumbles Breaking and Fixing Web Session Integrity-vor.pdf.jpgSquarcina, Marco ; Adão, Pedro ; Lorenzo Veronese ; Matteo Maffei Cookie Crumbles: Breaking and Fixing Web Session IntegrityInproceedings Konferenzbeitrag 26-Oct-2023
26Bonatti-2023-Circumscription in DL-Lite Progress Report-vor.pdf.jpgBonatti, Piero ; Di Stefano, Federica ; Ortiz, Magdalena ; Šimkus, Mantas Circumscription in DL-Lite: Progress ReportInproceedings Konferenzbeitrag 23-Oct-2023
27Ahmetaj-2023-Reconciling SHACL and Ontologies Semantics and Validation vi...-vor.pdf.jpgAhmetaj, Shqiponja ; Ortiz de la Fuente, Maria Magdalena ; Oudshoorn, Anouk Michelle ; Simkus, Mantas Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract)Inproceedings Konferenzbeitrag 23-Oct-2023
28Pelgrin, Olivier ; Taelman, Ruben ; Galárraga, Luis ; Hose, Katja GLENDA: Querying RDF Archives with Full SPARQLInproceedings Konferenzbeitrag 21-Oct-2023
292023-Reshaping Unplugged Computer Science Workshops forPrimary School Edu...-vor.pdf.jpgLandman, Martina ; Rain, Sophie ; Kovács, Laura ; Gerald Futschek Reshaping Unplugged Computer Science Workshops for Primary School EducationInproceedings Konferenzbeitrag 1-Oct-2023
30Larraz-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
31Taylor-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
32Tafese-2023-Btor2MLIR A Format for Hardware Verification-vor.pdf.jpgTafese, Joseph ; Gurfinkel, Arie ; Garcia-Contreras, Isabel Btor2MLIR: A Format for Hardware VerificationInproceedings Konferenzbeitrag Oct-2023
33Cai-2023-Local Search and Its Application in CDCLCDCLT solvers for SATSMT-vor.pdf.jpgCai, Shaowei Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMTKonferenzbeitrag Inproceedings Oct-2023
34Pastva-2023-Binary decision diagrams on modern hardware-vor.pdf.jpgPastva, Samuel ; Henzinger, Thomas A. Binary decision diagrams on modern hardwareKonferenzbeitrag Inproceedings Oct-2023
35Stuckey-2023-MiniZinc for Formal Methods-vor.pdf.jpgStuckey, Peter J. MiniZinc for Formal MethodsInproceedings Konferenzbeitrag Oct-2023
36Lam-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
37Godbole-2023-Modelling and Verification of Security-Oriented Resource Par...-vor.pdf.jpgGodbole, Adwait ; Ye, Leiqi ; Manerkar, Yatin A. ; Seshia, Sanjit Modelling and Verification of Security-Oriented Resource Partitioning SchemesInproceedings Konferenzbeitrag Oct-2023
38Fazekas-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
39Elsaleh-2023-DelBugV Delta-Debugging Neural Network Verifiers-vor.pdf.jpgElsaleh, Raya ; Katz, Guy DelBugV: Delta-Debugging Neural Network VerifiersInproceedings Konferenzbeitrag Oct-2023
40Qin-2023-Conformance Testing for Stochastic Cyber-Physical Systems-vor.pdf.jpgQin, Xin ; Hashemi, Navid ; Lindemann, Lars ; Deshmukh, Jyotirmoy V. Conformance Testing for Stochastic Cyber-Physical SystemsInproceedings Konferenzbeitrag Oct-2023