Search results for "TCAS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
167	Mats Per Erik Heimdahl	Experiences and Lessons from the Analysis of TCAS II.	ISSTA	1996	DBLP DOI BibTeX RDF
137	Carolos Livadas, John Lygeros, Nancy A. Lynch	High-Level Modeling and Analysis of TCAS.	RTSS	1999	DBLP DOI BibTeX RDF	hybrid I/O automaton, TCAS, formal verification, hybrid system, safety-critical
96	Daniel Leivant	Reasoning in Dynamic Logic about Program Termination.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
96	Daniel Leivant	Proving Termination Assertions in Dynamic Logics.	LICS	2004	DBLP DOI BibTeX RDF
77	Fetahi Wuhib, Mads Dam, Rolf Stadler, Alexander Clemm	Decentralized Computation of Threshold Crossing Alerts.	DSOM	2005	DBLP DOI BibTeX RDF
66	William Chan 0001, Richard J. Anderson, Paul Beame, David Notkin	Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.	ISSTA	1998	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, system requirements specification, formal verification, abstraction, binary decision diagrams, statecharts, reachability analysis, symbolic model checking, RSML
58	Brian Hilburn	ATC CTA: Cognitive Task Analysis of Future Air Traffic Control Concepts.	HCI (13)	2007	DBLP DOI BibTeX RDF
47	Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese	Requirements Specification for Process-Control Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	aircraft instrumentation, example application, industrial aircraft collision avoidance system, TCAS II, example specification, formal requirements specification, formal specification, reverse engineering, specification languages, specification language, formal model, requirements specification, process control, aerospace computing, process-control systems, position control, process computer control
38	Nancy A. Lynch	High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract).	HSCC	1999	DBLP DOI BibTeX RDF
38	Richard J. Anderson, Paul Beame, Steve Burns 0002, William Chan 0001, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
32	Xiaomin Xie, Renwei Dou, Kun Hu, Jianghuai Du, Yueqin Wang	Research on Component-Level Fault of TCAS Processor.	ICITEE	2021	DBLP DOI BibTeX RDF
32	Mayara Lopes Salgado, Marcelo Santiago de Sousa	Cybersecurity in Aviation: the STPA-Sec Method Applied to the TCAS Security.	LADC	2021	DBLP DOI BibTeX RDF
32	Sesha Sairam Regulagadda, Purushothama Chary, Rizwan Shaik Peerla, Mohd Abdul Naseeb, Amit Acharyya, Pachamuthu Rajalakshmi, Ashudeb Dutta	A 1.5mA, 2.4GHz ZigBee/BLE QLMVF Receiver Frond End with Split TCAs in 180nm CMOS.	VLSID	2016	DBLP DOI BibTeX RDF
32	Cynthujah Vivekananthan, Yateendra Mishra, Kaushik Rajashekara	Energy efficient home with price sensitive stochastically programmable TCAs.	IECON	2014	DBLP DOI BibTeX RDF
32	Arnaud Gotlieb	TCAS software verification using constraint programming.	Knowl. Eng. Rev.	2012	DBLP DOI BibTeX RDF
32	Amy R. Pritchett, Elizabeth S. Fleming, William P. Cleveland, Jonathan J. Zoetrum, Vlad Popescu, Dhruv A. Thakkar	Pilot interaction with TCAS and air traffic control.	ATACCS	2012	DBLP BibTeX RDF
32	Rodrigo Verschae, Javier Ruiz-del-Solar	TCAS: A Multiclass Object Detector for Robot and Computer Vision Applications.	ISVC (1)	2012	DBLP DOI BibTeX RDF
32	Liangfu Peng, Yunsong Lin	Study on the Model for Horizontal Escape Maneuvers in TCAS.	IEEE Trans. Intell. Transp. Syst.	2010	DBLP DOI BibTeX RDF
32	Gianluca Setti	Editorial TCAS-I State and Plans for the Future.	IEEE Trans. Circuits Syst. I Regul. Pap.	2009	DBLP DOI BibTeX RDF
32	Peter B. Ladkin	Causal Analysis of the ACAS/TCAS Sociotechnical System.	SCS	2004	DBLP BibTeX RDF
32	Carolos Livadas, John Lygeros, Nancy A. Lynch	High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS).	Proc. IEEE	2000	DBLP DOI BibTeX RDF
32	Thomas Williamson, Ned A. Spencer	Development and operation of the Traffic Alert and Collision Avoidance System (TCAS).	Proc. IEEE	1989	DBLP DOI BibTeX RDF
27	William B. Langdon, Mark Harman, Yue Jia 0001	Multi objective higher order mutation testing with GP.	GECCO	2009	DBLP DOI BibTeX RDF	TCAS, higher order mutation, schedule, genetic programming, pareto optimality, mutation testing, triangle
27	William Chan 0001, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner	Optimizing Symbolic Model Checking for Statecharts.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, automatic abstraction, fault tolerance, Formal verification, binary decision diagrams, statecharts, requirements specifications, symbolic model checking, RSML, avionic systems
27	Bin Qin, Howard A. Sholl, Reda A. Ammar	Micro Time Cost Analysis of Parallel Computations.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	micro time cost analysis, time cost behavior, processing power allocation, execution overhead, computation structure model, TCAS, time cost analysis system, performance evaluation, algorithm, communication, parallel programming, parallel computations, data structure, software tool, software metrics, shared memory, programming theory, input, execution environment, processor speed
19	Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer	SymPLFIED: Symbolic program-level fault injection and error detection framework.	DSN	2008	DBLP DOI BibTeX RDF
19	Xiaofang Zhang, Baowen Xu, Zhenyu Chen 0001, Changhai Nie, Leifang Li	An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	boolean testing, optimization, software testing, test suite reduction, testing requirement
19	Susmit Jha, Bryan A. Brady, Sanjit A. Seshia	Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
19	Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel	Finding Environment Guarantees.	FASE	2007	DBLP DOI BibTeX RDF
19	D. Richard Kuhn, Vadim Okun	Pseudo-Exhaustive Testing for Software.	SEW	2006	DBLP DOI BibTeX RDF	software testing, automated testing, combinatorial testing
19	Xiyang Liu, Hehui Liu, Bin Wang, Ping Chen, Xiyao Cai	A unified fitness function calculation rule for flag conditions to improve evolutionary testing.	ASE	2005	DBLP DOI BibTeX RDF	flag cost function, flag problem, fitness function
19	Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog	On the Verification of Cooperating Traffic Agents.	FMCO	2003	DBLP DOI BibTeX RDF
19	George Kormentzas, Kimon P. Kontovasilis	Software Switch Extensions for Portable Deployment of Traffic Control Algorithms.	INTERWORKING	2000	DBLP DOI BibTeX RDF
19	Adilson Luiz Bonifácio, Arnaldo Vieira Moura	Modeling and Parameters Synthesis for an Air Traffic Management System.	FMCAD	2000	DBLP DOI BibTeX RDF
19	Richard J. Anderson, Paul Beame, William Chan 0001, David Notkin	Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF	finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification
19	William Chan 0001, Richard J. Anderson, Paul Beame, Steve Burns 0002, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	state-based specifications, Formal methods, requirements, binary decision diagrams, statecharts, software verification, symbolic model checking
19	David Y. W. Park, Jens U. Skakkebæk, David L. Dill	Static Analysis to Identify Invariants in RSML Specifications.	FTRTFT	1998	DBLP DOI BibTeX RDF
19	Mats Per Erik Heimdahl, Nancy G. Leveson	Completeness and Consistency in Hierarchical State-Based Requirements.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	state-based requirements, formal methods, static analysis, consistency, Completeness, reactive systems, formal semantics