Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Irfan Ahmed
3394  Ergebnisse:
Personensuche X
?
1

Testing Dafny (experience paper):

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
Irfan, Ahmed ; Porncharoenwase, Sorawee ; Rakamarić, Zvonimir.. - p. 556-567 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Bit-Precise Reasoning via Int-Blasting:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Zohar, Yoni ; Irfan, Ahmed ; Mann, Makai... - p. 496-518 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Counterexample-Guided Prophecy for Model Checking Modulo th..:

Mann, Makai ; Irfan, Ahmed ; Griggio, Alberto..
Logical Methods in Computer Science.  18, Issue 3 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
4

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,
Mann, Makai ; Wilson, Amalee ; Zohar, Yoni... - p. 377-386 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Implicit Semi-Algebraic Abstraction for Polynomial Dynamica..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Mover, Sergio ; Cimatti, Alessandro ; Griggio, Alberto.. - p. 529-551 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Counterexample-Guided Prophecy for Model Checking Modulo th..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Mann, Makai ; Irfan, Ahmed ; Griggio, Alberto.. - p. 113-132 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Pono: A Flexible and Extensible SMT-Based Model Checker:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Mann, Makai ; Irfan, Ahmed ; Lonsing, Florian... - p. 461-474 , 2021
Link: https://doi.org/10.1007/..
 
?
8

An Audit on the implementation of administering Ondansetron..:

Saskia, D'Sa ; Ahad, Hussain ; Mushtaq, Hussain...
Journal of Advanced Pediatrics and Child Health.  4 (2021)  1 - p. 023-026 , 2021
Link: https://doi.org/10.29328..
 
?
9

Optimization Modulo Non-linear Arithmetic via Incremental L..:

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,
Bigarella, Filippo ; Cimatti, Alessandro ; Griggio, Alberto... - p. 213-231 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Towards Verification of Neural Networks for Small Unmanned ..:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Irfan, Ahmed ; Julian, Kyle D. ; Wu, Haoze... - p. 1-10 , 2020
Link: https://doi.org/10.1109/..
 
?
11

Parallelization Techniques for Verifying Neural Networks:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Wu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar... - p. 128-137 , 2020
Link: https://doi.org/10.34727..
 
?
12

First-principles investigations of manganese oxide (MnOx) c..:

Muhammad, Rafique ; Shuai, Yong ; Irfan, Ahmed.
RSC Advances.  8 (2018)  42 - p. 23688-23697 , 2018
Link: https://doi.org/10.1039/..
 
?
13

Program to Improve Private Early Education (PIPE): a case s..:

Jain, Vikram ; Irfan, Ahmed ; Kirtane Vanikar, Gauri
Annals of the New York Academy of Sciences.  1419 (2018)  1 - p. 38-56 , 2018
Link: https://doi.org/10.1111/..
 
?
14

Incremental Linearization for Satisfiability and Verificati..:

Cimatti, Alessandro ; Griggio, Alberto ; Irfan, Ahmed..
ACM Transactions on Computational Logic (TOCL).  19 (2018)  3 - p. 1-52 , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

Incremental Linearization for Satisfiability and Verificati..:

Cimatti, Alessandro ; Griggio, Alberto ; Irfan, Ahmed..
ACM Transactions on Computational Logic.  19 (2018)  3 - p. 1-52 , 2018
Link: https://doi.org/10.1145/..
 
1-15