( en | de | ru )

 

Disambiguation of "Bouhoula, Adel"

Author of the publication

copydeleteadd this publication to your clipboard
SPIKE: A System for Automatic Inductive Proofs.

, and . AMAST, volume 936 of Lecture Notes in Computer Science, page 576-577. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Adel Sidarus

Adel Youssef

Adel Sattaf

Adel Mahmod

Jörg Adel

 

Other publications of authors with the same name

SPIKE: A System for Automatic Inductive Proofs., and . AMAST, volume 936 of Lecture Notes in Computer Science, page 576-577. Springer, (1995)Dynamic Scheme for Packet Classification Using Splay Trees., and . CISIS, volume 53 of Advances in Soft Computing, page 211-218. Springer, (2008)Tuple Based Approach for Anomalies Detection within Firewall Filtering Rules., and . ISCC, page 63-70. IEEE Computer Society, (2007)A Formal Approach for Automatic Detection and Correction of SDN Switch Misconfigurations., and . CNSM, page 1-5. IEEE, (2020)A Domain Specific Language for Securing Distributed Systems., , and . ICSNC, page 76. IEEE Computer Society, (2007)A Novel Multispectral Lab-depth based Edge Detector for Color Images with Occluded Objects., , , and . VISIGRAPP (4: VISAPP), page 272-279. SciTePress, (2019)Poster : Minimizing range rules for packet filtering using a double mask representation., , , , and . Networking, page 1-2. IEEE, (2019)Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations., , and . TRIDENTCOM, volume 270 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 96-112. Springer, (2018)Automated Induction with Constrained Tree Automata., and . IJCAR, volume 5195 of Lecture Notes in Computer Science, page 539-554. Springer, (2008)SPIKE, an Automatic Theorem Prover., , and . LPAR, volume 624 of Lecture Notes in Computer Science, page 460-462. Springer, (1992)