Visible to the public Biblio

Found 440 results

Filters: First Letter Of Last Name is M  [Clear All Filters]
2018-05-14
Hourdos, John, Garg, Vishnu, Michalopoulos, Panos.  2008.  Accident Prevention Based on Automatic Detection of Accident Prone Traffic Conditions: Phase I.
Liu, Henry, Wu, Xinkai, Michalopoulos, Panos, Hourdos, John.  2007.  Employment of the Traffic Management Lab for the Evaluation and Improvement of Stratified Metering Algorithm-Phase III.
Hourdos, John, Xin, Wuping, Michalopoulos, Panos.  2008.  Development of Real-Time Traffic Adaptive Crash Reduction Measures for the Westbound I-94/35W Commons Section.
Davis, Gary A, Hourdos, John, Xiong, Hui, Morris, Ted.  2010.  Access to destinations: Arterial data acquisition and network-wide travel time estimation (phase II).
Michalopoulos, Panos, Xin, Wuping, Hourdos, John.  2005.  Evaluation and improvement of the stratified ramp metering algorithm through microscopic simulation-phase ii.
Xin, Wuping, Hourdos, John, Michalopoulos, Panos.  2006.  Preprocessing volume input data for improved traffic simulation. Transportation Research Record: Journal of the Transportation Research Board. :192–200.
Xin, Wuping, Hourdos, John, Michalopoulos, Panos.  2008.  Enhanced Micro-simulation models for accurate safety assessment of traffic management ITS Solutions.
Xin, Wuping, Hourdos, John, Michalopoulos, Panos.  2006.  Comprehensive evaluation of new integrated freeway ramp control strategy. Transportation Research Record: Journal of the Transportation Research Board. :46–54.
Feng, Baichun, Hourdos, John, Michalopoulos, Panos.  2006.  Improving Minnesota's stratified ramp control strategy. Transportation Research Record: Journal of the Transportation Research Board. :77–83.
Xin, Wuping, Hourdos, John, Michalopoulos, Panos G.  2008.  Vehicle trajectory collection and processing methodology and its implementation. Transportation Research Board 87th Annual Meeting.
Hourdos, John, Garg, Vishnu, Michalopoulos, Panos, Davis, Gary.  2006.  Real-time detection of crash-prone conditions at freeway high-crash locations. Transportation research record: journal of the transportation research board. :83–91.
Xin, Wuping, Hourdos, John, Michalopoulos, Panos, Davis, Gary.  2008.  The less-than-perfect driver: a model of collision-inclusive car-following behavior. Transportation Research Record: Journal of the Transportation Research Board. :126–137.
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi.  2017.  Supervisory control and reactive synthesis: a comparative introduction. Discrete Event Dynamic Systems. 27:209–260.
Maria Pittou, Stavros Tripakis.  2016.  Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. Formal Aspects of Component Software - 13th International Conference, {FACS} 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. :73–91.
[Anonymous].  2016.  Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016.
Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis.  2016.  Step revision in hybrid Co-simulation with FMI. 2016 {ACM/IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20, 2016. :173–183.
Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee.  2016.  FIDE: an FMI integrated development environment. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. :1759–1766.
Maria Pittou, Stavros Tripakis.  2016.  Multi-view consistency for infinitary regular languages. International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, {SAMOS} 2016, Agios Konstantinos, Samos Island, Greece, July 17-21, 2016. :148–155.
Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikucionis, Thomas Strump, Stavros Tripakis.  2015.  Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. Proceedings of the 11th International Modelica Conference.
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa.  2015.  Automatic Completion of Distributed Protocols with Symmetry. Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {II}. :395–412.
David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter.  2015.  Requirements for hybrid cosimulation standards. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. :179–188.
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa.  2014.  Synthesizing Finite-State Protocols from Scenarios and Requirements. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings. :75–91.
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi.  2014.  Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. 12th International Workshop on Discrete Event Systems, {WODES} 2014, Cachan, France, May 14-16, 2014.. :222–227.
David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter.  2013.  Determinate composition of FMUs for co-simulation. Proceedings of the International Conference on Embedded Software, {EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. :2:1–2:12.
Poudel, Bikash, Munir, Arslan.  2017.  Design and Evaluation of a Reconfigurable ECU Architecture for Secure, Dependable, and Real-Time Automotive CPS. under review in IEEE Transactions on Dependable and Secure Computing.