Foreword
- 期刊名称European Journal on Criminal Policy and Research
- 作者Savona, Ernesto U.
- 卷第19卷
- 期第2期
- 印刷ISSN0928-1371
- 电子ISSN1572-9869
- 文件大小42.65KB
- 发表时间2013-06
- DOI10.1007/s10610-013-9203-9
- 页码69-69
Analysis of Recursively Parallel ProgramsBouajjani, Ahmed; Emmi, Michael · ACM Transactions on Programming Languages and Systems · 2013
Analysis of recursively parallel programsBouajjani, Ahmed; Emmi, Michael · ACM SIGPLAN Notices · 2012
Tractable Refinement Checking for Concurrent ObjectsBouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad · ACM SIGPLAN Notices · 2015
On reducing linearizability to state reachabilityBouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad · Information and Computation · 2018
[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Analysis of recursively parallel programsBouajjani, Ahmed; Emmi, Michael · 2012
[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Tractable Refinement Checking for Concurrent ObjectsBouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad · 2015
Algorithmic program synthesis: introductionBodik, Rastislav; Jobstmann, Barbara · International Journal on Software Tools for Technology Transfer · 2013
Bounded synthesisFinkbeiner, Bernd; Schewe, Sven · International Journal on Software Tools for Technology Transfer · 2013
Program sketchingSolar-Lezama, Armando · International Journal on Software Tools for Technology Transfer · 2013
Synthesis from component librariesLustig, Yoad; Vardi, Moshe Y. · International Journal on Software Tools for Technology Transfer · 2013
Tools for software verificationParosh Aziz Abdulla,K. Rustan M. Leino · International Journal on Software Tools for Technology Transfer · 2013
UppaalSMC tutorialDavid, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted · International Journal on Software Tools for Technology Transfer · 2015
SPARK 2014 and GNATproveHoang, Duc; Moy, Yannick; Wallenburg, Angela; Chapman, Roderick · International Journal on Software Tools for Technology Transfer · 2014
VerifyThis 2012Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary · International Journal on Software Tools for Technology Transfer · 2015