The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "HASE"( http://dblp.L3S.de/Venues/HASE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/hase

Publication years (Num. hits)
1996 (34) 1997 (32) 1998 (41) 1999 (39) 2000 (46) 2001 (26) 2002 (35) 2004 (49) 2005 (23) 2007 (70) 2008 (59) 2010 (23) 2011 (58) 2012 (31) 2014 (41) 2015 (39) 2016 (46) 2017 (30) 2019 (36)
Publication types (Num. hits)
inproceedings(739) proceedings(19)
Venues (Conferences, Journals, ...)
HASE(758)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 430 occurrences of 333 keywords

Results
Found 758 publication records. Showing 758 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Junjie Wang, Peng Xu, Jinyang Li, Xiaoshan Sun, Wenchong Tian, Jie Ling, Wei Zheng, Hengchang Liu Towards an Efficient Cyber-Physical System for First-Mile Taxi Transit in Urban Complex. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao Modeling and Verifying Storm Using CSP. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Edwin Franco Myloth Josephlal, Sridhar Adepu Vulnerability Analysis of an Automotive Infotainment System's WIFI Capability. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Natasha Jarus, Sahra Sedigh Sarvestani, Ali R. Hurson Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Inna Vistbakka, Elena Troubitsyna, Amin Majd Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Brad J. Ziegler, Sahra Sedigh Sarvestani, Ali R. Hurson Facilitating Failure Analysis with Software Instrumentation. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andreas Schörgenhumer, Mario Kahlhofer, Peter Chalupar, Paul Grünbacher, Hanspeter Mössenböck A Framework for Preprocessing Multivariate, Topology-Aware Time Series and Event Data in a Multi-System Environment. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder Identification of Multi-Core Interference. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tunde Akeem Yekini, Fehmi Jaafar, Pavol Zavarsky Study of Trust at Device Level of the Internet of Things Architecture. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dongjin Yu, Vu Nguyen 0003, Congfeng Jiang (eds.) 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019 Search on Bibsonomy HASE The full citation details ... 2019 DBLP  BibTeX  RDF
1Rongkun Yan, Jian Guo Timing Modeling and Analysis for AUTOSAR Schedule Tables. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Faisal A. Alkhaldi, Ali T. Alouani Development of a Generic Model for Large-Scale Healthcare Organizations. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Morayo Adedjouma, Nataliya Yakymets A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bader Alahmad, Sathish Gopalakrishnan Isochronous Execution Models for High-Assurance Real-Time Systems. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang Modeling and Verifying Spark on YARN Using Process Algebra. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiaodong Lu, Kazuyuki Morioka, Tadashi Koga, Yasuto Sumiya Air-Ground System Wide Information Management to Achieve Safe Flight Operation. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Samip Dhakal, Fehmi Jaafar, Pavol Zavarsky Private Blockchain Network for IoT Device Firmware Integrity Verification and Update. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jeremy W. Bryans, Hoang Nga Nguyen, Siraj A. Shaikh Attack Defense Trees with Sequential Conjunction. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lei Song, Haoran Liang, Taisheng Zheng Real-Time Anomaly Detection Method for Space Imager Streaming Data Based on HTM Algorithm. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Haoran Liang, Lei Song, Xuzhi Li The Rotate Stress of Steam Turbine Prediction Method Based on Stacking Ensemble Learning. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bo Zhang, Haoming Liu, Jiajia Song, Jinbo Zhang Simulation on Grounding Fault Location of Distribution Network Based on Regional Parameters. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shuai Zhang 0012, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Richardson Andrade, Nelson Rosa MidSecThings: Assurance Solution for Security Smart Homes in IoT. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Honghui Li, Xiuru Li, Huan Wang, Jie Zhang, Zhouxian Jiang Research on Cloud Performance Testing Model. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nacha Chondamrongkul, Jing Sun 0002, Bingyang Wei, Ian Warren Parallel Verification of Software Architecture Design. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky A Refinement Based Method for Developing Distributed Protocols. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wei Zhihao, Jianyuan Li, Wanqing Li Mining Accompanying Passing-Vehicles to Discover Suspected Gangs. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ryo Kurachi, Hiroaki Takada, Naoki Adachi, Hiroshi Ueda, Yukihiro Miyashita Asymmetric Key-Based Secure ECU Replacement Without PKI. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yoshitaka Arahori RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi Security Evaluation of a VM-Based Intrusion-Tolerant System with Pull-Type Patch Management. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giedre Sabaliauskaite, Lin Shen Liew, Fengjun Zhou, Jin Cui Designing Safe and Secure Mixed Traffic Systems. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ulrich Thomas Gabor, Christoph-Cordt von Egidy, Olaf Spinczyk Interface Injection with AspectC++ in Embedded Systems. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiao Liu, Yufei Jiang, Dinghao Wu A Lightweight Framework for Regular Expression Verification. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kaikai Pan, Digvijay Gusain, Peter Palensky Modelica-Supported Attack Impact Evaluation in Cyber Physical Energy System. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis Quantitative Validation of Formal Domain Models. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ron Biton, Clint Feher, Yuval Elovici, Asaf Shabtai, Gaby Shugol, Raz Tikochinski, Shachar Kur A Proxy-Based Solution for Securiting Remote Desktop Connections in Mission-Critical Systems. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau Verification of SGAC Access Control Policies Using Alloy and ProB. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sanya Khruahong, Xiaoying Kong, Kumbesan Sandrasegaran, Li Liu 0005 Multi-Level Indoor Navigation Ontology for High Assurance Location-Based Services. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giedre Sabaliauskaite, Sridhar Adepu Integrating Six-Step Model with Information Flow Diagrams for Comprehensive Analysis of Cyber-Physical System Safety and Security. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay Verification of Interlocking Systems Using Statistical Model Checking. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lov Kumar, Santanu Kumar Rath, Ashish Sureka Using Source Code Metrics and Multivariate Adaptive Regression Splines to Predict Maintainability of Service Oriented Software. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Prakash Rao Dunaka, Bruce M. McMillin Cyber-Physical Security of a Chemical Plant. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Gleirscher, Carmen Cârlan Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jonathan Goh, Sridhar Adepu, Marcus Tan, Zi Shan Lee Anomaly Detection in Cyber Physical Systems Using Recurrent Neural Networks. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ismail Rizky Harlin, Hironori Washizaki, Yoshiaki Fukazawa Impact of Using a Static-Type System in Computer Programming. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tze Meng Low, Franz Franchetti High Assurance Code Generation for Cyber-Physical Systems. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ali Kanso, Nicolas Deixionne, Abdelouahed Gherbi, Fereydoun Farrahi Moghaddam Enhancing OpenStack Fault Tolerance for Provisioning Computing Environments. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Qi Cheng, Kevin A. Kwiat, Charles A. Kamhoua, Laurent Njilla Attack Graph Based Network Risk Assessment: Exact Inference vs Region-Based Approximation. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kazi Zakia Sultana, Ajay Deo, Byron J. Williams Correlation Analysis among Java Nano-Patterns and Software Vulnerabilities. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dusica Marijan, Marius Liaaen Test Prioritization with Optimally Balanced Configuration Coverage. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anusha Thudimilla, Bruce M. McMillin Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laurent L. Njilla, Charles A. Kamhoua, Kevin A. Kwiat, Patrick Hurley, Niki Pissinou Cyber Security Resource Allocation: A Markov Decision Process Approach. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rem Gensh, Ashur Rafiev, Alexander B. Romanovsky, Alessandro F. Garcia, Fei Xia, Alex Yakovlev Architecting Holistic Fault Tolerance. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Danielle C. Tarraf, Charles A. Kamhoua, Kevin A. Kwiat, Laurent Njilla Majority is Not Always Supreme: Less Can Be More When Voting with Compromised Nodes. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amir Alipour-Fanid, Monireh Dabaghchian, Hengrun Zhang, Kai Zeng 0001 String Stability Analysis of Cooperative Adaptive Cruise Control under Jamming Attacks. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Qi Xiong, Yuan Xu, Baofeng Zhang, Feng Wang Overview of the Evasion Resilience Testing Technology for Network Based Intrusion Protecting Devices. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dusica Marijan, Sagar Sen Detecting and Reducing Redundancy in Software Testing for Highly Configurable Systems. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017 Search on Bibsonomy HASE The full citation details ... 2017 DBLP  BibTeX  RDF
1Rajesh Kumar 0012, Mariëlle Stoelinga Quantitative Security and Safety Analysis with Attack-Fault Trees. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jian Xiang, John C. Knight, Kevin J. Sullivan Is My Software Consistent with the Real World? Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Gleirscher, Stefan Kugele Defining Risk States in Autonomous Road Vehicles. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Praneeth Sakhamuri, Olivia Das Acquisition of Virtual Machines for Tiered Applications with Availability Constraints. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nuno Silva, Marco Vieira, João Carlos Cunha, Ram Chillarege Evaluating a Corpus of Root Causes and Measures to Guide RCA Processes in Critical Software. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Koyena Pal, Sridhar Adepu, Jonathan Goh Effectiveness of Association Rules Mining for Invariants Generation in Cyber-Physical Systems. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jay Prakash, Chuadhry Mujeeb Ahmed Can You See Me On Performance of Wireless Fingerprinting in a Cyber Physical System. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tarek Awwad, Nadia Bennani, Lionel Brunie, David Coquil, Harald Kosch, Veronika Rehn-Sonigo Task Characterization for an Effective Worker Targeting in Crowdsourcing. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yufei Jiang, Can Zhang, Dinghao Wu, Peng Liu 0005 Feature-Based Software Customization: Preliminary Analysis, Formalization, and Methods. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee Representation of Confidence in Assurance Cases Using the Beta Distribution. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philipp Stephanow, Christian Banse, Julian Schütte Generating Threat Profiles for Cloud Service Certification Systems. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Swastik Brahma, Kevin A. Kwiat, Pramod K. Varshney, Charles A. Kamhoua CSRS: Cyber Survive and Recover Simulator. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kerianne H. Gross, Aaron W. Fifarek, Jonathan A. Hoffman Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Renyu Yang, Tianyu Wo, Chunming Hu, Jie Xu 0007, Mingming Zhang D^2PS: A Dependable Data Provisioning Service in Multi-tenant Cloud Environment. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Yongxin Zhao, Huibiao Zhu Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Guillaume Babin, Yamine Aït Ameur, Marc Pantel Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jaime C. Acosta, Salamah Salamah An Analysis Platform for Execution-Based Model Generation. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jian Xiang, John C. Knight, Kevin J. Sullivan Synthesis of Logic Interpretations. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Puntitra Sawadpong, Edward B. Allen Software Defect Prediction Using Exception Handling Call Graphs: A Case Study. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur Empirical Assessment of Methods to Detect Cyber Attacks on a Robot. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul Hyden, Ira S. Moskowitz, Stephen Russell 0001 Using Network Topology to Supplement High Assurance Systems. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hong Liu, Tianyu Yang, Jing Wang Model Checking for the Fault Tolerance of Collaborative AUVs. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eric Reinsmidt, David Schwab, Li Yang Securing a Connected Mobile System for Healthcare. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Raymond C. Borges-Hink, Katerina Goseva-Popstojanova Characterization of Cyberattacks Aimed at Integrated Industrial Control and Enterprise Systems: A Case Study. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nikhil Palaskar, Zahid Syed, Sean Banerjee, Charlotte Tang Empirical Techniques to Detect and Mitigate the Effects of Irrevocably Evolving User Profiles in Touch-Based Authentication Systems. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sara Cleemput, Mustafa A. Mustafa, Bart Preneel High Assurance Smart Metering. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sridhar Adepu, Aditya Mathur An Investigation into the Response of a Water Treatment System to Cyber Attacks. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Van Chan Ngo, Axel Legay, Jean Quilbeuf Statistical Model Checking for SystemC Models. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis Formalisation-Driven Development of Safety-Critical Systems. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sean J. S. Regisford, Brian K. Hulbert, Aaron W. Fifarek Compositional Architecture Design for Fuel Tank Thermal Systems. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Md. Shahrear Iqbal, Mohammad Zulkernine, Fehmi Jaafar, Yuan Gu FCFraud: Fighting Click-Fraud from the User Side. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amel Mammar, Thi Mai Nguyen, Régine Laleau Formal Development of a Secure Access Control Filter. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saikat Das, Mohammad Zulkernine CLOUBEX: A Cloud-Based Security Analysis Framework for Browser Extensions. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu (eds.) 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 Search on Bibsonomy HASE The full citation details ... 2016 DBLP  BibTeX  RDF
1Mohamed Naija, Jean-Michel Bruel, Samir Ben Ahmed Towards a MARTE Extension to Address Adaptation Mechanisms. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Arechiga Proving Critical Properties of Simulink Models. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Silvano Chiaradonna, Felicita Di Giandomenico, Jun Xiao Quantification of the Effectiveness of Medium Voltage Control Policies in Smart Grids. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sunint Kaur Khalsa, Yvan Labiche An Extension of Category Partition Testing for Highly Constrained Systems. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marco Mori, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli, Bernhard Frömel A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tommaso Zoppi, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli, Francesco Lo Piccolo, Gabriele Giunta, Vito Morreale Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 758 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license