|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
102 | Ian Broster, Alan Burns 0001, Guillermo Rodríguez-Navas |
Timing Analysis of Real-Time Communication Under Electromagnetic Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 30(1-2), pp. 55-81, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
TTCAN, probabilistic timing analysis, electromagnetic interference, bus guardian, babbling idiot, dependability, faults, Controller Area Network, CAN |
98 | Indranil Saha, Suman Roy 0001 |
A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCTA ![In: 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 5-7 March 2007, Kolkata, India, pp. 77-81, 2007, IEEE Computer Society, 978-0-7695-2770-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
98 | Indranil Saha, Suman Roy 0001, Kuntal Chakraborty |
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 69-79, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
87 | Gabriel Leen, Donal Heffernan |
Modeling and Verification of a Time-triggered Networking Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN/ICONS/MCL ![In: Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius, pp. 178, 2006, IEEE Computer Society, 0-7695-2552-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Steve C. Talbot, Shangping Ren |
Comparision of FieldBus Systems CAN, TTCAN, FlexRay and LIN in Passenger Vehicles. ![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. 26-31, 2009, IEEE Computer Society, 978-0-7695-3660-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
54 | José Antonio de Frutos, Esther Cadiñanos, Juan Ignacio Pérez, Sara García |
Tool for Analysis and Simulation of TTCAN Communication in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 2, pp. 119-122, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Carl Bergenhem, Johan Karlsson, Christian Archer, Andreas Sjoblom |
Implementation Results of a Configurable Membership Protocol for Active Safety Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA, pp. 387-388, 2006, IEEE Computer Society, 0-7695-2724-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Xin Li 0109, Jian Guo 0005, Yongxin Zhao, Xiaoran Zhu |
Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 28(10), pp. 1950177:1-1950177:21, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Shuxin Liu, Noriaki Yoshiura |
Model Checking of TTCAN Protocol Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2018 - 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part IV, pp. 550-564, 2018, Springer, 978-3-319-95170-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Çagatay Özdemir |
CAN/TTCAN Sistemlerin UPPAAL Aracı ile Modellenmesi ve Zamanlama Doğrulaması. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UYMS ![In: Proceedings of the 8th Turkish National Software Engineering Symposium, Güzelyurt, KKTC, Turkey, September 8-10, 2014., 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
32 | Qinwen Ran, Xi Wu 0005, Xin Li 0010, Jianqi Shi, Jian Guo 0005, Huibiao Zhu |
Modeling and Verifying the TTCAN Protocol Using Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 90-97, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Daniel Keating, Allan McInnes, Michael P. Hayes |
Model Checking a TTCAN Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, March 21-25, 2011, pp. 387-396, 2011, IEEE Computer Society, 978-0-7695-4342-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Xiao Wu, Heng Ling, Yunwei Dong |
On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009., pp. 572-577, 2009, IEEE Computer Society, 978-0-7695-3678-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Jean-Luc Scharbarg, Marc Boyer, Jérôme Ermont, Christian Fraboul |
TTCAN over mixed CAN/switched Ethernet architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2005, Catania, Italy, 2005, IEEE, 0-7803-9401-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Colin Ryan, Donal Heffernan, Gabriel Leen |
Clock synchronisation on multiple TTCAN network channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 28(3), pp. 135-146, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Amos Albert, Roger Strasser |
Realisierung einer zeitgesteuerten, verteilten Regelung mit einem CAN-TTCAN Gateway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEARL ![In: Verteilte Echtzeitsysteme - PEARL 2003, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung und PEARL (EP) Boppard, 27./28. November 2003, pp. 39-48, 2003, Springer, 978-3-540-20141-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Gabriel Leen, Donal Heffernan |
TTCAN: a new time-triggered controller area network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 26(2), pp. 77-94, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Shan Ding, Zhiqiang Xie, Xiaona Yin |
A GA-based Systematic Message Scheduling Method for Time-Triggered CAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC (2) ![In: 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume II: Workshops, pp. 455-460, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Carl Bergenhem, Johan Karlsson |
A Process Health Status Service for Safety Related Systems Using TT/ET Communication Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, pp. 122-131, 2008, IEEE Computer Society, 978-0-7695-3448-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Dawid Trawczynski, Janusz Sosnowski, Janusz Zalewski |
A Tool for Databus Safety Analysis Using Fault Injection. ![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. 261-274, 2006, Springer, 3-540-45762-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Guido Menkhaus, Michael Holzmann, Sebastian Fischmeister, Claudiu Farcas |
Towards Efficient Use of Shared Communication Media in the Timed Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 7-10 March 2005, San Francisco, CA, USA, pp. 342-351, 2005, IEEE Computer Society, 0-7695-2302-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Ian Broster, Alan Burns 0001, Guillermo Rodríguez-Navas |
Comparing Real-Time Communication Under Electromagnetic Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June - 2 July 1004, Catania, Italy, Proceedings, pp. 45-52, 2004, IEEE Computer Society, 0-7695-2176-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|