Search results for "ACSR"

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.	IEEE Real Time Technology and Applications Symposium	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.	ICICIC (2)	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.	CONCUR	1993	DBLP DOI BibTeX RDF
87	Sung-Mook Lim, Jin-Young Choi	Specification and verification of real-time systems using ACSR-VP.	RTCSA	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.	ICST	2013	DBLP DOI BibTeX RDF
66	Jin-Young Choi, Hee-Hwan Kwak, Insup Lee 0001	A Framework for Embedded Real-Time System Design.	IPDPS Workshops	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.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
53	Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang	Equivalence Checking of Two Statechart Specifications.	IEEE International Workshop on Rapid System Prototyping	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.	MICCAI	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.	CONCUR	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.	CAV	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.	EIAT/IETA	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.	Sci. Comput. Program.	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.	Monterey Workshop	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.	Inf. Comput.	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.	RTSS	1995	DBLP DOI BibTeX RDF
31	Ki-Seok Bang, Jin-Young Choi, Chuck Yoo	Comments on 'The Model Checker SPIN'.	IEEE Trans. Software Eng.	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.	IPDPS	2006	DBLP DOI BibTeX RDF