Search results for "NASA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng	Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	José Vander Meulen, Charles Pecheur	Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	Jörg Brauer, Andy King	Approximate Quantifier Elimination for Propositional Boolean Formulae.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	David R. Cok	OpenJML: JML for Java 7 by Extending OpenJDK.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
35	César A. Muñoz (eds.)	Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Viet Yen Nguyen, Thomas Noll 0001, Max Odenbrett	Slicing AADL Specifications for Model Checking.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Sagar Chaki, Arie Gurfinkel	Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Christian Saad, Bernhard Bauer	Data-flow Based Model Analysis.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl	Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Eduardo Rafael López Ruiz, Michel Lemoine	Can Regulatory Bodies Expect Efficient Help from Formal Methods?.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Andreas Bollin	Slice-based Formal Specification Measures - Mapping Coupling and Cohesion Measures to Formal Z.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Sylvie Boldo, Thi Minh Tuyen Nguyen	Hardware-independent Proofs of Numerical Programs.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	Automatic Review of Abstract State Machines by Meta Property Verification.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Sarah Thompson, Guillaume P. Brat, Arnaud Venet	Software Model Checking of ARINC-653 Flight Code with MCP.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Néstor Cataño, Radu I. Siminiceanu	A Machine-Checked Proof of A State-Space Construction Algorithm.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Srinivas Nedunuri, Douglas R. Smith, William R. Cook	Synthesis of Greedy Algorithms Using Dominance Relations.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Xiang Yin 0001, John C. Knight	Formal Verification of Large Software Systems.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Yang Zhao 0011, Gianfranco Ciardo	Symbolic Computation of Strongly Connected Components Using Saturation.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Dominic Richards, David R. Lester	A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Petra Price, Greg Turgeon	Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Pierre Roux, Radu Siminiceanu	Model Checking with Edge-valued Decision Diagrams.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Erik Endres, Christian Müller 0009, Andrey Shadrin, Sergey Tverdyshev	Towards the Formal Verification of a Distributed Real-Time Automotive System.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Sanaz Yeganefard, Michael J. Butler, Abdolbaghi Rezazadeh	Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Concetta Pilotto, Jerome White	Verification of Faulty Message Passing Systems with Continuous State Space in PVS.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Xiaowan Huang, Anu Singh, Scott A. Smolka	Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Xiang Fu, Chung-Chih Li	Modeling Regular Replacement for String Constraint Solving.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek	How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Pritam Roy, Natarajan Shankar	SimCheck: An Expressive Type System for Simulink.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Lehilton L. C. Pedrosa, Arnaldo V. Moura	A New Method for Incremental Testing of Finite State Machines.	NASA Formal Methods	2010	DBLP BibTeX RDF
35	Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu (eds.)	First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto	Introduction of Virtualization Technology to Multi-Process Model Checking.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet	From Goal-Oriented Requirements to Event-B Specifications.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	David Cachera, David Pichardie	Comparing Techniques for Certified Static Analysis.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Manuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira	Deductive Verification of Cryptographic Software.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Tiziana Margaria, Marco Bakera, Christian Wagner 0005, Emil Vassev, Michael G. Hinchey, Bernhard Steffen	Component-Oriented Behavior Extraction for Autonomic System Design.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Alessio Ferrari 0001, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni	Modeling Guidelines for Code Generation in the Railway Signaling Context.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Manuela-Luminita Bujorianu, Marius C. Bujorianu	Towards Co-Engineering Communicating Autonomous Cyber-physical Systems.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Emil Vassev, Mike Hinchey, Aaron J. Quigley	Model Checking for Autonomic Systems Specified with ASSL.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Sagar Chaki, James Ivers	Software Model Checking without Source Code.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio	A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier	A module language for typing by contracts.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Todd Farley	Formal Methods Applications in Air Transportation.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Edmund M. Clarke	Model Checking - My 27-year Quest to Overcome the State Explosion Problem.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Karthick Jayaraman, David Harvison, Vijay Ganesh, Adam Kiezun	jFuzz: A Concolic Whitebox Fuzzer for Java.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Leslie Lamport	TLA+: Whence, Wherefore, and Whither.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Srinivas Nedunuri, William R. Cook, Douglas R. Smith	Tactical Synthesis of Efficient Global Search Algorithms.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Jonathan Nicholson, Epameinondas Gasparis, Amnon H. Eden, Rick Kazman	Verification of Design Patterns with LePUS3.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Matt Staats	Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Thomas Göthel, Sabine Glesner	Machine-Checkable Timed CSP.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Yi Wang, Tetsuo Tamai	A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	John O'Leary	Theorem Proving in Intel Hardware Design.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Suzette Person, Matthew B. Dwyer	Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert	Stochastic Formal Methods for Hybrid Systems.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Matthew L. Bolton, Ellen J. Bass	Building a Formal Model of a Human-interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Christine Choppy, Micaela Mayero, Laure Petrucci	Coloured Petri net refinement specification, and correctness proof with Coq.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Juhan P. Ernits, Richard Dearden, Miles Pebody	Formal Methods for Automated Diagnosis of Autosub 6000.	NASA Formal Methods	2009	DBLP BibTeX RDF
35	Jeanne Behnke, Elaine R. Dobinson	NASA Workshop on Issues in the Application of Data Mining to Scientific Data.	SIGKDD Explor.	2000	DBLP DOI BibTeX RDF	data mining, statistics, NASA, earth science
34	Majdi Mukhar	Use of Ontology for Virtual Humans.	WRAC	2002	DBLP DOI BibTeX RDF
34	Daniel E. Cooke	Projecting our Presence in Space and in Time.	ICTAI	2002	DBLP DOI BibTeX RDF
34	William D. Ivancic, David H. Stewart, Terry L. Bell, Brian A. Kachmar, Dan Shell, Kent Leung	Mobile router technology development.	MSWiM	2001	DBLP DOI BibTeX RDF
34	Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell	Technology Transfer Issues for Formal Methods of Software Specification.	CSEE&T	2000	DBLP DOI BibTeX RDF	SE education, SE pedagogy, SE Curriculum, Formal methods, specification
32	Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape	Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.	ISSTA	2008	DBLP DOI BibTeX RDF	unit testing, symbolic execution, software model checking, system testing
32	Michael G. Hinchey, Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, Mingrui Qi	Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing.	AINA	2007	DBLP DOI BibTeX RDF
32	Mohamed Fayez, Dayana Cope, Assem Kaylani, Mike Callinan, Edgar Zapata, Mansooreh Mollaghasemi	Earth to orbit logistics and supply chain modeling and simulation for NASA exploration systems.	WSC	2006	DBLP DOI BibTeX RDF
32	Stefanos Skoulaxinos	SW-HW Co-design and Fault Tolerant Implementation for the LRID Wireless Communication System.	AHS	2006	DBLP DOI BibTeX RDF
32	Ronald Mak, Joan D. Walton	The Collaborative Information Portal and NASA's Mars Rover Mission.	IEEE Internet Comput.	2005	DBLP DOI BibTeX RDF
32	Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt	Towards Autonomic Management of NASA Missions.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
32	Jeanne Behnke, Tonjua Hines Watts, Ben Kobler, Dawn Lowe, Steve Fox, Richard Meyer	EOSDIS Petabyte Archives: Tenth Anniversary.	MSST	2005	DBLP DOI BibTeX RDF
32	Michael L. Nelson, Johan Bollen, JoAnne R. Calhoun, Calvin E. Mackey	User evaluation of the NASA technical report server recommendation service.	WIDM	2004	DBLP DOI BibTeX RDF	recommendation servers, digital libraries, user evaluation
32	Richard M. Keller, Daniel C. Berrios, Robert E. Carvalho, David R. Hall, Stephen J. Rich, Ian B. Sturken, Keith J. Swanson, Shawn R. Wolfe	SemanticOrganizer: A Customizable Semantic Repository for Distributed NASA Project Teams.	ISWC	2004	DBLP DOI BibTeX RDF
32	Michael L. Nelson, JoAnne R. Calhoun, Calvin E. Mackey	The OAI-PMH NASA technical report server.	JCDL	2004	DBLP DOI BibTeX RDF
32	Jane Huffman Hayes	Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project.	ISSRE	2003	DBLP DOI BibTeX RDF
32	Edward T. Chow, Matthew Chew Spence, Barney Pell, Helen Stewart, David J. Korsmeyer, Yih-Chiao Joseph Liu, Hsin-Ping Pat Chang, Conan Viernes, Andre Goforth	Secured Advanced Federated Environment (SAFE): A NASA Solution for Secure Cross-Organization Collaboration.	WETICE	2003	DBLP DOI BibTeX RDF
32	Valerie Wyatt, Justin S. Di Stefano, Mike Chapman, Edward Aycoth	A Metrics Based Approach for Identifying Requirements Risks.	SEW	2003	DBLP DOI BibTeX RDF
32	Thomas Pfarr, James E. Reis	The Integration of COTS/GOTS within NASA's HST Command and Control System.	ICCBSS	2002	DBLP DOI BibTeX RDF
32	Sebastian van Delden, Fernando Gomez	Retrieving NASA Problem Reports with Natural Language.	NLDB	2002	DBLP DOI BibTeX RDF
32	Victor R. Basili, Frank E. McGarry, Rose Pajerski, Marvin V. Zelkowitz	Lessons learned from 25 years of process improvement: the rise and fall of the NASA software engineering laboratory.	ICSE	2002	DBLP DOI BibTeX RDF
32	Jeff de La Beaujardière, Horace Mitchell, Robert G. Raskin, Ananth Rao	The NASA Digital Earth Testbed.	ACM-GIS	2000	DBLP DOI BibTeX RDF
32	Catherine Plaisant, Maya Venkatraman, Kawin Ngamkajornwiwat, Randy Barth, Bob Harberts, W. Wenlanng	Refining Query Previews Techniques for Data with Multivalued Attributes: The Case of NASA EOSDIS.	ADL	1999	DBLP DOI BibTeX RDF	EOSDIS, user interface, interaction, digital libraries, human factors, dynamic queries, earth science, query preview
30	Brian Wilcox	Keynote address V: Some ambitious NASA mission concepts.	AHS	2017	DBLP DOI BibTeX RDF
30	Luz Marina Sierra, Edinson Alfonso Solarte Camayo, Jorge Armando Villegas, Tulio Rojas Curieux, Erwin Meza Vega	Microworld-type Ethnoeducational Computer Materials to Support the Teaching of Nasa-Yuwe - Recommendations from a Software Engineering Disciplines Viewpoint for Constructing Microworld-type Ethnoeducational Materials Aimed at Supporting Nasa Yuwe Language Teaching.	ICEIS (2)	2013	DBLP DOI BibTeX RDF
30	Keith Shackelford, James Williams 0005	Infrastructure as a service (IaaS) for NASA's mission directorate NASA's Nebula pioneers a new frontier for cloud computing.	ICNC	2012	DBLP DOI BibTeX RDF
30	Floyd Hovis, Mark Stephen	The laser transmitters for the NASA/CNES CALIPSO and NASA ICESat-2 missions.	IGARSS	2012	DBLP DOI BibTeX RDF
30	Faye Couture	Biographical Essays in Honor of the Centennial of Flight, 1903-2003: Realizing the Dream of Flight. Virginia P. Dawson and Mark D. Bowles, Editors, 310 pp. NASA SP20054112 (Hardcover and CD), $20.00, The NASA History Series, Also available online in pdf format.	Gov. Inf. Q.	2008	DBLP DOI BibTeX RDF
30		Conference Organizers and NASA/DoD Advisory Committee.	Evolvable Hardware	2005	DBLP DOI BibTeX RDF
30	Ellen Salmon, Adina Tarshish, Nancy Palm, Sanjay Patel, Marty Saletta, Ed Vanderlan, Mike Rouch, Lisa Burns, Daniel C. Duffy, Robert Caine, Randall Golay, Jeff Paffel, Nathan Schumann	Hierarchical Storage Management at the NASA Center for Computational Sciences: From Unitree to SAM-QFS.	MSST	2004	DBLP BibTeX RDF
30	Hoot Thompson	SAN and Data Transport Technology Evaluation at the NASA Goddard Space Flight Center.	MSST	2004	DBLP BibTeX RDF
30	Adina Tarshish, Ellen Salmon, Medora Macie, Marty Saletta	Mass Storage System Upgrades at the NASA Center for Computational Sciences.	IEEE Symposium on Mass Storage Systems	2000	DBLP BibTeX RDF
30	Carol Christian	Innovative resources for educational and public information: Electronic services, data and information from NASA's Hubble Space Telescope and other NASA missions.	WebNet	1996	DBLP BibTeX RDF
29	Tim Menzies, Markland Benson, Ken Costello, Christina Moats, Melissa Northey, Julian Richardson	Learning better IV&V practices.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	IV? Data mining, Early life cycle defect prediction, NASA
29	Michael R. Adamson	Biographies.	IEEE Ann. Hist. Comput.	2006	DBLP DOI BibTeX RDF	William F. Ballhaus Jr., NASA Ames Research Center, Illiac IV, Numerical Aerodynamic Simulation facility, computational fluid dynamics
29	Glenn S. Semmel, Steven R. Davis, Kurt W. Leucht, Daniel A. Rowe, Kevin E. Smith, Ladislau Bölöni	Space Shuttle Ground Processing with Monitoring Agents.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	Space Shuttle, NASA Engineering Shuttle Telemetry Agent, expert systems, pattern matching, autonomous agents, rule-based systems, predicate logic
29	Shinyoung Park, Akira Harada, Hiroya Igarashi	Influences of personal preference on product usability.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	NASA-TLX, personal preference (brand image), product usability
29	Michael R. Adamson	Biographies.	IEEE Ann. Hist. Comput.	2005	DBLP DOI BibTeX RDF	Harvard Lomax, NASA Ames Research Center, numeric wind tunnel, Numerical Aerodynamic Simulation Facility, computational fluid dynamics, supercomputing
29	Gary D. Boetticher	Nearest neighbor sampling for better defect prediction.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	NASA data repository, nearest neighbor analysis, decision trees, empirical software engineering, defect prediction
29	William A. Wood, William L. Kleb	Exploring XP for Scientific Research.	IEEE Softw.	2003	DBLP DOI BibTeX RDF	NASA Langley Research Center, Extreme programming
29	Debra Schreckenghost, Carroll Thronesbery, R. Peter Bonasso, David Kortenkamp, Cheryl Martin 0001	Intelligent Control of Life Support for Space Missions.	IEEE Intell. Syst.	2002	DBLP DOI BibTeX RDF	space missions, lunar rover, Johnson Space Center, life support, human-centered computing, NASA
29	Christopher A. Rouff, James L. Rash, Michael G. Hinchey	Experience Using Formal Methods for Specifying a Multi-Agent System.	ICECCS	2000	DBLP DOI BibTeX RDF	multi-agent system specification, Lights Out Ground Operations System, prototype multi agent system, satellite ground operations functions, NASA Goddard Space Flight Center, GSFC, specification exercise, specification process, sample specification, formal specification, formal methods, deadlocks, race conditions, LOGOS, omissions, development team
29	Norman F. Schneidewind	Measuring and evaluating maintenance process using reliability, risk, and test metrics.	ICSM	1997	DBLP DOI BibTeX RDF	maintenance process measurement, deployment risk, unified approach, maintenance actions, national visibility, NASA Space Shuttle, software maintenance, safety critical application, test metrics, test effort
29	Manu Konchady	Distributed Supercomputing Using ACTS.	HPDC	1996	DBLP DOI BibTeX RDF	climatology, Cray computers, ACTS, satellite communications projects, Advanced Communications Technology Satellite, distributed coupled global climate model, El Nino, global climate change, supercomputer network, ocean-atmosphere model, Cray supercomputers, simulations, digital simulation, cost, high speed networks, telecommunication computing, satellite communication, research and development, NASA, oceanography, satellite links, distributed supercomputing, geophysics computing