Unsorted List of Accepted Papers |
|
Download all papers ZIPPED |
Paper |
Title and Authors |
1 |
Impacts of the Mobile Internet on Transportation Cyberphysical Systems: Traffic Monitoring using Smartphones [PDF]
Daniel B. Work and Alexandre M. Bayen (UC Berkeley) |
2 |
Multi-Semantic, Decision Networks for Massively Distributed Reconfigurable Systems: Goal-Oriented Programming Models and Dynamic Optimization [PDF]
Alex Doboli (Stony Brook) |
3 |
Position paper [PDF]
Aloysius K. Mok (UT Austin) |
4 |
Analysis and Verification Challenges for Cyber-Physical Transportation Systems [PDF]
Edmund M. Clarke, Bruce Krogh, Andre Platzer, and Raj Rajkumar (CMU) |
5 |
Securing Physical Processes against Cyber Attacks in Cyber-Physical Systems [PDF]
Nishanth Gaddam, G. Sudha Anil Kumar, and Arun K. Somani (Iowa State U) |
6 |
Formal Verification of Transportation Cyber Physical Systems [PDF]
Ashish Tiwari (SRI International) |
7 |
Wireless, Self-Organizing Cyber-Physical Systems [PDF]
Brian D. Noble and Jason Flinn (U of Michigan) |
8 |
SAE Architecture Analysis and Design Language[PDF]
Bruce Lewis (US Army SED) |
9 |
Developing Vehicles for Future Transportation Systems: Challenges & Research Directions [PDF]
David Garlan Bruce H. Krogh (CMU) |
10 |
Intelligent, integrated, and Intermodal Transportation Services [PDF]
Calton Pu (Georgia Tech) |
11 |
Position Paper for National Workshop on Research on Transportation Cyber-Physical Systems: Automotive, Aviation, and Rail [PDF]
Chuck Howell (MITRE) |
12 |
Dependable Automotive Cyber-Physical Systems [PDF]
Chris Walter, Brian LaValley, Peter Ellis, Keith Bayer (WW Technology Group) |
13 |
Autonomous Driving in Intermodal Goods Transport [PDF]
Dieter Zöbel (University Koblenz-Landau) |
14 |
Scalable Design of Cyber-Physical Transportation Systems [PDF]
Dionisio de Niz (CMU)
|
15 |
Bosch as a Cyber-Physical Systems stakeholder [PDF]
Elizabeth Latronico (Robert Bosch LLC) |
16 |
Cyber-Physical Transportation Systems: Complexity, Scalability, Efficiency, and Software Design [PDF]
Emilio Frazzoli (MIT) |
17 |
Time-Oriented Programming [PDF]
Frank Vahid (UC Riverside) |
18 |
Research Challenges in Cyber-Physical Systems for the Next Generation Air Transportation System [PDF]
Glenn F. Roberts (MITRE) |
19 |
Position paper [PDF]
Gregory T. Sullivan and Basil Krikeles (BAE systems) |
20 |
Practical Algorithms for Next Generation Air Transportation Systems [PDF]
Hamsa Balakrishnan (MIT) |
21 |
Providing End-to-End Guarantees in Cyber-Physical Systems [PDF]
Harini Ramaprasad (Southern Illinois University Carbondale) |
22 |
Safety of Fly-by-Wire Systems [PDF]
Herbert Hecht (SoHaR Incorporated) |
23 |
Predictable Messaging in Wireless Automotive CPS [PDF]
Hongwei Zhang (Wayne State U) |
24 |
Challenges of Vehicular Sensor Networks [PDF]
Ian Downes and Leonidas Guibas (Stanford U) |
25 |
Developing Basic Research Agendas for CPS based Transportation Systems [PDF]
Steve Liu, Suman Chakravorty (Texas A&M) |
26 |
Onboard Aviation Information Assurance [PDF]
Ravi Pendse (Wichita State University), Kamesh Namuduri (University of North Texas), Brent Holmes (AFRL) |
27 |
Position paper [PDF]
Kenneth J. Waldron (Stanford U) |
28 |
A Multi-participant motion-based simulation framework for transportation planning, safety, and design [PDF]
Kevin Hulme, Kemper Lewis (University at Buffalo) |
29 |
Challenges in Aviation CPS Asset Collection and Distribution [PDF]
Krishna Sampigethaya, Scott Lintelman, Richard Robinson, Mingyan Li (Boeing Phantom Works) |
30 |
Integrate Mixed-Criticality Components with Formalized Architectural Patterns [PDF]
Lui Sha (UIUC) |
31 |
iSpace Model Reference CPS [PDF]
Timothy Chang (NJIT) Mo-Yuen Chow (NCSU) Simon Cobb (NCCAR) Janice Daniels (NJIT) |
32 |
Safety and Reliability in Aerospace Cyber-Physical Systems [PDF]
Natasha Neogi (UIUC) |
33 |
Passivity-Based Architecture for Design of Cyber-Physical Systems [PDF]
Xenofon Koutsoukos, Nicholas Kottenstette, Panos Antsaklis, Janos Sztipanovits (Vanderbilt University/ISIS and University of Notre Dame)
|
34 |
Urban-Scale Sensing for Science [PDF]
Phillip Sitbon, Nirupama Bulusu, Wu-chi Feng (Portland State University) |
35 |
Pothole Detection and Warning System using Wireless Sensor Networks [PDF]
Sudarshan S Rode, Shonil Vijay, Prakhar Goyal, Purushottam Kulkarni, Kavi Arya (IIT Bombay, India) |
36 |
Decentralized vehicle decisioning network [PDF]
Charles Theurer, Li Zhang, and Qing Cao (GE) |
37 |
Real-Time Traffic Congestion Prediction [PDF]
Rahul Mangharam, Insup Lee, Oleg Sokolsky (University of Pennsylvania) |
38 |
The Rise of the Mobile Internet: What does it mean for Transportation [PDF]
Raja Sengupta, Yaser P. Fallah (University of California, Berkeley) |
39 |
Research Challenges in Automotive Control Software [PDF]
Rance Cleaveland (University of Maryland) |
40 |
Software Architecture Challenges and Requirements for Transportation Cyber-Physical Systems [PDF]
Richard West and Gabriel Parmer (Boston University) |
41 |
Position paper [PDF]
Robert Benito (MITRE) |
42 |
Design Methodologies for Synthesis and Execution of Cyber-Physical Systems [PDF]
Soheil Ghiasi (UC Davis) |
43 |
Swarms of Autonomous Underwater Vehicles [PDF]
Ulrich Kremer (Rutgers University) |
44 |
Cyber-Physical Challenges in Transportation System Design [PDF]
Robert Cartwright (Rice U), Albert Cheng (U of Houston), Paul Hudak (Yale Univ.), Marcia O’Malley (Rice U), Walid Taha (Rice U) |
45 |
Cyber-Physical Control for Future Transportation Systems [PDF]
Fumin Zhang and Wayne Wolf (Georgia Tech) |
46 |
Building Self-Adaptive Cyber Physical Systems Using Unreliable Components [PDF]
Weisong Shi and Shinan Wang (Wayne State University) |
47 |
Time-Predictable Design for Cyber-Physical Systems [PDF]
Wei Zhang (Southern Illionois University) |
48 |
Transportation Cyber-Physical Systems: Reliability Modeling and Analysis Framework [PDF]
Xue Liu (McGill University at Montreal), Wenbo He (University of New Mexico), Long Zheng (McGill University at Montreal) |
49 |
Networked CPS View of a Future Airspace [PDF]
Krishna Sampigethaya, Sudhakar Shetty, Terry Davis, Mingyan Li, Scott Lintelman, Richard Robinson (Boeing), Linda Bushnell (U of Washington) |
50 |
Grand Challenges: Education and Cross-Cutting Challenges In Cyber-Physical Systems [PDF]
Jonathan Sprinkle (University of Arizona) |
51 |
Architecture-independent predictable Java for multi-core platforms [PDF]
Filip Pizlo, Lukasz Ziarek, Jan Vitek (Purdue University) |
52 |
Dependable By Construction: Cyber-Physical Systems to Bet Your Life On [PDF]
Rance J. DeLong (LynuxWorks), John Rushby (SRI International) |
53 |
Towards Formal Framework for Modeling and Evaluation of High-Confidence Criticality-Aware Software for Distributed CPS: A White Paper [PDF]
Sandeep K. S. Gupta (Arizona State University) |
54 |
Uncertainty and Dependability in CPS [PDF]
Daniel Mosse (University of Pittsburgh) and Hakan Aydin (George Mason University) |
55 |
Research Challenges of Vehicle CPS to Provide Safety Enhancement [PDF]
Xiuzhen Cheng (George Washington U) and David H.C. Du (University of Minnesota) |