Login / Signup
Tejas Patil
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 2
Top Topics
Semantic Web Technologies
Description Language
Petri Net
Domain Models
Top Venues
SIGCOMM
ICSME
</>
Publications
</>
Alan Tang
,
Ryan Beckett
,
Steven Benaloh
,
Karthick Jayaraman
,
Tejas Patil
,
Todd D. Millstein
,
George Varghese
Lightyear: Using Modularity to Scale BGP Control Plane Verification.
SIGCOMM
(2023)
Tejas Patil
,
Raghavan Komondoor
,
Deepak D'Souza
,
Indrajit Bhattacharya
An Optimization Approach for Matching Textual Domain Models with Existing Code.
ICSME
(2016)