Search Results - "Theory of computation Logic Automated reasoning"

Diversity-Driven Automated Formal Verification by First, Emily, Brun, Yuriy

“…Formally verified correctness is one of the most desirable properties of software systems. But despite great progress made via interactive theorem provers,…”
Get full text

AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants by Doan, Long, Nguyen, ThanhVu

“…Proof assistants such as Coq and LEAN have been increasingly used by renowned mathematicians to formalize and prove mathematical theorems. Despite their…”
Get full text

Automated Analysis of Inter-Parameter Dependencies in Web APIs by Martin-Lopez, Alberto

“…Web services often impose constraints that restrict the way in which two or more input parameters can be combined to form valid calls to the service, i.e…”
Get full text

Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams by Huang, Xuanxiang, Che, Haipeng, Fang, Liangda, Chen, Qingliang, Guan, Quanlong, Deng, Yuhui, Su, Kaile

“…A recently proposed canonical representation called Bi-Kronecker Functional Decision Diagrams (BKFDDs) utilizes the classical decompositions (the Shannon and…”
Get full text

Feature-Oriented Programming and the AHEAD Tool Suite by Batory, Don

“…Feature Oriented Programming (FOP) is an emerging paradigmfor application synthesis, analysis, and optimization. Atarget application is specified declaratively…”
Get full text

Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects by Voggenreiter, Markus, Schopp, Ulrich

“…Integrating security activities into the software development lifecycle to detect security flaws is essential for any project. These activities produce reports…”
Get full text

Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers by Lathouwers, Sophie, Huisman, Marieke

“…Deductive verification can be used to ensure properties about all possible behaviours of a program, even when the program is parameterised and has an unbounded…”
Get full text

Assume-Guarantee Verification of Source Code with Design-Level Assumptions by Giannakopoulou, Dimitra, Pasareanu, Corina S., Cobleigh, Jamieson M.

“…Model checking is an automated technique that can beused to determine whether a system satisfies certain requiredproperties. To address the "state explosion"…”
Get full text

Goal-conflict detection based on temporal satisfiability checking by Degiovanni, Renzo, Ricci, Nicolas, Alrajeh, Dalal, Castro, Pablo, Aguirre, Nazareno

“…Goal-oriented requirements engineering approaches propose capturing how a system should behave through the specification of high-level goals, from which…”
Get full text

Deep Reinforcement Learning of Abstract Reasoning from Demonstrations by Clark-Turner, Madison, Begum, Momotaz

“…Extracting a set of generalizable rules that govern the dynamics of complex, high-level interactions between humans based only on observations is a high-level…”
Get full text

Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers by Nakamura, Masaki, Sakakibara, Kazutoshi

“…Autonomous vehicle technology has been rapidly developed in recent years. For safety and efficient smart cities with a lot of such autonomous vehicles in a…”
Get full text

Agile Process Tailoring and probLem analYsis (APTLY) by Keenan, Frank

“…Developing software using a well-defined, well-understoodprocess improves the likelihood of deliveringa product with the required quality. Enhancing…”
Get full text

Abstraction based reachability analysis for finite branching stochastic hybrid systems by Zhang, Wenji, Prabhakar, Pavithra, Natarajan, Balasubramaniam

“…In this paper, we address the problem of computing the probability of reaching a desired set in a subclass of stochastic hybrid systems, wherein the…”
Get full text

Tutorial: An Overview of UML 2.0 by Selic, Bran

“…This half-day tutorial covers the salient aspects of the first major revision of the Unified Modeling Language UML 2.0. In this brief summary, we briefly…”
Get full text

Motion and Episode Models for (Simulated) Football Games: Acquisition, Representation, and Use by Beetz, Michael, Stammeier, Thomas, Flossmann, Sven

“…One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of…”
Get full text

Data Structure Health by Mitchell, Nick, Sevitsky, Gary, Kumanan, Palani, Schonberg, Edith

“…Applications often have large runtime memory requirements. In some cases, large memory footprint helps accomplish an important functional, performance, or…”
Get full text

Utilization of departmental computing GRID system for development of an artificial intelligent tapping inspection method, tapping sound analysis by Kim, Seung Jo, Hwang, Joon-Seok, Lee, Chang Sung, Lee, Sangsan

“…Tapping Sound Analysis is a new NDE method, which determines the existence of subsurface defects by comparing the tapping sound of test structure and original…”
Get full text

Static Analysis-based program evolution support in the common lisp framework by Narayanswamy, K.

“…The Common Lisp Framework(CLF) is an object-oriented environment to support the development and maintenance of programs written in the language Common Lisp. A…”
Get full text

Interactive compaction router for VLSI layout by Mori, Hajimu

“…This paper describes an interactive router for compacting building block VLSI layout. It allows the designer to manipulate the functional block location on the…”
Get full text

A new approach for automatic parallelization of blocked linear Algebra computations by Kung, H. T., Subhlok, Jaspal

“…This paper describes a new approach for automatic generation of efficient parallel programs from sequential blocked linear algebra programs. By exploiting…”
Get full text