Andrei Lapets, Ph.D.
Affiliations: | 2011 | Boston University, Boston, MA, United States |
Area:
Computer Science, MathematicsGoogle:
"Andrei Lapets"Parents
Sign in to add mentor| Assaf Kfoury | grad student | 2011 | Boston University | |
| (Machine involvement in formal reasoning: Improving the usability of automated formal assistance and verification systems.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Lapets A, Jansen F, Albab KD, et al. (2018) Accessible Privacy-Preserving Web-Based Data Analysis for Assessing and Addressing Economic Inequalities The Compass. 48 |
| Bestavros A, Lapets A, Varia M. (2017) User-centric distributed solutions for privacy-preserving analytics Communications of the Acm. 60: 37-39 |
| Skowyra R, Lapets A, Bestavros A, et al. (2014) A verification platform for SDN-enabled applications Proceedings - 2014 Ieee International Conference On Cloud Engineering, Ic2e 2014. 337-342 |
| Skowyra RW, Lapets A, Bestavros A, et al. (2013) Verifiably-safe software-defined networks for CPS Hicons 2013 - Proceedings of the 2nd Acm International Conference On High Confidence Networked Systems, Part of Cpsweek 2013. 101-110 |
| Lapets A, Skowyra R, Bestavros A, et al. (2013) Towards accessible integration and deployment of formal tools and techniques International Workshop On Developing Tools as Plug-Ins, Topi. 19-24 |
| Bestavros A, Kfoury A, Lapets A. (2013) Postlude: Seamless composition and integration-A perspective on formal methods research Mathematical Structures in Computer Science. 23: 934-943 |
| Lapets A, Kfoury A. (2012) A User-friendly Interface for a Lightweight Verification System Electronic Notes in Theoretical Computer Science. 285: 29-41 |
| Soule N, Bestavros A, Kfoury A, et al. (2011) Safe compositional equation-based modeling of constrained flow networks Proceedings of the 4th International Workshop On Equation-Based Object-Oriented Modeling Languages and Tools, Eoolt 2011. 35-44 |
| Donnelly K, Kfoury A, Lapets A. (2010) The complexity of restricted variants of the stable paths problem Fundamenta Informaticae. 103: 69-87 |
| Bestavros A, Kfoury A, Lapets A, et al. (2010) Safe compositional network sketches: Formal framework Hscc'10 - Proceedings of the 13th Acm International Conference On Hybrid Systems: Computation and Control. 231-241 |