|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 473 occurrences of 346 keywords
|
|
|
Results
Found 4561 publication records. Showing 4561 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
118 | Gordan Stojic, Ilija Tanackov, Slavko Veskovic, Sanjin Milinkovic, Dragan Simic |
Modelling Evaluation of Railway Reform Level Using Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2009, 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings, pp. 695-702, 2009, Springer, 978-3-642-04393-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
railway reform, Modelling, evaluation, fuzzy logic |
99 | Yoshio Ishida |
Strategic Railway Systems Using ADS Technologies in Japan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy, pp. 91-95, 2003, IEEE Computer Society, 0-7695-1876-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
98 | Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki |
EVALPSN Based Railway Interlocking Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 961-967, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
intelligent safety verification, annotated logic program, railway interlocking, EVALPSN, defeasible deontic reasoning |
79 | Hans Schlenker |
Distributed Constraint-Based Railway Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 995, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
79 | Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini |
A Freshness Detection Mechanism for Railway Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March 2004, Papeete, Tahiti, pp. 292-301, 2004, IEEE Computer Society, 0-7695-2076-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
railway control systems, real-time, safety |
69 | Anders Moen Hagalisletto, Joakim Bjørk, Ingrid Chieh Yu, På Enger |
Constructing and Refining Large-Scale Railway Models Represented by Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 37(4), pp. 444-460, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
69 | André Berger, Ralf Hoffmann, Ulf Lorenz, Sebastian Stiller |
TOPSU - RDM a simulation platform for online railway delay management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008, pp. 20, 2008, ICST/ACM, 978-963-9799-20-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
online railway delay management, simulation, heuristics, transportation, stochastic scheduling, PSPACE, experimental algorithms, online optimization, web-based simulation |
69 | John R. Wilson, L. Cordiner, Sarah Nichols 0001, L. Norton, N. Bristol, Theresa Clarke, S. Roberts |
On the Right Track: Systematic Implementation of Ergonomics in Railway Network Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 3(4), pp. 238-253, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Ergonomics audit, Railway ergonomics, Field study, Situation awareness, Mental workload, Control rooms, Cognitive ergonomics |
63 | Leo G. Kroon, Dorothea Wagner, Frank Geraets, Christos D. Zaroliagis |
04261 Abstracts Collection - Algorithmic Methods for Railway Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Methods for Railway Optimization ![In: Algorithmic Methods for Railway Optimization, 20.06. - 25.06.2004, 2004, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
59 | Jens R. Calamé, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol |
TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 620-623, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
59 | Samia Nefti, Mourad Oussalah 0002 |
A neural network approach for railway safety prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (4) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 3915-3920, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
59 | Hongsheng Su, Youpeng Zhang |
Multi-Immune-Agent Based Power Quality Monitoring Method for Electrified Railway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 399-410, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Electrified Railway, Multi-Immune-Agent, Power Quality Monitoring |
59 | Cindy Eisner |
Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(1), pp. 107-124, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Locality, Formal verification, Robustness, Symbolic model checking, Railway interlocking |
53 | Leo G. Kroon, Frank Geraets, Dorothea Wagner, Christos D. Zaroliagis (eds.) |
Algorithmic Methods for Railway Optimization, 20.06. - 25.06.2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Methods for Railway Optimization ![Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
50 | Lennart Bengtsson, Rastislav Galia, Tomas Gustafsson, Curt Hjorring, Niklas Kohl |
Railway Crew Pairing Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATMOS ![In: Algorithmic Methods for Railway Optimization, International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers, pp. 126-144, 2004, Springer, 978-3-540-74245-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Leo G. Kroon, Rommert Dekker, Michiel J. C. M. Vromans |
Cyclic Railway Timetabling: A Stochastic Optimization Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATMOS ![In: Algorithmic Methods for Railway Optimization, International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers, pp. 41-66, 2004, Springer, 978-3-540-74245-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Julie Jespersen-Groth, Daniel Potthoff, Jens Clausen, Dennis Huisman, Leo G. Kroon, Gábor Maróti, Morten N. Nielsen |
Disruption Management in Passenger Railway Transportation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robust and Online Large-Scale Optimization ![In: Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems, pp. 399-421, 2009, Springer, 978-3-642-05464-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Anne E. Haxthausen |
A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings, pp. 1-3, 2009, Springer, 978-3-642-04467-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Petrica C. Pop, Camelia-Mihaela Pintea, Corina Pop Sitar, Dumitru Dumitrescu |
A Bio-Inspired Approach for a Dynamic Railway Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007, pp. 449-452, 2007, IEEE Computer Society, 978-0-7695-3078-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Kirsten Berkenkötter, Ulrich Hannemann |
Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings, pp. 398-411, 2006, Springer, 3-540-45762-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Sugjoon Yoon, Moon-Sang Kim, Jun-Seok Lim |
A Portability Study on Implementation Technologies by Comparing a Railway Simulator and an Aircraft FTD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaSim ![In: Systems Modeling and Simulation: Theory and Applications, Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 95-106, 2004, Springer, 3-540-24477-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Hakan Guler, Stanislav Jovanovic |
The application of modern GIS technology in the development of railway asset management systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (5) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 4153-4158, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Ruisi He, Zhangdui Zhong, Bo Ai 0001 |
Path loss measurements and analysis for high-speed railway viaduct scene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 266-270, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
high-speed railway, path loss exponent, path loss measurement, shadow fading, viaduct |
49 | Stig Ole Johnsen, Jørn Vatn, Ragnar Rosness, Ivonne Andrade Herrera |
Cross border railway operations: improving safety at cultural interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 8(1), pp. 76-88, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Safety culture, Scenario analysis, Railway |
49 | Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson 0001 |
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 524-540, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
partitioned transition relations, clustering, Binary Decision Diagrams, Symbolic model checking, image computation, railway interlockings |
40 | Georgia Hadjicharalambous, Petrica C. Pop, Evangelia Pyrga, George Tsaggouris, Christos D. Zaroliagis |
The Railway Traveling Salesman Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATMOS ![In: Algorithmic Methods for Railway Optimization, International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers, pp. 264-275, 2004, Springer, 978-3-540-74245-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Ting Zhou, Hamid Sharif, Michael Hempel, Puttipong Mahasukhon, Wei Wang 0015, Hsiao-Hwa Chen |
Performance Study of a Mobile Multi-hop 802.11a/b Railway Network Using Passive Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 14(6), pp. 782-797, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
802.11a/b, mobility, wireless LAN, finite state machine, cross-layer optimization, multi-hop network |
40 | Federico Barber, Laura Paola Ingolotti, Antonio Luis Lova, María Pilar Tormos, Miguel A. Salido |
Meta-heuristic and Constraint-Based Approaches for Single-Line Railway Timetabling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robust and Online Large-Scale Optimization ![In: Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems, pp. 145-181, 2009, Springer, 978-3-642-05464-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Alessandro Giua, Carla Seatzu |
Modeling and Supervisory Control of Railway Networks Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 5(3), pp. 431-445, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | María Pilar Tormos, Antonio Luis Lova, Federico Barber, Laura Paola Ingolotti, Montserrat Abril, Miguel A. Salido |
A Genetic Algorithm for Railway Scheduling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Metaheuristics for Scheduling in Industrial and Manufacturing Applications ![In: Metaheuristics for Scheduling in Industrial and Manufacturing Applications, pp. 255-276, 2008, Springer, 978-3-540-78984-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Train Timetabling Problem, Parameterized Regret-Based Biased Random Sampling, Real World Instances, Genetic Algorithms, Scheduling |
40 | Akiyasu Tomoeda, Mitsuhito Komatsu, Il Yun Yoo, Makoto Uchida, Ryo Takayama, Katsuhiro Nishinari |
Real-Time Railway Network Simulator "KUTTY". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings, pp. 433-440, 2008, Springer, 978-3-540-79991-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Xinhong Hei 0001, Sei Takahashi, Hideo Nakamura |
Toward developing a Decentralized Railway Signalling System Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAM ![In: 2008 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2008, 21-24 September 2008, Chengdu, China, pp. 851-855, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Martin Penicka |
Formal Approach to Railway Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 504-520, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Technique Integration, Planning, Control, Signalling, Timetabling, Railways, Rostering, Interlocking |
40 | Zhenrui Peng, Fu Wu, Zhaoyuan Jiang |
Prediction of Railway Passenger Traffic Volume by means of LS-SVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III, pp. 8-14, 2006, Springer, 3-540-34482-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Laura Paola Ingolotti, Antonio Luis Lova, Federico Barber, María Pilar Tormos, Miguel A. Salido, Montserrat Abril |
New Heuristics to Solve the "CSOP" Railway Timetabling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006, Proceedings, pp. 400-409, 2006, Springer, 3-540-35453-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Decision Support, Constraint Satisfaction, Planning and Scheduling |
40 | Ola Løkberg, Øystein Skogstad |
Functional Apportioning of Safety Requirements on Railway Signalling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, pp. 289-302, 2005, Springer, 3-540-29200-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Jose Antonio Fonseca, Jorge Rady de Almeida Jr. |
CMMI RAMS Extension Based on CENELEC Railway Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, pp. 1-12, 2005, Springer, 3-540-29200-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova |
Simulated Time for Testing Railway Interlockings with TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers, pp. 1-15, 2005, Springer, 3-540-34454-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Michael Gatto, Björn Glaus, Riko Jacob, Leon Peeters, Peter Widmayer |
Railway Delay Management: Exploring Its Algorithmic Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: Algorithm Theory - SWAT 2004, 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004, Proceedings, pp. 199-211, 2004, Springer, 3-540-22339-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Alexander Kuckelberg |
Component Based System Architecture for Railway Capacity Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany, pp. 189-196, 2004, IEEE Computer Society, 0-7695-2207-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
distributed and web-based information systems, Component-based systems |
40 | Muhammet Fikret Ercan, Yu-Fai Fung, Tin-Kin Ho, Wai-leung Cheung |
Parallel Linear System Solution and Its Application to Railway Power Network Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, pp. 537-540, 2003, Springer, 3-540-40788-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Hans Schlenker |
Distributed Constraint-Based Railway Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 762, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Cindy Eisner |
Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, pp. 97-109, 1999, Springer, 3-540-66559-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Gérard Berthelot, Laure Petrucci |
Specification and validation of a concurrent system: an educational project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(4), pp. 372-381, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Verification, Education, Specification, Coloured Petri nets |
39 | Yuji Niwa |
A proposal for a new accident analysis method and its application to a catastrophic railway accident in Japan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 11(3), pp. 187-204, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Railway accident, PG-diagram, MTO, Human reliability analysis, Risk, Genotype, Phenotype, Accident analysis |
39 | Itziar Salaberria, Roberto Carballedo, Unai Gutierrez, Asier Perallos |
Wireless Communications Architecture for "Train-to-Earth" Communication in the Railway Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 626-633, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Web Services, Wireless communications, GPRS, WiFi, railway |
39 | Etienne Côme, Latifa Oukhellou, Thierry Denoeux, Patrice Aknin |
Noiseless Independent Factor Analysis with Mixing Constraints in a Semi-supervised Framework. Application to Railway Device Fault Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2009, 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part II, pp. 416-425, 2009, Springer, 978-3-642-04276-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Independent Factor Analysis, mixing constraints, railway device, diagnosis, semi-supervised learning |
39 | Kuei-Hsiang Chao |
Extension Robust Control of a Three-Level Converter for High-Speed Railway Tractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II, pp. 227-236, 2008, Springer, 978-3-540-87733-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Three-level converter, power factor correction, extension robust controller, high-speed railway tractions |
39 | Anne E. Haxthausen, Jan Peleska 0001 |
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 320-348, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
railway control systems, verification, formal methods, code generation, domain-specific languages, domain engineering |
39 | W. H. Gibson, E. D. Megaw, M. S. Young, E. Lowe |
A taxonomy of human communication errors and application to railway track maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 8(1), pp. 57-66, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Railway maintenance, Human reliability assessment, Communication, Human error |
39 | Arne Borälv |
Case Study: Formal Verification of a Computerized Railway Interlocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 10(4), pp. 338-360, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Stålmarck's method, Formal verification, Railway interlocking |
39 | Kirsten Mark Hansen |
Validation of a Railway Interlocking Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 582-601, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Application of formal methods, simulation, model validation, railway interlocking |
39 | Matthew J. Morley |
Safety in Railway Signalling Data: A Behavioural Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 464-474, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
application specific languages, Safety-critical systems, higher-order logic, railway signalling |
39 | Calin Ciufudean, Constantin Filote |
Holonic Models for Traffic Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HoloMAS ![In: Holonic and Multi-Agent Systems for Manufacturing, 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009. Proceedings, pp. 276-284, 2009, Springer, 978-3-642-03666-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
planning module, priority module, control module, railway traffic, traffic jam, Petri nets |
39 | Lionel van den Berg, Paul A. Strooper, Kirsten Winter |
Introducing Time in an Industrial Application of Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 56-67, 2007, Springer, 978-3-540-79706-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
real-time system, model checking, railway interlockings |
39 | Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio |
Labeled @-Calculus: Formalism for Time-Concerned Human Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 25-39, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Labeled @-calculus, time-concerned knowledge and belief, Shigaraki Kougen Railway accident |
39 | Kenji Itoh, Henning Boje Andersen, Masaki Seki |
Track maintenance train operators' attitudes to job, organisation and management, and their correlation with accident/incident rate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 6(2), pp. 63-78, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Attitude factors, Railway safety, FMAQ, TMAQ, Motivation, Morale |
38 | Guangyan Li, W. Ian Hamilton, Ged Morrisroe, Theresa Clarke |
Driver detection and recognition of lineside signals and signs at different approach speeds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 8(1), pp. 30-40, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Railway signs, Train speed, Signal sighting, Driver response, Railway signals |
31 | Kerstin Hartig, Jens Gerlach, Juan Soto 0001, Jürgen Busse |
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010, pp. 145-153, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto |
The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010, pp. 55-63, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Joffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi |
Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010, pp. 125-133, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Klaus-Rüdiger Hase |
"Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010, pp. 5-38, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Tao Tang |
Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010, pp. 39, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann |
Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010, pp. 155-164, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe |
A Method of Evaluating Railway Signalling System Based on RAMS Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010, pp. 97-105, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Tony Lee, May Tso |
A universal sensor data platform modelled for realtime asset condition surveillance and big data analytics for railway systems: Developing a "Smart Railway" mastermind for the betterment of reliability, availability, maintainbility and safety of railway systems and passenger service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SENSORS ![In: 2016 IEEE SENSORS, Orlando, FL, USA, October 30 - November 3, 2016, pp. 1-3, 2016, IEEE, 978-1-4799-8287-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Christian Liebchen, Rolf H. Möhring |
The Modeling Power of the Periodic Event Scheduling Problem: Railway Timetables - and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATMOS ![In: Algorithmic Methods for Railway Optimization, International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers, pp. 3-40, 2004, Springer, 978-3-540-74245-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Antonio Luis Lova, María Pilar Tormos, Federico Barber, Laura Paola Ingolotti, Miguel A. Salido, Montserrat Abril |
Intelligent Train Scheduling on a High-Loaded Railway Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATMOS ![In: Algorithmic Methods for Railway Optimization, International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers, pp. 219-232, 2004, Springer, 978-3-540-74245-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Valentina Cacchiani |
Models and algorithms for combinatorial optimization problems arising in railway applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
4OR ![In: 4OR 7(1), pp. 109-112, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
MSC classification (2000) 90B06, 90C57, 90C90, 90C10, 90C59 |
30 | M. V. S. N. Prasad, P. K. Dalela |
Some experimental investigation of the effect of railway tunnels on mobile communications in Western India. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. des Télécommunications ![In: Ann. des Télécommunications 64(3-4), pp. 247-257, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Path loss measurements, Mobile communications, Tunnels |
30 | Julien Rabatel, Sandra Bringay, Pascal Poncelet |
SO_MAD: SensOr Mining for Anomaly Detection in Railway Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Advances in Data Mining. Applications and Theoretical Aspects, 9th Industrial Conference, ICDM 2009, Leipzig, Germany, July 20-22, 2009. Proceedings, pp. 191-205, 2009, Springer, 978-3-642-03066-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
behavior characterization, anomaly detection, sequential patterns |
30 | Takashi Kunifuji, Kinji Mori, Tadao Miura, Jun Nishiyama |
A Proposal of Flexible Railway Signalling System Utilizing Autonomous Decentralized Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 22-26 June 2009, Montreal, Québec, Canada, pp. 300-305, 2009, IEEE Computer Society, 978-0-7695-3660-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Cristina De Ambrosi, Cristiano Ghersi, Armando Tacchella |
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings, pp. 449-458, 2009, Springer, 978-3-642-02567-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Ontology-driven information systems design, Domain-specific ontologies, Knowledge management |
30 | Francescomaria Marino, Arcangelo Distante, Pier Luigi Mazzeo, Ettore Stella |
A Real-Time Visual Inspection System for Railway Maintenance: Automatic Hexagonal-Headed Bolts Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 37(3), pp. 418-428, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi |
Experimenting with diversity in the model driven development of a railway signaling system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EFTS ![In: Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007, pp. 5, 2007, ACM, 978-1-59593-725-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
formal modelling, automatic code generation |
30 | Petrica C. Pop, Camelia-Mihaela Pintea, Corina Pop Sitar |
An Ant-Based Heuristic for the Railway Traveling Salesman Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutinary Computing, EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog, Valencia, Spain, April11-13, 2007, Proceedings., pp. 702-711, 2007, Springer, 978-3-540-71804-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Chi-Chung Tao |
A Combinatorial Approach to Quantify Stochastic Failure of Complex Component-Based Systems_The Case of an Advanced Railway Level Crossing Surveillance System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (4) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 4, pp. 301-306, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Ralf Borndörfer, Thomas Schlechte |
Solving Railway Track Allocation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR ![In: Operations Research, Proceedings 2007, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Saarbrücken, Germany, September 5-7, 2007, pp. 117-122, 2007, Springer, 978-3-540-77902-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Kira Kastell, Steffen Bug, Alexey Nazarov, Rolf Jakoby |
Improvments in Railway Communication via GSM-R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 3026-3030, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero |
UML Based Reverse Engineering for the Verification of Railway Control Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 24-28 May 2006, Szklarska Poreba, Poland, pp. 3-10, 2006, IEEE Computer Society, 0-7695-2565-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Emad Aboelela, William Edberg, Christos Papakonstantinou, Vinod Vokkarane |
Wireless sensor network based model for secure railway operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: Proceedings of the 25th IEEE International Performance Computing and Communications Conference, IPCCC 2006, April 10-12, 2006, Phoenix, Arizona, USA, 2006, IEEE, 1-4244-0198-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Anita Schöbel |
Locating Stops Along Bus or Railway Lines - A Bicriteria Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 136(1), pp. 211-227, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bicriterial, dynamic programming, location, set covering, public transportation |
30 | Jesús Carretero 0001, Javier Fernández 0001, Alejandro Calderón 0001, Félix García Carballeira |
High Availability Considerations for a Distributed Computer-Based Railway Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 22-26 August 2005, Copenhagen, Denmark, pp. 328-332, 2005, IEEE Computer Society, 0-7695-2424-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Radek Dobias, Hana Kubátová |
FPGA Based Design of the Railway's Interlocking Equipments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August - 3 September 2004, Rennes, France, pp. 467-473, 2004, IEEE Computer Society, 0-7695-2203-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Hans Schlenker |
Distributed Constraint-Based Railway Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 215-226, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder |
Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 96-118, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Laura Paola Ingolotti, Federico Barber, María Pilar Tormos, Antonio Luis Lova, Miguel A. Salido, Montserrat Abril |
An Efficient Method to Schedule New Trains on a Heavily Loaded Railway Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, pp. 164-173, 2004, Springer, 3-540-23806-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Taïeb Mellouli, Leena Suhl |
Rotation Planning of Locomotive and Carriage Groups with Shared Capacities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATMOS ![In: Algorithmic Methods for Railway Optimization, International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers, pp. 276-294, 2004, Springer, 978-3-540-74245-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Evangelos Kranakis, Paolo Penna, Konrad Schlude, David Scot Taylor, Peter Widmayer |
Improving Customer Proximity to Railway Stations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAC ![In: Algorithms and Complexity, 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings, pp. 264-276, 2003, Springer, 3-540-40176-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Dorothea Wagner |
Algorithms and Models for Railway Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures, 8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings, pp. 198-206, 2003, Springer, 3-540-40545-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Arturo M. Amendola, Roberto Di Maio, M. L. Iacobuzio, Fabio Poli, Fernando Scalabrini |
Lessons Learned in Designing and Evaluating Railway Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS Fall ![In: 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 1-3 October 2003, Anacapri (Capri Island), Italy, pp. 355-, 2003, IEEE Computer Society, 0-7695-2054-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
An Automatic SPIN Validation of a Safety Critical Railway Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 119-124, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
dependable protocols, model checking, formal verification, safety-critical systems |
30 | Julio Mellado, Manuel Sierra, Ana Romera, Juan C. Dueñas |
Railway-Control Product Families: The Alcatel TAS Platform Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IW-SAPF ![In: Software Architectures for Product Families, International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000, Proceedings, pp. 53-62, 2000, Springer, 3-540-41480-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Fangmei Wu, Meng Li |
Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 8th Asian Test Symposium (ATS '99), 16-18 November 1999, Shanghai, China, pp. 247-250, 1999, IEEE Computer Society, 0-7695-0315-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
dynamic decision table, software testing, safety-critical software, interlocking |
30 | Pierre Breguet, Luigi Zaffalon |
Railway Scale Model Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 170-180, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
simulation, concurrency, resource management, rendezvous, protected objects, Education and training |
30 | Adrian David Cheok, S. Shiomi |
A fuzzy logic based anti-skid control system for railway applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Electronic Systems, 2nd International Conference, KES 1998, Adelaide, South Australia, 21-23 April 1998, Proceedings, Part I, pp. 195-201, 1998, IEEE. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Michele Missikoff |
An object-oriented approach to an information and decision support system for railway traffic control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Electronic Systems, 1st International Conference, KES 1997, Adelaide, South Australia, 21-23 May, 1997, Proceedings, Part II, pp. 633-641, 1997, IEEE. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Apostolos Bessas, Spyros C. Kontogiannis, Christos D. Zaroliagis |
Incentive-Compatible Robust Line Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robust and Online Large-Scale Optimization ![In: Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems, pp. 85-118, 2009, Springer, 978-3-642-05464-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Francesco Corman, Rob M. P. Goverde, Andrea D'Ariano |
Rescheduling Dense Train Traffic over Complex Station Interlocking Areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robust and Online Large-Scale Optimization ![In: Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems, pp. 369-386, 2009, Springer, 978-3-642-05464-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Train Rescheduling, Alternative Graph, Incompatibility Graph |
30 | Sebastian Kinder, Rolf Drechsler |
Modeling and proving functional completeness in formal verification of counting heads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 10(6), pp. 521-534, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 4561 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|