Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Hsin-Chuan Chen, Wenbin Cheng |
A Fully Self-locking/Interlocking Switch Circuit Using Signal Mutual Control. |
ICCE-TW |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Ikram Abourahim, Mustapha Amghar, Mohsine Eleuldj |
Distributed Architecture for Interoperable Signaling Interlocking. |
NISS (Springer) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Amy Sniffen, Zezhou Sun, Samuel E. Lensgraf, Emily Whiting, Alberto Quattrini Li, Devin J. Balkcom |
Falling Into Place: Drop Assembly of Interlocking Puzzles. |
Robotics: Science and Systems |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Mo Yu, Yang Zhang 0001, Shiyu Chang, Tommi S. Jaakkola |
Understanding Interlocking Dynamics of Cooperative Rationalization. |
NeurIPS |
2021 |
DBLP BibTeX RDF |
|
19 | Li-Xuan Chuo, Zhen Feng, Yejoong Kim, Nikolaos Chiotellis, Makoto Yasuda, Satoru Miyoshi, Masaru Kawaminami, Anthony Grbic, David D. Wentzloff, David T. Blaauw, Hun-Seok Kim |
Millimeter-Scale Node-to-Node Radio Using a Carrier Frequency-Interlocking IF Receiver for a Fully Integrated 4 $\times$ 4 $\times$ 4 mm3 Wireless Sensor Node. |
IEEE J. Solid State Circuits |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Elham Mousavian, Claudia Casapulla |
Quantifiable feasibility check of masonry assemblages composed of interlocking blocks. |
Adv. Eng. Softw. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Jinkun Men, Peng Jiang, Song Zheng, Yaguang Kong, Ye Zhao, Gang Sheng, Nan Su, Sulu Zheng |
A Multi-Objective Emergency Rescue Facilities Location Model for Catastrophic Interlocking Chemical Accidents in Chemical Parks. |
IEEE Trans. Intell. Transp. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Mohammad Ali Bagheri, Gholamreza Rouhi |
Design and numerical investigation of an adaptive intramedullary nail with a novel interlocking mechanism. |
J. Comput. Des. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Elham Mousavian, Claudia Casapulla |
Structurally informed design of interlocking block assemblages using limit analysis. |
J. Comput. Des. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Aidan N. Gomez, Oscar Key, Stephen Gou, Nick Frosst, Jeff Dean, Yarin Gal |
Interlocking Backpropagation: Improving depthwise model-parallelism. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
19 | Jihun Yu, Hoseob Song, Chul-woo Park, Ilhyung Park, Sanghyun Joung |
Fluoroscopic images-based aiming and targeting system with two line lasers for insertion guidance of interlocking screw. |
Int. J. Comput. Assist. Radiol. Surg. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Manuel Goyanes, Luis de Marcos |
Academic influence and invisible colleges through editorial board interlocking in communication sciences: a social network analysis of leading journals. |
Scientometrics |
2020 |
DBLP DOI BibTeX RDF |
|
19 | In Gyu Park, Yun Joong Kim, Yeo Jin Kim, Unjoo Lee |
Automatic, Qualitative Scoring of the Interlocking Pentagon Drawing Test (PDT) Based on U-Net and Mobile Sensor Data. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Dariusz Siudak |
The Influence of Interlocking Directorates on the Propensity of Dividend Payout to the Parent Company. |
Complex. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Kazuhiro Miyashita, Yoichi Masuda, Megu Gunji, Akira Fukuhara, Kenjiro Tadakuma, Masato Ishikawa |
Emergence of Swing-to-Stance Transition from Interlocking Mechanism in Horse Hindlimb. |
IROS |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Ronny Bäckman, Ian Oliver, Gabriela Limonta |
Integrity Checking of Railway Interlocking Firmware. |
SAFECOMP Workshops |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Signe Geisler, Anne E. Haxthausen |
Model Checking a Distributed Interlocking System Using k-induction with RT-Tester. |
ISoLA (3) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Jan Peleska 0001 |
New Distribution Paradigms for Railway Interlocking. |
ISoLA (3) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Per Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen |
Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL. |
ISoLA (3) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi |
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. |
ISoLA (3) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Vinayak R. Krishnamurthy, Ergun Akleman, Sai Ganesh Subramanian, Katherine Boyd, Chia-An Fu, Matthew Ebert, Courtney Startett, Neeraj Yadav |
Bi-Axial Woven Tiles: Interlocking Space-Filling Shapes Based on Symmetries of Bi-Axial Weaving Patterns. |
Graphics Interface |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Weixin Guan, Xudong Zhou |
The Influence of All-electronic Interlocking System on Intelligent Operation and Maintenance. |
ICITE |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Lujiang Huang |
The Past, Present and Future of Railway Interlocking System. |
ICITE |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Qi Fang, Qingyuan Shang, Sha Wang, Fagen Fang |
Interface Verification between the Main Control Board and Driver Board of the All-electronic Interlocking Computer Platform. |
ICITE |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Nobuhiko Mukai, Kazuhiro Aoyama, Youngha Chang |
Pressure Simulation in the Heart with Valve Interlocking and Isovolumetric Contraction. |
SIGGRAPH Asia Posters |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Eugenio Roanes-Lozano |
Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Dalay Israel de Almeida Pereira |
Analysis and formal specification of relay-based railway interlocking systems. (Analyse et spécification formelle des systèmes d'enclenchement ferroviaire basés sur les relais). |
|
2020 |
RDF |
|
19 | Bhatawdekar Ramesh Murlidhar, Munir Ahmed, Dinesh Mavaluru, Ahmed Faisal Siddiqi, Edy Tonnizam Mohamad |
Prediction of rock interlocking by developing two hybrid models based on GA and fuzzy system. |
Eng. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Ziqi Wang 0006, Peng Song 0001, Florin Isvoranu, Mark Pauly |
Design and structural optimization of topological interlocking assemblies. |
ACM Trans. Graph. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni |
RBS2HLL - A Formal Modeling of Relay-Based Interlocking. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Dalay Israel de Almeida Pereira, David Déharbe, Matthieu Perin, Philippe Bon |
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Jan Peleska 0001, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger |
Efficient Data Validation for Geographical Interlocking Systems. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Camille Parillaud, Yoann Fonteneau, Fabien Belmonte |
Interlocking Formal Verification at Alstom Signalling. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Ping-Hsiung Wang, Kuo-Chun Chang |
A Simplified Finite Element Analysis Method for Axial Compression Behavior of Rectangular Concrete Columns with Interlocking Multi-spiral Reinforcements. |
SIMULTECH |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Juri Shimizu, Takuya Otani, H. Mizukami, Kenji Hashimoto, Atsuo Takanishi |
Experimental Validation of Hydraulic Interlocking Drive System for Biped Humanoid Robot. |
IROS |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Xiaohong Chen 0007, Zhiwei Zhong, Zhi Jin, Min Zhang 0002, Tong Li, Xiang Chen, Tingliang Zhou |
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems. |
RE |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Guangwu Chen, Yijian Yu, Dongfeng Xing, Juhau Yang |
Turnout Fault Diagnosis Algorithms of Full-Electronic Interlocking System Based on BP_Adaboost. |
CAA SAFEPROCESS |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Dalay Israel de Almeida Pereira, Sana Debbech, Matthieu Perin, Philippe Bon, Simon Collart Dutilleul |
Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. |
ER |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Mark Bouwman, Bob Janssen, Bas Luttik |
Formal Modelling and Verification of an Interlocking Using mCRL2. |
FMICS |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Stylianos Basagiannis, Panagiotis Katsaros |
Formal Verification of Network Interlocking Control by Distributed Signal Boxes. |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Yu-Cheng Su, Kang-Yu Chang, Yu-Tung Chin, Chia-Wen Chang, Shyh-Jye Jou |
Synthesizable Injection-Locked Phase-Locked Loop with Multiphase Interlocking Digitally Controlled Oscillator Arrays. |
ASICON |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Yinan Zhang 0001 |
Interlocking structure design and assembly. |
|
2019 |
RDF |
|
19 | Christophe Limbrée |
Formal verification of railway interlocking systems. |
|
2019 |
RDF |
|
19 | Kees van Veen, Eelke M. Heemskerk |
Interlocking Directorate Networks. |
Encyclopedia of Social Network Analysis and Mining. 2nd Ed. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | |
Interlocking Directorate Network. |
Encyclopedia of Social Network Analysis and Mining. 2nd Ed. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Mohammadamin Erfanmanesh, Marzieh Morovati |
Interlocking Editorships in Scientific Journals. |
Sci. Eng. Ethics |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Volker Nocke, Patrick Rey |
Exclusive dealing and vertical integration in interlocking relationships. |
J. Econ. Theory |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Keiji Hirose, Masaya Ukimi, Shota Ueda, Chie Onoda, Ryohei Kano, Kyosuke Tsuda, Yuko Hinohara, Yoshito Tobe |
The Asymmetry is Derived from Mechanical Interlocking of Achiral Axle and Achiral Ring Components -Syntheses and Properties of Optically Pure [2]Rotaxanes-. |
Symmetry |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Eduardo Künzel Teixeira, Mírian Oliveira |
Editorial board interlocking in knowledge management and intellectual capital research field. |
Scientometrics |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Ji Ma 0003, Simon DeDeo |
State power and elite autonomy in a networked civil society: The board interlocking of Chinese non-profits. |
Soc. Networks |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Xinyuan Zhou, Jinxiao Wang, Zhou Wang, Yuzhi Bian, Ying Wang, Ning Han, Yunfa Chen |
Transilient Response to Acetone Gas Using the Interlocking p+n Field-Effect Transistor Circuit. |
Sensors |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Marie Delcourte-Debarre |
Analyser les emboîtements d'échelles spatio-temporelles d'un territoire forestier : du système d'information géographique à la méthode SyMoGIH (Avesnois, France) / Analyzing the interlocking spatio-temporal scales of a forest: from geographic information systems to the SyMoGIH method (Avesnois, France). |
Digit. Humanit. Q. |
2018 |
DBLP BibTeX RDF |
|
19 | Ziqi Wang 0006, Peng Song 0001, Mark Pauly |
DESIA: a general framework for designing interlocking assemblies. |
ACM Trans. Graph. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Dongxiu Ou, Huang Yan, Hongming Li, Wei Li |
Optimization of Conflicting Tram Signal Priority Requests Based on Spatiotemporal Interlocking Logic Using Microscopic Simulation. |
Int. J. Softw. Eng. Knowl. Eng. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Yan Wang, Wen Zhong, Xiaohong Chen 0001, Dehui Du |
Modeling of Interlocking Systems based on Patterns. |
SEKE |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Dmitry V. Efanov, German Osadchy |
Paradigms for Building Control Systems on Railroad Transport: from the Systems of Electrical Interlocking of Points and Light Signals to Smart Grid Train Movements Controlling Systems. |
EWDTS |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Signe Geisler, Anne E. Haxthausen |
Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Arne Borälv |
Interlocking Design Automation Using Prover Trident. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Rakesh Lingappa, Lokanna Kadakolmath |
Modeling and formal verification of SMT rail interlocking system using PyNuSMV. |
RAIT |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Yinan Zhang 0001, Devin J. Balkcom |
Interlocking Block Assembly. |
WAFR |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Fantechi, Anne E. Haxthausen |
Safety Interlocking as a Distributed Mutual Exclusion Problem. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Yan Wang, Xiaohong Chen 0001 |
Monitoring and Predicating Accidents for Interlocking Systems Based on SHA. |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Feiying Lan, Yongjing Wang, Duc Truong Pham, Jiayi Liu, Jun Huang, Chunqian Ji, Shizhong Su, Wenjun Xu 0002, Quan Liu, Zude Zhou |
Interlocking Problem in Automatic Disassembly Planning and Two Solutions. |
ICINCO (Selected Papers) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione |
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Michael Vierhauser, Sean Bayley, Jane Wyngaard, Jinghui Cheng, Wandi Xiong, Robyn R. Lutz, Joshua Huseman, Jane Cleland-Huang |
Interlocking safety cases for unmanned autonomous systems in urban environments. |
ICSE (Companion Volume) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Allam Hamdan, Abdalmuttaleb M. A. Musleh Al-Sartawi, Reem Khamis, Mohammed Anaswah, Ahlam Hassan |
Board Interlocking and IT Governance: Proposed Conceptual Model. |
EMCIS |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Jozef Balák, Karol Rástocný |
Mathematical Model for Safety Evaluation of Distributed Interlocking System. |
TST |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Christian Sternitzke |
Interlocking Patent Rights and Value Appropriation: Insights From the Razor Industry. |
IEEE Trans. Engineering Management |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Linh Vu Hong, Anne E. Haxthausen, Jan Peleska 0001 |
Formal modelling and verification of interlocking systems featuring sequential release. |
Sci. Comput. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Miaojun Yao, Zhili Chen, Weiwei Xu, Huamin Wang |
Modeling, Evaluation and Optimization of Interlocking Shell Pieces. |
Comput. Graph. Forum |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Peng Song 0001, Chi-Wing Fu, Yueming Jin, Hongfei Xu, Ligang Liu, Pheng-Ann Heng, Daniel Cohen-Or |
Reconfigurable interlocking furniture. |
ACM Trans. Graph. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay |
Verification of Interlocking Systems Using Statistical Model Checking. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Eniye Tebekaemi, Edward Colbert, Duminda Wijesekera |
Detecting Data Manipulation Attacks on the Substation Interlocking Function Using Direct Power Feedback. |
Critical Infrastructure Protection |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Fantechi, Anne E. Haxthausen, Michel Boje Randahl Nielsen |
Model Checking Geographically Distributed Interlocking Systems Using UMC. |
PDP |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Linh H. Vu, Anne E. Haxthausen, Jan Peleska 0001 |
A Domain-Specific Language for Generic Interlocking Models and Their Properties. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Dmitry V. Efanov, Andrey Lykov, German Osadchy |
Testing of relay-contact circuits of railway signalling and interlocking. |
EWDTS |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Zhiwei Li, Jing Liu 0012, Haiying Sun, Tingliang Zhou, Junfeng Sun |
Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. |
APSEC |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Xiaoliang Hao, Fan Ma, Qiang Ren |
Directional interlocking overcurrent protection of microgrids powered by inverters injected with characteristic currents. |
IECON |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen |
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Jun-Home Chen, Jyi-Shane Liu |
The Analysis on Power Migration: The Relationship Between Progeny Networks and Geographical Interlocking Shareholdings. |
ASONAM |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo |
Compositional Verification of Interlocking Systems for Large Stations. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Umar Khan, Jamil Ahmad, Tariq Saeed, Sikandar Hayat Mirza |
On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train station. |
Complex Adapt. Syst. Model. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Piotr Kawalec, Marcin Rzysko |
Modern methods in railway interlocking algorithms design. |
Microprocess. Microsystems |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Eelke M. Heemskerk, Frank W. Takes, Javier Garcia-Bernardo, M. Jouke Huijzer |
Where is the global corporate elite? A large-scale network study of local and nonlocal interlocking directorates. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
19 | Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta |
Verification of railway interlocking - Compositional approach with OCRA. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
19 | Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay |
Verification of interlocking systems using statistical model checking. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
19 | Andrea Bonacchi 0001, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini |
Validation process for railway interlocking systems. |
Sci. Comput. Program. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Anne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach |
Comparing Formal Verification Approaches of Interlocking Systems. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Jan Peleska 0001, Wen-ling Huang, Felix Hübner |
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta |
Verification of Railway Interlocking - Compositional Approach with OCRA. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah |
Static Verification of Railway Schema and Interlocking Design Data. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Yinan Zhang 0001, Devin J. Balkcom |
Interlocking structure assembly with voxels. |
IROS |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Quentin Cappart, Pierre Schaus |
A Dedicated Algorithm for Verification of Interlocking Systems. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Anne E. Haxthausen, Peter H. Østergaard |
On the Use of Static Checking in the Verification of Interlocking Systems. |
ISoLA (2) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen |
Compositional Verification of Multi-station Interlocking Systems. |
ISoLA (2) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Xiaohong Chen 0007, Li Han 0001, Jing Liu 0012, Haiying Sun |
Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems. |
RE Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Tibor Kiss, Katalin Tunde Janosi-Rancz |
Developing railway interlocking systems with session types and Event-B. |
SACI |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Ye Kyaw Thu, Andrew M. Finch, Eiichiro Sumita |
Interlocking Phrases in Phrase-based Statistical Machine Translation. |
HLT-NAACL |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou |
Applying SOFL to a Railway Interlocking System in Industry. |
SOFL+MSVL |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Li Han 0001, Jing Liu 0012, Tingliang Zhou, Junfeng Sun, Xiaohong Chen 0007 |
Safety Requirements Specification and Verification for Railway Interlocking Systems. |
COMPSAC |
2016 |
DBLP DOI BibTeX RDF |
|