| 2014 | A Runtime Verification Framework for Control System Simulation. | Selim Ciraci, Jason C. Fuller, Jeff A. Daily, Atefe Makhmalbaf, David Callahan |
| 2014 | Noninvasive Ambulatory Monitoring of the Electric and Mechanical Function of Heart with a Multifunction Wearable Sensor. | Xianxiang Chen, Xinyu Hu, Ren Ren, Bing Zhou, Xiao Tan, Jiabai Xie, Zhen Fang, Yangmin Qian, Huaiyong Li, Lili Tian, Shanhong Xia |
| 2014 | Design and Safety Analysis for System Architecture: A Breeze/ADL-Based Approach. | Luxi Chen, Linpeng Huang, Chen Li, Linzhu Wu, Weichao Luo |
| 2014 | Dynamic Slicing of Python Programs. | Zhifei Chen, Lin Chen, Yuming Zhou, Zhaogui Xu, William C. Chu, Baowen Xu |
| 2014 | A SysML Based Requirement Modeling Automatic Transformation Approach. | Chih-Hung Chang, Chih-Wei Lu, Wen Pin Yang, William Cheng-Chung Chu, Chao-Tung Yang, Ching-Tsorng Tsai, Pao-Ann Hsiung |
| 2014 | Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets. | Xuling Chang, Linpeng Huang, Jianpeng Hu, Chen Li, Bei Cao |
| 2014 | Mobile Pediatric Consultation and Monitoring System through Semantic Web Technology. | Duygu elik, Atilla Eli, Ridvan Akcicek, Bora Gokce, Pelin Hurcan |
| 2014 | A Safety Food Consumption Mobile System through Semantic Web Technology. | Duygu elik, Atilla Eli, Ridvan Akcicek, Bora Gokce, Pelin Hurcan |
| 2014 | A Privacy-Preserving Solution for Tracking People in Critical Environments. | Francesco Buccafurri, Gianluca Lax, Serena Nicolazzo, Antonino Nocera |
| 2014 | Experiences Integrating Heterogeneous Government Open Data Sources to Deliver Services and Promote Transparency in Brazil. | Kellyton dos Santos Brito, Marcos Antnio da Silva Costa, Vinicius Cardoso Garcia, Silvio Romero de Lemos Meira |
| 2014 | MuScADeL: A Deployment DSL Based on a Multiscale Characterization Framework. | Raja Boujbel, Sam Rottenberg, Sbastien Leriche, Chantal Taconet, Jean-Paul Arcangeli, Claire Lecocq |
| 2014 | Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting. | Alexander Bolotov, Vasilyi Shangin |
| 2014 | Security with Privacy - Opportunities and Challenges: Panel Position Paper. | Elisa Bertino |
| 2014 | A Socio-technical Methodology for the Security and Privacy Analysis of Services. | Giampaolo Bella, Paul Curzon, Rosario Giustolisi, Gabriele Lenzini |
| 2014 | Towards Feature-Oriented Fault Tree Analysis. | Benjamin Behringer, Martina Lehser, Steffen Rothkugel |
| 2014 | A Distributed Topic-Based Pub/Sub Method for Exhaust Data Streams towards Scalable Event-Driven Systems. | Ryohei Banno, Susumu Takeuchi, Michiharu Takemoto, Tetsuo Kawano, Takashi Kambayashi, Masato Matsuo |
| 2014 | Load-Adaptive Indexing Method for Schema-less Searches. | Yutaka Arakawa, Takayuki Nakamura, Motonori Nakamura, Nobuhiko Matsuura, Yuusuke Kawakita, Haruhisa Ichikawa |
| 2014 | Understanding and Measuring Nesting. | Hend Alrasheed, Austin Melton |
| 2014 | Instability and Abstractness Metrics Based on Responsibility. | Saleh Almugrin, Waleed Albattah, Omar Alaql, Musaad Alzahrani, Austin Melton |
| 2014 | A Forensic Analysis of Android Malware - How is Malware Written and How it Could Be Detected? | Kevin Allix, Quentin Jrome, Tegawend F. Bissyand, Jacques Klein, Radu State, Yves Le Traon |
| 2014 | Using the Semantics Inherent in Sitemaps to Learn Ontologies. | Abdulelah Abdallah Algosaibi, Austin C. Melton |
| 2014 | Analysis of Reliability and Resilience for Smart Grids. | Murtadha N. Albasrawi, Nathan Jarus, Kamlesh A. Joshi, Sahra Sedigh Sarvestani |
| 2014 | Exploratory Performance Analysis of Microbot Swarm in Three-Dimensional Field. | Shota Agemura, Hiroyuki Ohsaki |
| 2014 | Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems. | Mikhail Afanasov, Luca Mottola, Carlo Ghezzi |
| 2014 | SPTP: A Trust Management Protocol for Online and Ubiquitous Systems. | Ivor D. Addo, Ji-Jiang Yang, Sheikh Iqbal Ahamed |