282 citations
- Vanderbilt UniversityUS11 papers
- Rutgers, The State University of New JerseyUS3 papers
- Centre Inria de l'Université Grenoble AlpesFR2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Department of Mathematical SciencesRU2 papers
- GIPSA-LabFR2 papers
- Institut polytechnique de GrenobleFR2 papers
- Rutgers Sexual and Reproductive Health and RightsNL2 papers
- Université Grenoble AlpesFR2 papers
- Virginia TechUS2 papers
- Arizona State UniversityUS1 paper
- Delft University of TechnologyNL1 paper
Showing 2018Show all
2 papers · 1 filter
cs.SE2018
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for th…
cs.LG2018★ 3 cited
DxNAT - Deep Neural Networks for Explaining Non-Recurring Traffic Congestion
Fangzhou sun, Abhishek Dubey, Jules White
Non-recurring traffic congestion is caused by temporary disruptions, such as accidents, sports games, adverse weather, etc. We use data related to real-time traffic speed, jam fact…