|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 129 occurrences of 107 keywords
|
|
|
Results
Found 381 publication records. Showing 381 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
134 | Jong-Sun Kim, Ji-Yoon Yoo, Hack-Youp Noh |
Software Design of Electronic Interlocking System Based on Real-Time Object-Oriented Modeling Technique. |
OTM Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
114 | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis |
Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. |
ISPA |
2006 |
DBLP DOI BibTeX RDF |
interlocking control, model checking, safety, distributed control |
85 | Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki |
EVALPSN Based Railway Interlocking Simulator. |
KES |
2004 |
DBLP DOI BibTeX RDF |
intelligent safety verification, annotated logic program, railway interlocking, EVALPSN, defeasible deontic reasoning |
76 | Stephan Olariu, Albert Y. Zomaya |
A Time- and Cost-Optimal Algorithm for Interlocking Sets-With Applications. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
time-optimal algorithms, routing, parallel algorithms, VLSI, lower bounds, CAD, Circuit design |
71 | Arne Borälv |
Case Study: Formal Verification of a Computerized Railway Interlocking. |
Formal Aspects Comput. |
1998 |
DBLP DOI BibTeX RDF |
Stålmarck's method, Formal verification, Railway interlocking |
67 | Cindy Eisner |
Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. |
Int. J. Softw. Tools Technol. Transf. |
2002 |
DBLP DOI BibTeX RDF |
Locality, Formal verification, Robustness, Symbolic model checking, Railway interlocking |
62 | Cédric Chevillat, David A. Carrington, Paul A. Strooper, Jörn Guy Süß, Luke Wildman |
Model-Based Generation of Interlocking Controller Software from Control Tables. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Karol Rástocný, Ales Janota, Jirí Zahradník |
The Use of UML for Development of a Railway Interlocking System. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
58 | Xinhong Hei 0001, Sei Takahashi, Hideo Nakamura |
Toward developing a Decentralized Railway Signalling System Using Petri Nets. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
57 | Kirsten Mark Hansen |
Validation of a Railway Interlocking Model. |
FME |
1994 |
DBLP DOI BibTeX RDF |
Application of formal methods, simulation, model validation, railway interlocking |
52 | D. Ramesh |
A Twin Algorithm for Efficient Generation of Digital Signatures. |
INDOCRYPT |
2001 |
DBLP DOI BibTeX RDF |
personnel identification, interlocking equations, Cryptography, digital signature, data authentication |
52 | Fangmei Wu, Meng Li |
Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table. |
Asian Test Symposium |
1999 |
DBLP DOI BibTeX RDF |
dynamic decision table, software testing, safety-critical software, interlocking |
43 | Hiroyuki Sugahara, Takashi Kunifuji, Tetsunori Hattori, Yoshiyuki Hirano, Yamato Fukuta, Masayuki Matsumoto |
Assurance Technologies for Signal Control System by Optical LAN. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
Signal control system, E-PON, Field Controller, Optical LAN, Logical Controller |
43 | Hans M. Jacobson, Prabhakar Kudva, Pradip Bose, Peter W. Cook, Stanley Schuster |
Synchronous Interlocked Pipelines. |
ASYNC |
2002 |
DBLP DOI BibTeX RDF |
progressive stalls, synchronous, Pipeline, asynchronous, clock gating, elastic, interlocked |
42 | Tao Liu |
An Empirical Study about the Effects of Interlocking Directorates Strategy on the Firm's Output in the Dynamic Environment. |
JCAI |
2009 |
DBLP DOI BibTeX RDF |
strategy of interlocking directorate, environment dynamism, moderating influence, random-effects GLS regression, social networks |
38 | Andreas Svendsen, Gøran K. Olsen, Jan Endresen, Thomas Moen, Erik Carlson, Kjell-Joar Alme, Øystein Haugen |
The Future of Train Signaling. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
MoSiS, Train, model-driven development, signaling, DSL, interlocking |
38 | Zhongwei Xu, Fangmei Wu |
A Novel Testing Approach for Safety-Critical Software. |
Asian Test Symposium |
1999 |
DBLP DOI BibTeX RDF |
Software-critical software, software testing, interlocking |
38 | Yi Yu, Fangmei Wu |
A Software Acceptance Testing Technique Based on Knowledge Accumulation. |
Great Lakes Symposium on VLSI |
1999 |
DBLP DOI BibTeX RDF |
knowledge accumulation, software, acceptance testing, interlocking, railway signaling |
38 | Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell |
Fault Injection for Dependability Validation: A Methodology and Some Applications. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
dependability validation, fault-tolerance mechanisms, hardware/software prototype, validation-directed design process, general pin-level fault injection tool, MESSALINE, centralized computerized interlocking system, railway control applications, dependable communication system, ESPRIT Delta-4 Project, distributed system, fault tolerant computing, distributed processing, software tools, program verification, computer communications software, railways, fault-tolerant computing systems, validation methodology |
33 | Francesco Corman, Rob M. P. Goverde, Andrea D'Ariano |
Rescheduling Dense Train Traffic over Complex Station Interlocking Areas. |
Robust and Online Large-Scale Optimization |
2009 |
DBLP DOI BibTeX RDF |
Train Rescheduling, Alternative Graph, Incompatibility Graph |
33 | Hiromasa Yamashita, Siyang Zuo, Ken Masamune, Hongen Liao, Takeyoshi Dohi |
Nonmagnetic Rigid and Flexible Outer Sheath with Pneumatic Interlocking Mechanism for Minimally Invasive Surgical Approach. |
MICCAI (1) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Radek Dobias, Jan Konarski, Hana Kubátová |
Dependability Evaluation of Real Railway Interlocking Device. |
DSD |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Orides Morandin Jr., Edilson R. R. Kato, G. Rodrigo Araújo, V. Luciano Sasso |
A modeling strategy for control and interlocking of an AMS using Virtual Petri Nets. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
33 | M. Ch. Karra, M. P. Bekakos |
A FPGA-Based Systolic Array Prototype Implementing the Quadrant Interlocking Factorization Method. |
J. Supercomput. |
2006 |
DBLP DOI BibTeX RDF |
FPGA technology, parallelism, finite-state machine, time complexity, systolic arrays, processing elements |
33 | Jens R. Calamé, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol |
TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Spyridon Revithis, William H. Wilson, Nadine Marcus |
IPSOM: A Self-organizing Map Spatial Model of How Humans Complete Interlocking Puzzles. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
Cognitive Modeling of Human Behaviour, Self-Organizing Map, Kohonen Map, Neural Network Applications |
33 | Radek Dobias, Hana Kubátová |
FPGA Based Design of the Railway's Interlocking Equipments. |
DSD |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Tomas Hlavaty, Libor Preucil, Petr Stepan |
Case Study: Formal Specification and Verification of Railway Interlocking System. |
EUROMICRO |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso |
Formal Verification of a Railway Interlocking System using Model Checking. |
Formal Aspects Comput. |
1998 |
DBLP DOI BibTeX RDF |
Model checking, Formal methods, Safety critical systems, spin, Industrial applications |
33 | Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso |
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Vinod S. S. Chandra, M. R. Verma |
A Fail-Safe Interlocking System for Railways. |
IEEE Des. Test Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
33 | J. Shanehchi, David J. Evans 0001 |
New variants of the quadrant interlocking factorisation (Q.I.F.) method. |
CONPAR |
1981 |
DBLP DOI BibTeX RDF |
|
29 | Sebastian Kinder, Rolf Drechsler |
Modeling and proving functional completeness in formal verification of counting heads. |
Int. J. Softw. Tools Technol. Transf. |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Walter Fuß |
Tailored Solutions for Safety-Installations in the Loetschberg Tunnel - A Project with Importance for the Trans-European Rail Traffic. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Christophe Métayer, Mathieu Clabaut |
DIR 41 Case Study. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Sebastian Kinder, Rolf Drechsler |
Proving Completeness of Properties in Formal Verification of Counting Heads for Railways. |
DSD |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Jun Nishiyama, Hiroyuki Sugahara, Tetsuya Okada, Takashi Kunifuji, Yamato Fukuta, Masayuki Matsumoto |
A signal control system by optical LAN and design simplification. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Michael Huber, Steve King 0001 |
Towards an Integrated Model Checker for Railway Signalling Data. |
FME |
2002 |
DBLP DOI BibTeX RDF |
Data verification, hidden formal methods, model checking |
29 | Cindy Eisner |
Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Mishael Milakovic, Matthias Raddant, Laura Birg |
Hierarchy in Germany's Corporate Network. |
ASONAM |
2010 |
DBLP DOI BibTeX RDF |
network core, interlocking directorates, centrality, corporate governance |
23 | Martin Penicka |
Formal Approach to Railway Applications. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
Technique Integration, Planning, Control, Signalling, Timetabling, Railways, Rostering, Interlocking |
23 | Robert Pellerin, Gilbert Babin, Pierre-Majorique Léger, Kim St-Georges |
Enterprise Resource Planning Diffusion: Measuring the Impact of Network Exposure and Power. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
adaoption, ERP, diffusion, interlocking |
19 | Thomas Kampa, Christian Klaus Müller, Daniel Großmann |
Interlocking IT/OT security for edge cloud-enabled manufacturing. |
Ad Hoc Networks |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Guodong Lang, Yongsheng Gao 0002, Zhewen Luo, Guanlin Liang, Yanhe Zhu, Jie Zhao 0003 |
Kinematic Analysis for the Spatial Interlocking 3-UU Mechanism With the Wide Range of Motion. |
IEEE Robotics Autom. Lett. |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Shibing Xiang, Xin Jiang, Bing Liu, Yurui Huang, Chaolin Tian, Yifang Ma |
Knowledge Navigation: Inferring the Interlocking Map of Knowledge from Research Trajectories. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Lokanna Kadakolmath, Umesh D. Ramu |
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System. |
Formal Aspects Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Kazuki Ito, Tetsuya Kinugasa, Kentaro Chiba, Yu Okuda, Ryuji Takasaki, Sayaka Hida, Tsukasa Okoshi, Ryota Hayashi, Koji Yoshida, Koichi Osuka |
The robotic approach to the passive interlocking mechanism in the hindlimb musculoskeletal system of Crocodylus porosus. |
Adv. Robotics |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jaeyoung Yoon, Junghwan Byun, Minjo Park, Hayun Kim, Woongbae Kim, Jinsu Yoon, Kyu-Jin Cho, Yongtaek Hong |
Reconfigurable Innervation of Modular Soft Machines via Soft, Sticky, and Instant Electronic Adhesive Interlocking. |
Adv. Intell. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Quentin Martinet, Antoine Aubret, Jeremie Palacci |
Rotation Control, Interlocking, and Self-Positioning of Active Cogwheels. |
Adv. Intell. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Alberto Baccini, Cristina Re |
Who are the gatekeepers of economics? Geographic diversity, gender composition, and interlocking editorship of journal boards. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Tom Goertzen, Domen Macek, Lukas Schnelle, Meike Weiß, Stefanie Reese, Hagen Holthusen, Alice C. Niemeyer |
Mechanical Comparison of Arrangement Strategies for Topological Interlocking Assemblies. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Anne Elisabeth Haxthausen, Alessandro Fantechi |
Compositional Verification of Railway Interlocking Systems. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Pengbin Tang, Stelian Coros, Bernhard Thomaszewski |
Beyond Chainmail: Computational Modeling of Discrete Interlocking Materials. |
ACM Trans. Graph. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Peichang Ouyang, Krzysztof Gdawiec, Alain Nicolas, David Bailey, Kwok Wai Chung |
Interlocking Spiral Drawings Inspired by M. C. Escher's Print Whirlpools. |
ACM Trans. Graph. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Qiaodong Cui, Victor Rong, Desai Chen, Wojciech Matusik |
Dense, Interlocking-Free and Scalable Spectral Packing of Generic 3D Objects. |
ACM Trans. Graph. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jeongwon Choi, Inseok Hwang 0001 |
VoiceCogs: Interlocking Concurrent Voices for Separable Compressed Browsing with Screen Readers. |
UbiComp/ISWC Adjunct |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen |
Automated Compositional Verification of Interlocking Systems. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky |
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Phillip James, Faron Moller, Markus Roggenbach |
Software Model Checking of Interlocking Programs. |
Applicable Formal Methods for Safe Industrial Products |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori |
Decomposing the Verification of Interlocking Systems. |
Applicable Formal Methods for Safe Industrial Products |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu |
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. |
ESEC/SIGSOFT FSE |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Carina Albrecht-Gansohr, Stefan Geisler, Sabrina Cornelia Eimler |
Playful Co-Design: Creating an AR-Prototype with Nurses in Interlocking Remote and On-Site Workshops. |
CHI Extended Abstracts |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Juanning Wang, Qiang Li |
Automatic testing of computerized interlocks based on recognition of the interlocking host computer interface. |
CNML |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sebastian Lieb, Thorsten Thormählen, Felix Rieger |
Digitizing Interlocking Building Blocks. |
VMV |
2023 |
DBLP DOI BibTeX RDF |
|
19 | P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira |
CSP Specification and Verification of a Relay-Based Railway Interlocking System. |
SBMF |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Qihe Zhang, Shunli Li, Zhiguo Liang, Jiacheng Kong, Dongdong Wei, Yong Yang, Ming Chai, Haifeng Wang |
A Distributed Convergent Clock Synchronization Algorithm Based on Exponential Smoothing for Cloud-Based Railway Interlocking System. |
ITSC |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Huan Zheng, Qihe Zhang, Zhiguo Liang, Jiacheng Kong, Dongdong Wei, Yong Yang, Ming Chai, Haifeng Wang |
A Hybrid Meta-Heuristic Algorithm of Load Balancing for Cloud-based Railway Interlocking System. |
ITSC |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zang Wenhao, Zhenhai Zhang |
Research on 3D Visualization and Monitoring Technology of Station Interlocking Equipment Based on Digital Twin. |
ICISE |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sara Lee Kit Yee, Chong Chee Oon |
Effects of Pitch Size of Interlocking Screw on Prosthesis Stem. |
ICBET |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Aidan N. Gomez, Oscar Key, Kuba Perlin, Stephen Gou, Nick Frosst, Jeff Dean, Yarin Gal |
Interlocking Backpropagation: Improving depthwise model-parallelism. |
J. Mach. Learn. Res. |
2022 |
DBLP BibTeX RDF |
|
19 | Eric Frank Wolstenholme |
Using Cascaded and Interlocking Generic System Archetypes to Communicate Policy Insights - The Case for Justifying Integrated Health Care Systems in Terms of Reducing Hospital Congestion. |
Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Siyang Zuo, Haoming Li 0013, Zhichao Hua 0003, Jianbin Liu, Baojun Chen |
A Novel Jamming Structure With Interlocking Mechanism Towards Applications in Wearable Robots. |
IEEE Robotics Autom. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Elham Mousavian, Katalin Bagi, Claudia Casapulla |
Interlocking joint shape optimization for structurally informed design of block assemblages. |
J. Comput. Des. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Hongwei Lian, Xiuxuan Wang, Anjali Sharma, Mohd Asif Shah |
Application and Study of Artificial Intelligence in Railway Signal Interlocking Fault. |
Informatica (Slovenia) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Vinayak R. Krishnamurthy, Ergun Akleman, Sai Ganesh Subramanian, Matthew Ebert, Jiaqi Cui, Chia-An Fu, Courtney Starrett |
Geometrically Interlocking Space-Filling Tiling Based on Fabric Weaves. |
IEEE Trans. Vis. Comput. Graph. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Volker Nannen, Damian Bover |
Traction of Interlocking Spikes on a Granular Material. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Ioannis Koureas, Mohit Pundir, Shai Feldfogel, David S. Kammer |
Beam-like topologically interlocked structures with hierarchical interlocking. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Volker Nannen, Damian Bover |
Lateral Stability of Vehicle with Interlocking Spikes. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Razvan Andrei Gheorghiu, Florin Badau, Valentin Iordache |
Applicability of Magnetic Sensors in Interlocking Systems. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Rulin Chen, Ziqi Wang 0006, Peng Song 0001, Bernd Bickel |
Computational design of high-level interlocking puzzles. |
ACM Trans. Graph. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul |
CSP specification and verification of relay-based railway interlocking systems. |
SAC |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Wenjia Long, Kaizhi Wang, Xuan Wang |
Reliability Analysis of a Computer-Based Interlocking System with a Double 2-out-of-2 Redundancy Structure using Algebraic Binary Decision Diagrams. |
QRS Companion |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Keigo Uchiyama, Hiroshi Yamamoto, Eiji Utsunomiya, Kiyohito Yoshihara |
Sensor Network System for Condition Detection of Harmful Animals by Step-by-step Interlocking of Various Sensors. |
ICAIIC |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Gábor Lukács, Tamás Bartha |
Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems. |
SACI |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni |
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. |
TACAS (1) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Haoxiang Su, Ming Chai, Hongjie Liu, Jinchuan Chai, Chaopeng Yue |
A Model-Based Testing System for Safety of Railway Interlocking. |
ITSC |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Yongjing Wang, Feiying Lan, Jiayi Liu, Jun Huang, Shizhong Su, Chunqian Ji, Duc Truong Pham, Wenjun Xu 0002, Quan Liu, Zude Zhou |
Interlocking problems in disassembly sequence planning. |
Int. J. Prod. Res. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Martín N. Menéndez, Santiago Germino, Facundo S. Larosa, Ariel Lutenberg |
Automatic generation of VHDL code for a railway interlocking system. |
Int. J. Embed. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Arindam Das, Manoj Kumar Gangwar, Devleena Ghosh, Chittaranjan Mandal 0002, Anirban Sengupta, M. Mubashshir Waris |
Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan. |
IEEE Trans. Intell. Transp. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Michael Vierhauser, Sean Bayley, Jane Wyngaard, Wandi Xiong, Jinghui Cheng, Joshua Huseman, Robyn R. Lutz, Jane Cleland-Huang |
Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces. |
IEEE Trans. Software Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Mo Yu, Yang Zhang 0001, Shiyu Chang, Tommi S. Jaakkola |
Understanding Interlocking Dynamics of Cooperative Rationalization. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
19 | Anantha Natarajan, Jiaqi Cui, Ergun Akleman, Vinayak R. Krishnamurthy |
Construction of Planar and Symmetric Truss Structures with Interlocking Edge Elements. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
19 | Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky |
SafeCap: from formal verification of railway interlocking to its certification. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
19 | Mohammad Nazir Ahmad, Mohd Ismawira Mohd Ismail, Nor Hidayati Zakaria, Mazida Ahmad, Mohd Khairul Maswan Mohd Redzuan |
Pertinent Knowledge Storage Processes for Central Repository Design in Domain of Interlocking Institutional Worlds. |
Int. J. Enterp. Inf. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Puxun Tu, Yao Gao, Abel J. Lungu, Dongyuan Li, Huixiang Wang, Xiaojun Chen 0003 |
Augmented reality based navigation for distal interlocking of intramedullary nails utilizing Microsoft HoloLens 2. |
Comput. Biol. Medicine |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Sebastian Weydner-Volkmann, Linus Feiten |
Trust in technology: interlocking trust concepts for privacy respecting video surveillance. |
J. Inf. Commun. Ethics Soc. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Jan Peleska 0001, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger |
Efficient data validation for geographical interlocking systems. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Signe Geisler, Anne Elisabeth Haxthausen |
Stepwise development and model checking of a distributed interlocking system using RAISE. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Yinan Zhang 0001, Yotto Koga, Devin J. Balkcom |
Interlocking Block Assembly With Robots. |
IEEE Trans Autom. Sci. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 381 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|