Suivre
Bashar Igried
Bashar Igried
Assistant professor
Adresse e-mail validée de hu.edu.jo
Titre
Citée par
Citée par
Année
Programming with monadic CSP-style processes in dependent type theory
B Igried, A Setzer
Proceedings of the 1st International Workshop on Type-Driven Development, 28-38, 2016
102016
Defining trace semantics for CSP-Agda, 30 Jan 2018
B Igried, A Setzer
in Postproceedings TYPES, 2016
32016
CSP-Agda
B Igried, A Setzer
Agda library, 2016
32016
Risk and Vulnerability Analyses for the protection of Information for Future communication security Based Neural Networks
AK Igried, AS Takialddin, AKB Igried
Journal of Advanced Sciences and Engineering Technologies 2 (1), 31-39, 2019
22019
Trace and stable failures semantics for csp-agda
B Igried, A Setzer
arXiv preprint arXiv:1709.04714, 2017
22017
Formal Verification for Feature-based Composition of Workflows
S Adelsberger, B Igried, M Moser, V Savenkov, A Setzer
2018 14th European Dependable Computing Conference (EDCC), 173-181, 2018
12018
TYPES 2016: 22nd International Conference on Types for Proofs and Programs, May 23-26, 2016-Novi Sad, Serbia
S Ghilezan, H Geuvers, J Ivetic
Schloss Dagstuhl: Dagstuhl, 2018
2018
LIPIcs, Volume 97, TYPES'16, Complete Volume
S Ghilezan, H Geuvers, J Ivetić
22nd International Conference on Types for Proofs and Programs (TYPES 2016), 2018
2018
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types
E Komendantskaya, J Power
arXiv preprint arXiv:1709.04199, 2017
2017
CoALP-Ty'16
E Komendantskaya, F Farka
arXiv preprint arXiv:1612.03032, 2016
2016
Defining Trace Semantics for CSP-Agda
B Igried, A Setzer
CoALP-Ty’16, 21, 2016
2016
Programming with Objects in Theorem Provers based on Martin Löf Type Theory
A Setzer
Time Table, 21, 2016
2016
Representing the Process Algebra CSP in Type Theory
B Igried, A Setzer
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–13