Search results for "ASTRAL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
163	Zhe Dang, Richard A. Kemmerer	A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications.	RTCSA	1999	DBLP DOI BibTeX RDF
151	Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli	A Formal Framework for ASTRAL Intralevel Proof Obligations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
143	Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer	Specification of Realtime Systems Using ASTRAL.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems
143	Alberto Coen-Porisini, Richard A. Kemmerer	The Composability of ASTRAL Realtime Specifications.	ISSTA	1993	DBLP DOI BibTeX RDF
132	Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel	Experiences with analysis of formal specifications in Astral.	RTCSA	1997	DBLP DOI BibTeX RDF	temporal properties verification, simulation, formal specification, formal specifications, prototyping, specification language, timed automata, timing analysis, requirements specification, real-time software, Astral
124	Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel	Automatic Analysis of Embedded Systems Specified in Astral.	HICSS (3)	1998	DBLP DOI BibTeX RDF
93	Zhe Dang, Richard A. Kemmerer	Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems.	ICSE	2000	DBLP DOI BibTeX RDF	real-time systems, model checking, formal methods, state machines, timing requirements, formal specification and verification, ASTRAL
85	Jinman Jung, Yookun Cho, Yeongkwun Kim, Injoo Kim	ASTRAL: an adaptive, efficient, and reliable flooding mechanism for MANET.	SAC	2010	DBLP DOI BibTeX RDF	adaptive flooding, reliable flooding, MANETs
78	Paul Z. Kolano	Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover.	ARTS	1999	DBLP DOI BibTeX RDF
66	Paul Z. Kolano, Richard A. Kemmerer	Classification schemes to aid in the analysis of real-time systems.	ISSTA	2000	DBLP DOI BibTeX RDF	analysis guidance, system classification, real-time systems, formal methods, timing requirements, formal specification and verification, ASTRAL
66	Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel	Hybrid specification of control systems.	ICECCS	1995	DBLP DOI BibTeX RDF	control system development, hybrid specification, formal software specification language, multidisciplinary development, control models, ASTRAL specifications, MatLab software packages, discrete subsystems, continuous subsystems, robot control system, continuous system models, simulation, simulation, formal specification, robots, formal verification, formal verification, specification languages, specification language, control theory, control theory, system behavior, control system CAD, discrete time systems, continuous time systems
65	Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel	Analyzing Schedulability of Astral Specifications using Extended Timed Automata.	Euro-Par	1997	DBLP DOI BibTeX RDF
58	Jeanette Tångrot, Lixiao Wang, Bo Kågström, Uwe H. Sauer	Design, Construction and Use of the FISH Server.	PARA	2006	DBLP DOI BibTeX RDF
54	Zhe Dang, Richard A. Kemmerer	Using the ASTRAL Model Checker to Analyze Mobile IP.	ICSE	1999	DBLP DOI BibTeX RDF	Encryption protocols, real-time systems, formal methods, state machines, timing requirements, formal specification and verification, ASTRAL
53	John Yin, Chao Zhang 0055, Siavash Mirarab	ASTRAL-MP: scaling ASTRAL to very large datasets using randomization and parallelization.	Bioinform.	2019	DBLP DOI BibTeX RDF
46	Leah Wrenn Berman	A Characterization of Astral (n4) Configurations.	Discret. Comput. Geom.	2001	DBLP DOI BibTeX RDF
27	Yimin Zhou, Merlijn Mac Gillavry, Pengzhi Yang, Zihao Xu, Baitian Zhang, Rafael Bidarra	Astral Body: A Virtual Reality Game for Body Ownership Investigation.	GALA	2023	DBLP DOI BibTeX RDF
27	Chao Zhang 0055, Siavash Mirarab	ASTRAL-Pro 2: ultrafast species tree reconstruction from multi-copy gene family trees.	Bioinform.	2022	DBLP DOI BibTeX RDF
27	Miroslav Dudík, Ziwei Ji, Robert E. Schapire, Matus Telgarsky	Convex Analysis at Infinity: An Introduction to Astral Space.	CoRR	2022	DBLP DOI BibTeX RDF
27	Yupeng Diao, Yiteng Su, Ximu Zeng, Xu Chen 0023, Shuncheng Liu 0001, Han Su	Astral: An Autoencoder-Based Model for Pedestrian Trajectory Prediction of Variable-Length.	DASFAA (Workshops)	2022	DBLP DOI BibTeX RDF
27	Jiuniu Wang, Wenjia Xu, Xingyu Fu, Guangluan Xu, Yirong Wu	ASTRAL: Adversarial Trained LSTM-CNN for Named Entity Recognition.	CoRR	2020	DBLP BibTeX RDF
27	Jiuniu Wang, Wenjia Xu, Xingyu Fu, Guangluan Xu, Yirong Wu	ASTRAL: Adversarial Trained LSTM-CNN for Named Entity Recognition.	Knowl. Based Syst.	2020	DBLP DOI BibTeX RDF
27	Leah Wrenn Berman, Philip DeOrsey, Jill R. Faudree, Tomaz Pisanski, Arjana Zitnik	Chiral Astral Realizations of Cyclic 3-Configurations.	Discret. Comput. Geom.	2020	DBLP DOI BibTeX RDF
27	David Ledo, Jo Vermeulen, Sheelagh Carpendale, Saul Greenberg, Lora Oehlberg, Sebastian Boring	Astral: Prototyping Mobile and Smart Object Interactive Behaviours Using Familiar Applications.	Conference on Designing Interactive Systems	2019	DBLP DOI BibTeX RDF
27	Shubhanshu Shekhar, Sebastien Roch, Siavash Mirarab	Species Tree Estimation Using ASTRAL: How Many Genes Are Enough?	IEEE ACM Trans. Comput. Biol. Bioinform.	2018	DBLP DOI BibTeX RDF
27	Chao Zhang 0055, Maryam Rabiee, Erfan Sayyari, Siavash Mirarab	ASTRAL-III: polynomial time species tree reconstruction from partially resolved gene trees.	BMC Bioinform.	2018	DBLP DOI BibTeX RDF
27	Joshua Levine, Marco Grangetto, Marilena Varrecchia, Gabriella Olmo	Detection and Tracking of Astral Microtubules in Fluorescence Microscopy Images.	ICIP	2018	DBLP DOI BibTeX RDF
27	Shubhanshu Shekhar, Sebastien Roch, Siavash Mirarab	Species tree estimation using ASTRAL: how many genes are enough?	CoRR	2017	DBLP BibTeX RDF
27	Chao Zhang 0055, Erfan Sayyari, Siavash Mirarab	ASTRAL-III: Increased Scalability and Impacts of Contracting Low Support Branches.	RECOMB-CG	2017	DBLP DOI BibTeX RDF
27	Shubhanshu Shekhar, Sebastien Roch, Siavash Mirarab	Species Tree Estimation Using ASTRAL: How Many Genes Are Enough?	RECOMB	2017	DBLP BibTeX RDF
27	Siavash Mirarab, Tandy J. Warnow	ASTRAL-II: coalescent-based species tree estimation with many hundreds of taxa and thousands of genes.	Bioinform.	2015	DBLP DOI BibTeX RDF
27	Naomi K. Fox, Steven E. Brenner, John-Marc Chandonia	SCOPe: Structural Classification of Proteins - extended, integrating SCOP and ASTRAL data and classification of new structures.	Nucleic Acids Res.	2014	DBLP DOI BibTeX RDF
27	Siavash Mirarab, Rezwana Reaz, Md. Shamsuzzoha Bayzid, Théo Zimmermann, M. Shel Swenson, Tandy J. Warnow	ASTRAL: genome-scale coalescent-based species tree estimation.	Bioinform.	2014	DBLP DOI BibTeX RDF
27	Alexei Vernitski, Artem V. Pyatkin	Astral graphs (threshold graphs), scale-free graphs and related algorithmic questions.	J. Discrete Algorithms	2012	DBLP DOI BibTeX RDF
27	Leah Wrenn Berman, Jürgen Bokowski	Linear astral (n5) configurations with dihedral symmetry.	Eur. J. Comb.	2008	DBLP DOI BibTeX RDF
27	Leah Wrenn Berman	Astral (n4) configurations of pseudolines.	Contributions Discret. Math.	2008	DBLP BibTeX RDF
27	Leah Wrenn Berman	Some Results on Odd Astral Configurations.	Electron. J. Comb.	2006	DBLP DOI BibTeX RDF
27	James A. Casbon, Gavin E. Crooks, Mansoor A. S. Saqi	A high level interface to SCOP and ASTRAL implemented in Python.	BMC Bioinform.	2006	DBLP DOI BibTeX RDF
27	Leah Wrenn Berman	Even Astral Configurations.	Electron. J. Comb.	2004	DBLP DOI BibTeX RDF
27	John-Marc Chandonia, Gary Chung Hon, Nigel S. Walker, Loredana Lo Conte, Patrice Koehl, Michael Levitt, Steven E. Brenner	The ASTRAL Compendium in 2004.	Nucleic Acids Res.	2004	DBLP DOI BibTeX RDF
27	Jie Lin, Jiangang Yang, Hengnian Qi	Global Workspace and Direct Cortex Access: An Astral Framework for Consciousness.	IC-AI	2004	DBLP BibTeX RDF
27	John-Marc Chandonia, Nigel S. Walker, Loredana Lo Conte, Patrice Koehl, Michael Levitt, Steven E. Brenner	ASTRAL compendium enhancements.	Nucleic Acids Res.	2002	DBLP DOI BibTeX RDF
27	Steven E. Brenner, Patrice Koehl, Michael Levitt	The ASTRAL compendium for protein structure and sequence analysis.	Nucleic Acids Res.	2000	DBLP DOI BibTeX RDF
27	Paul Z. Kolano, Zhe Dang, Richard A. Kemmerer	The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment.	Ann. Softw. Eng.	1999	DBLP DOI BibTeX RDF
27	Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli	A Formal Framework for ASTRAL Inter-level Proof Obligations.	ESEC	1995	DBLP DOI BibTeX RDF
27	Alberto Coen-Porisini, Dino Mandrioli	A Formal Framework for ASTRAL Intra-Level Proof Obligations.	ESEC	1993	DBLP DOI BibTeX RDF
27	Carlo Ghezzi, Richard A. Kemmerer	ASTRAL: An Assertion Language for Specifying Realtime Systems.	ESEC	1991	DBLP DOI BibTeX RDF
27	Carlo Ghezzi, Richard A. Kennerer	Executing Formal Specifications: The ASTRAL to TRIO Translation Approach.	Symposium on Testing, Analysis, and Verification	1991	DBLP DOI BibTeX RDF
27	Tore Amble, Kjell Bratbergsengen, Oddvar Risnes	ASTRAL: A Structred and Unified Approach to Data Base Design and Manipulation.	IFIP TC-2 Working Conference on Data Base Architecture	1979	DBLP BibTeX RDF
19	Tom Milledge, Gaolin Zheng, Tim Mullins, Giri Narasimhan	SBLAST: Structural Basic Local Alignment Searching Tools using Geometric Hashing.	BIBE	2007	DBLP DOI BibTeX RDF
19	Marko Boben, Branko Grünbaum, Tomaz Pisanski, Arjana Zitnik	Small Triangle-Free Configurations of Points and Lines.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
19	Yuqing Zhang, Chunling Wang, Jianping Wu, Xing Li 0001	Using SMV for Cryptographic Protocol Analysis: A Case Study.	ACM SIGOPS Oper. Syst. Rev.	2001	DBLP DOI BibTeX RDF
19	Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer	Past Pushdown Timed Automata.	CIAA	2001	DBLP DOI BibTeX RDF
19	Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer	Decidable Approximations on Generalized and Parameterized Discrete Timed Automata.	COCOON	2001	DBLP DOI BibTeX RDF
19	Daniel C. Chin, Albert C. Biondo	Dual Neural Network Models in Acoustic Propagation.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	Multiple Neural Network Models, Multi-model Interpolation, Multi-objective SPSA, Nonlinear Interpolator, Nonlinear acoustic wave function
19	Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli	Parallel Refinement Mechanisms for Real-Time Systems.	FASE	2000	DBLP DOI BibTeX RDF
19	Tore Amble	Integration of Data Base Design in Programming Languages.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF