|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 11 keywords
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
111 | Duncan Clarke, Insup Lee 0001 |
Automatic Test Generation for the Analysis of a Real-Time System: Case Stud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 3rd IEEE Real-Time Technology and Applications Symposium, RTAS '97, Montreal, Canada, June 9-11, 1997, pp. 112-124, 1997, IEEE Computer Society, 0-8186-8016-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
100 | Fang Liu 0023, Raymond D. Findlay, Qiang Song 0001 |
A Neural Network Based Electrical Loss Prediction of Bare Overhead ACSR Conductors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (2) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 392-395, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
100 | Patrice Brémond-Grégoire, Insup Lee 0001, Richard Gerber 0001 |
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 417-431, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
87 | Sung-Mook Lim, Jin-Young Choi |
Specification and verification of real-time systems using ACSR-VP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan, pp. 135-142, 1997, IEEE Computer Society, 0-8186-8073-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ACSR-VP, avionics control systems, nuclear reactor control systems, bisimulation relation, real-time systems, reliability, formal specification, formal verification, formal verification, scheduling algorithm, priority ceiling protocol |
68 | K. J. Stevens, K. Lichti, I. A. Minchington, N. Janke-Gilman, T. Mactutis, D. Rook, P. Bondurant |
Conductor Damage Inspection System for overhead ACSR power cables CDIS on ACSR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Seventh International Conference on Sensing Technology, ICST 2013, Wellington, New Zealand, December 3-5, 2013, pp. 901-905, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
66 | Jin-Young Choi, Hee-Hwan Kwak, Insup Lee 0001 |
A Framework for Embedded Real-Time System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings, pp. 738-742, 2000, Springer, 3-540-67442-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
56 | Fang Liu 0023, Raymond D. Findlay, Qiang Song 0001 |
Discussion and Prediction of Mechanical Properties for Single Layer ACSR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (1) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 138-141, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
53 | Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang |
Equivalence Checking of Two Statechart Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000), Paris, France, June 21-23, 2000, pp. 46-51, 2000, IEEE Computer Society, 0-7695-0668-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
ACSR, Weak equivalence, Formal verification, Statecharts |
44 | Casper F. Nielsen, Peter J. Passmore |
Towards a Robust Path Growing Algorithm for Semi-automatic MRI Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2001, 4th International Conference, Utrecht, The Netherlands, October 14-17, 2001, Proceedings, pp. 1382-1383, 2001, Springer, 3-540-42697-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Anna Philippou, Rance Cleaveland, Insup Lee 0001, Scott A. Smolka, Oleg Sokolsky |
Praobabilistic Resource Failure in Real-Time Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 389-404, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
44 | Duncan Clarke, Hanêne Ben-Abdallah, Insup Lee 0001, Hong-liang Xie, Oleg Sokolsky |
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 402-405, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Young-Dal Kim, Jae-Myung Shim, Dae-Dong Lee |
A Study on the Lifetime Estimates of Aluminum Cable, Steel Reinforced (ACSR) Transmission Lines Under Flame Exposure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIAT/IETA ![In: Technological Developments in Education and Automation, proceedings of the 2008 International Conference on Engineering Education, Instructional Technology, Assessment, and E-learning (EIAE 08) and International Conference on Industrial Electronics, Technology & Automation (IETA 08), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CISSE 2008, Bridgeport, Connecticut, USA, pp. 513-517, 2008, Springer, 978-90-481-3655-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Hee-Hwan Kwak, Insup Lee 0001, Oleg Sokolsky |
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 42(1), pp. 49-60, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Hee-Hwan Kwak, Insup Lee 0001, Oleg Sokolsky |
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, Carmel, California, USA, October 23-26, 1998, pp. 38-49, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee 0001 |
A Complete Axiomatization of Finite-State ACSR Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 138(2), pp. 124-159, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Jin-Young Choi, Insup Lee 0001, Hong-liang Xie |
The Specification and Schedulability Analysis of Real-Time Systems using ACSR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: 16th IEEE Real-Time Systems Symposium, Palazzo dei Congressi, Via Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings, pp. 266-275, 1995, IEEE Computer Society, 0-8186-7337-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Ki-Seok Bang, Jin-Young Choi, Chuck Yoo |
Comments on 'The Model Checker SPIN'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(6), pp. 573-576, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ACSR, model checking, SPIN, process scheduling, LTL |
22 | Oleg Sokolsky, Insup Lee 0001, Duncan Clarke |
Schedulability analysis of AADL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|