نتائج البحث

Quantitative Input Usage Static Analysis

• Authors : Mazzucato, Denis; Campion, Marco; Urban, Caterina ...

Subjects: Quantitative Verification; Static Analysis; Abstract InterpretationMoffett Field (CA); United States

• Source: Lecture Notes in Computer Science ; NASA Formal Methods 2024 ; https://hal.science/hal-04339001 ; NASA Formal Methods 2024, Jun 2024, Moffett Field (CA), United States. pp.79-98,

تفاصيل العنوان

Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation

• Authors : Lermusiaux, Pierre; Montagu, Benoît;

Subjects: Static Analysis; Exceptions; Higher-Order ProgramsLuxembourg

• Source: Programming Languages and Systems, 33rd European Symposium on Programming, ESOP 2024, Lecture Notes in Computer Science ; ESOP 2024 - 33rd European Symposium on Programming ;

تفاصيل العنوان

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)

• Authors : Monat, Raphaël; Milanese, Marco; Parolini, Francesco ...

Subjects: Static Analysis; Abstract Interpretation; Competition on Software VerificationLuxembourg City; Luxembourg

• Source: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024 ; https://hal.science/hal-04536418 ; Tools and Algorithms for the Construction and

تفاصيل العنوان

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)

• Authors : Monat, Raphaël; Milanese, Marco; Parolini, Francesco ...

Subjects: Static Analysis; Abstract Interpretation; Competition on Software VerificationLuxembourg City; Luxembourg

• Source: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024 ; https://hal.science/hal-04536418 ; Tools and Algorithms for the Construction and

تفاصيل العنوان

Alias : pointeurs espionnés en série

• Authors : Le Gall, Tristan; Rochel, Jan; Faissole, Florian ...

Subjects: Alias analysis; Pointer analysis; Static analysisSaint-Jacut-de-la-Mer; France

• Source: 35es Journées Francophones des Langages Applicatifs (JFLA 2024)https://hal.science/hal-0440714035es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024,

تفاصيل العنوان

Behavior of functionally graded carbon nanotube reinforced composite sandwich beams with pultruded GFRP core under bending effect

• Authors : Asyraf, Muhammad Rizal Muhammad; Özkılıç, Yasin Onuralp; Madenci, Emrah

Subjects: carbon nanotube; composite sandwich beam; glass fiber-reinforced polymer

تفاصيل العنوان

Assessment of the seismic capacity of existing RC buildings short columns or soft storey, in accordance with the Second-Degree Pre-earthquake Inspection

• Authors : PANAGOPOULOU, MARIA; Lamprini Zochiou

Subjects: Reinforced concrete; Second-degree pre-earthquake inspection; Non-linear static analysis

• Source: Technical Annals; Vol. 1 No. 6 (2024): Technical Annals ; 2945-0330

تفاصيل العنوان

On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability

• Authors : Krishna, Shankaranarayanan; Lal, Aniket; Pavlogiannis, Andreas

Subjects: CFL reachability; dynamic algorithms; static analysis

• Source: Krishna , S , Lal , A , Pavlogiannis , A & Tuppe , O 2024 , ' On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability ' ,

تفاصيل العنوان

Improving Logic Bomb Identification in Android Apps via Context-Aware Anomaly Detection

• Authors : ALECCI, Marco; SAMHI, Jordan; LI, Li

Subjects: Logic Bomb; Malware; Android Security

• Source: IEEE Transactions on Dependable and Secure Computing (2024)

تفاصيل العنوان

A mechanical analysis of variable angle-tow composite plates through variable kinematics models based on Carrera’s unified formulation

• Authors : Iannotta, D.A.; Giunta, G.; Montemurro, Marco ...

Subjects: Civil and Structural Engineering; Ceramics and Composites; Static analysis

• Source: ISSN: 0263-8223 ; Composite Structures ; https://hal.science/hal-04472455 ; Composite Structures, 2024, 327, pp.117717. ⟨10.1016/j.compstruct.2023.117717⟩.

تفاصيل العنوان