Search results for "NASA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Ricky W. Butler	Formal Methods at NASA Langley.	TPHOLs	2002	DBLP DOI BibTeX RDF
75	Corinne S. Irwin, Dennis C. Taylor	Identity, credential, and access management at NASA, from Zachman to attributes.	IDtrust	2009	DBLP DOI BibTeX RDF	attribute-based access control (ABAC), level of assurance (LoA), logical access control system (LACS)
69	Jay Liebowitz	A Look at NASA Goddard Space Flight Center's Knowledge Management Initiatives.	IEEE Softw.	2002	DBLP DOI BibTeX RDF	Intellectual Asset Management, NASA Goddard Space Flight Center, Knowledge Management, Project Management, Knowledge Sharing, Lessons learned
66	Daniel E. Cooke, Scott Hamilton	New Directions at NASA Ames Research Center.	Computer	2000	DBLP DOI BibTeX RDF
58	Daniel C. Duffy, Nicko Acks, Vaughn Noga, Tom Schardt, J. Patrick Gary, Bill Fink, Ben Kobler, Mike Donovan, Jim McElvaney, Kent Kamischke	Beyond the Storage Area Network: Data Intensive Computing in a Distributed Environment.	MSST	2005	DBLP DOI BibTeX RDF
57	Rod Fatoohi	Performance evaluation of communication networks for distributed computing.	ICCCN	1995	DBLP DOI BibTeX RDF	HiPPI, IBM Allnode switch, DaVinci, SGI R8000 workstations, NASA Ames, LACE, IBM RS6000 workstations, NASA Lewis, IBM SP2 machine, communication tests, programming levels, ttcp program, peak rates, BSD socket programming interface, PVM message passing library, performance evaluation, performance evaluation, distributed computing, ATM, communication networks, Ethernet, testbeds, high speed networks, FDDI, performance results, Fibre Channel
54	Stephanie L. Smith	ROVer ranch: a 3-D learning environment for K-12.	SIGGRAPH Educators Program	2003	DBLP DOI BibTeX RDF	ROVer Ranch, learning technologies project, robotics, distance learning, 3-D, NASA, LTP
50	Bill Othon	Applying Formal Methods to NASA Projects: Transition from Research to Practice.	NASA Formal Methods	2009	DBLP BibTeX RDF
49	Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski	Towards a Hybrid Formal Method for Swarm-Based Exploration Missions.	SEW	2005	DBLP DOI BibTeX RDF	Swarm Technology, Verification, Formal Methods
49	David M. Raffo, Wayne W. Wakeland	Assessing IV&V Benefits Using Simulation.	SEW	2003	DBLP DOI BibTeX RDF
49	Stephan Greene, Egemen Tanin, Catherine Plaisant, Ben Shneiderman, Lola Olsen, Gene Major, Steve Johns	The End of Zero-hit Queries: Query Previews for NASA's Global Change Master Directory.	Int. J. Digit. Libr.	1999	DBLP DOI BibTeX RDF	Metadata, Graphical user interface, Browsing, Earth science, Query preview
49	William E. Johnston, Dennis Gannon, Bill Nitzberg	Grids as Production Computing Environments: The Engineering Aspects of NASA's Information Power Grid.	HPDC	1999	DBLP DOI BibTeX RDF
47	Steve Marley, Mike Moore, Bruce Clark	Building Cost-Effective Remote Data Storage Capabilities for NASA's EOSDI.	IEEE Symposium on Mass Storage Systems	2003	DBLP DOI BibTeX RDF
43	Martin J. Steele	The NASA standard for models and simulations.	SCSC	2007	DBLP BibTeX RDF	verification, standard, validation, credibility, NASA
43	Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green	NASA's Exploration Agenda and Capability Engineering.	Computer	2006	DBLP DOI BibTeX RDF	NASA flight systems, International Space Station, Model-based languages, Risk analysis methodologies, SequenceL, Capability engineering
43	James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson	A requirements-based programming approach to developing a NASA autonomous ground control system.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Verification, Formal methods, Validation, Autonomous systems, Autonomic systems, Automatic code generation, NASA
43	Dimitri J. Mavriplis, Michael J. Aftosmis, Marsha J. Berger	High Resolution Aerospace Applications using the NASA Columbia Supercomputer.	SC	2005	DBLP DOI BibTeX RDF	NASA Columbia, SGI Altix, hybrid programming, scalability, OpenMP, computational fluid dynamics, unstructured
41	Norma Teresinha Oliveira Reis, Claudio André, Troy D. Cline, Timothy E. Eastman, Margaret J. Maher, Louis A. Mayo, Elaine M. Lewis	NASA Education and Educational Technologies Exemplified by the Space Weather Action Center Program.	WCCE	2009	DBLP DOI BibTeX RDF	STEM education, space science education, education technologies
41	Michael R. Lowry	Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle.	ISMIS	2008	DBLP DOI BibTeX RDF
41	Emil Vassev, Mike Hinchey, Joey Paquet	Towards an ASSL specification model for NASA swarm-based exploration missions.	SAC	2008	DBLP DOI BibTeX RDF	swarm missions, autonomic computing, formal specification language
41	Christa D. Peters-Lidard, Paul R. Houser, Yudong Tian, Sujay V. Kumar, James Geiger, S. Olden, L. Lighty, B. Doty, Paul A. Dirmeyer, J. Adams, K. Mitchell, Eric F. Wood, Justin Sheffield	High-performance Earth system modeling with NASA/GSFC's Land Information System.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Land surface modeling, Earth system modeling, Interoperability, Information systems, High-performance computing, Ensemble, Object-oriented frameworks, Weather, Climate
41	Joshua Mehling, Philip Strawser, Lyndon B. Bridgwater, William K. Verdeyen, Roger Rovekamp	Centaur: NASA's Mobile Humanoid Designed for Field Work.	ICRA	2007	DBLP DOI BibTeX RDF
41	Andres S. Orrego, Gregory E. Mundy	SRAE: An Integrated Framework for Aiding in the Verification and Validation of Legacy Artifacts in NASA Flight Control Systems.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
41	Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick	Software Assurance Research Infusion: The NASA Experience.	ISoLA	2006	DBLP DOI BibTeX RDF
41	Michael G. Hinchey, James L. Rash, Christopher A. Rouff	Some Verification Issues at NASA Goddard Space Flight Center.	VSTTE	2005	DBLP DOI BibTeX RDF
41	Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Roy Sterritt	Challenges of Developing New Classes of NASA Self-Managing Missions.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
41	Eric Sokolowsky, Horace Mitchell, Jeff de La Beaujardière	NASA's Scientific Visualization Studio Image Server.	IEEE Visualization	2005	DBLP DOI BibTeX RDF
41	Bruce R. Barkstrom, Thomas H. Hinke, Shradha Gavali, Warren Smith, William J. Seufzer, Chaumin Hu, David E. Cordner	Distributed Generation of NASA Earth Science Data Products.	J. Grid Comput.	2003	DBLP DOI BibTeX RDF	Grid mining, phenomena-based subsetting, product generation, subsetting
41	Rodney L. Bown, Charles W. McKay	Programming support for the NASA space station data management system (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
38	Aijun Chen, Liping Di, Yaxing Wei, Yuqi Bai, Yang Liu 0051	An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial Data.	SEW	2006	DBLP DOI BibTeX RDF
38	Hoot Thompson, Curt Tilmes, Robert Cavey, Bill Fink, Paul Lang, Ben Kobler	Considerations and Performance Evaluations of Shared Storage Area Networks at NASA Goddard Space Flight Center.	IEEE Symposium on Mass Storage Systems	2003	DBLP DOI BibTeX RDF
38	Jason D. Lohn, Derek S. Linden, Gregory Hornby, William F. Kraus, Adaan Rodriguez-Arroyo	Evolutionary Design of an X-Band Antenna for NASA's Space Technology 5 Mission.	Evolvable Hardware	2003	DBLP DOI BibTeX RDF
37	David E. Lapsley, Marcos Bergamo	An integrated approach to the development of wireless network protocols.	WINTECH	2006	DBLP DOI BibTeX RDF	GNU radio, HiDSN, TCeMA, software defined radio, mathematica, NASA
37	Frank E. McGarry	Reuse of software engineering assets in a production environment.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	software engineering asset reuse, production environment, Software Engineering Laboratory, SEL, National Aeronautics and Space Administration, Goddard Space Flight Center, NASA/GSFC, experiments, software process, software reusability
36	Pratya Nuankaew, Patchara Nasa-Ngium, Tinnakorn Kunasit, Wongpanya Sararat Nuankaew	Implementation of Data Analytics and Machine Learning in Thailand Education Sector.	Int. J. Emerg. Technol. Learn.	2023	DBLP DOI BibTeX RDF
36	Patchara Nasa-Ngium, Wongpanya Sararat Nuankaew, Pratya Nuankaew	Analyzing and Tracking Student Educational Program Interests on Social Media with Chatbots Platform and Text Analytics.	Int. J. Interact. Mob. Technol.	2023	DBLP DOI BibTeX RDF
36	Sri Devi Ravana, Myat Noe Win, Nasa Zata Dina, Maria Fasli	Embedding SDGs in Higher Education Curricula: A Case Study.	WI/IAT	2023	DBLP DOI BibTeX RDF
36	M. Meenaakumari, P. Jayasuriya, Nasa Dhanraj, Seema Sharma, Geetha Manoharan, Mohit Tiwari	Loan Eligibility Prediction using Machine Learning based on Personal Information.	IC3I	2022	DBLP DOI BibTeX RDF
36	Nasa Zata Dina, Sri Devi Ravana, Norisma Idris	An Experimental Study on Hybrid Feature Selection Techniques for Sentiment Classification.	SKIMA	2022	DBLP DOI BibTeX RDF
36	Pratya Nuankaew, Patchara Nasa-Ngium, Wongpanya Sararat Nuankaew	Improving Predictive Model to Prevent Students' Dropout in Higher Education Using Majority Voting and Data Mining Techniques.	MIWAI	2022	DBLP DOI BibTeX RDF
36	Nasa Zata Dina, Riky Tri Yunardi, Aji Akbar Firdaus	Utilizing Text Mining and Feature-Sentiment-Pairs to Support Data-Driven Design Automation Massive Open Online Course.	Int. J. Emerg. Technol. Learn.	2021	DBLP DOI BibTeX RDF
36	Nasa Zata Dina, Riky Tri Yunardi, Aji Akbar Firdaus, Nyoman Juniarta	Measuring User Satisfaction of Educational Service Applications using Text Mining and Multicriteria Decision-Making Approach.	Int. J. Emerg. Technol. Learn.	2021	DBLP DOI BibTeX RDF
36	Nasa Zata Dina, Ria Triwastuti, Mega Silfiani	TF-IDF Decision Matrix to Measure Customers' Satisfaction of Ride Hailing Mobile Application Services: Multi-Criteria Decision-Making Approach.	Int. J. Interact. Mob. Technol.	2021	DBLP DOI BibTeX RDF
36	Pratya Nuankaew, Patchara Nasa-Ngium, Wongpanya Sararat Nuankaew	Application for Identifying Students Achievement Prediction Model in Tertiary Education: Learning Strategies for Lifelong Learning.	Int. J. Interact. Mob. Technol.	2021	DBLP DOI BibTeX RDF
36	Md. Mehedi Hassan, Md. Mahedi Hassan, Laboni Akter, Md. Mushfiqur Rahman, Sadika Zaman, Khan Md. Hasib, Nusrat Jahan, Raisun Nasa Smrity, Jerin Farhana, M. Raihan, Swarnali Mollick	Efficient Prediction of Water Quality Index (WQI) Using Machine Learning Algorithms.	Hum. Centric Intell. Syst.	2021	DBLP DOI BibTeX RDF
36	Pratya Nuankaew, Patchara Nasa-Ngium, Kanakarn Phanniphong, Oranan Chaopanich, Sittichai Bussaman, Wongpanya Sararat Nuankaew	Learning Management Impacted with COVID-19 at Higher Education in Thailand: Learning Strategies for Lifelong Learning.	Int. J. Eng. Pedagog.	2021	DBLP DOI BibTeX RDF
36	Daniel L. Silver, Jabun Nasa	Estimating Grape Yield on the Vine from Multiple Images.	CoRR	2020	DBLP BibTeX RDF
36	Esther Rheinbay, Morten Muhlig Nielsen, Federico Abascal, Jeremiah Wala, Ofer Shapira, Grace Tiao, Henrik Hornshøj, Julian M. Hess, Randi Istrup Juul, Ziao Lin, Lars Feuerbach, Radhakrishnan Sabarinathan, Tobias Madsen, Jaegil Kim, Loris Mularoni, Shimin Shuai, Andrés Lanzós, Carl Herrmann, Yosef E. Maruvka, Ciyue Shen, Samirkumar B. Amin, Pratiti Bandopadhayay, Johanna Bertl, Keith A. Boroevich, John Busanovich, Joana Carlevaro-Fita, Dimple Chakravarty, Calvin Wing Yiu Chan, David Craft, Priyanka Dhingra, Klev Diamanti, Nuno A. Fonseca, Abel Gonzalez-Perez, Qianyun Guo, Mark P. Hamilton, Nicholas J. Haradhvala, Chen Hong, Keren Isaev, Todd A. Johnson, Malene Juul, André Kahles, Abdullah Kahraman, Youngwook Kim, Jan Komorowski, Kiran Kumar, Sushant Kumar, Donghoon Lee 0006, Kjong-Van Lehmann, Yilong Li, Eric Minwei Liu, Lucas Lochovsky, Keunchil Park, Oriol Pich, Nicola D. Roberts, Gordon Saksena, Steven E. Schumacher, Nikos Sidiropoulos, Lina Sieverling, Nasa Sinnott-Armstrong, Chip Stewart, David Tamborero, Jose M. C. Tubio, Husen M. Umer, Liis Uusküla-Reimand, Claes Wadelius, Lina Wadi, Xiaotong Yao, Cheng-Zhong Zhang, Jing Zhang 0062, James E. Haber, Asger Hobolth, Marcin Imielinski, Manolis Kellis, Michael S. Lawrence, Christian von Mering, Hidewaki Nakagawa, Benjamin J. Raphael, Mark A. Rubin, Chris Sander, Lincoln D. Stein, Joshua M. Stuart, Tatsuhiko Tsunoda, David A. Wheeler, Rory Johnson, Jüri Reimand, Mark Gerstein, Ekta Khurana, Peter J. Campbell, Núria López-Bigas, Gary D. Bader, Jonathan Barenboim, Rameen Beroukhim, Søren Brunak, Ken Chen, Jung Kyoon Choi, Jordi Deu-Pons, J. Lynn Fink, Joan Frigola, Carlo Gambacorti Passerini, Dale W. Garsed, Gad Getz, Ivo Glynne Gut, David Haan, Arif Ozgun Harmanci, Mohamed Helmy, Ermin Hodzic, José M. G. Izarzugaza, Jong K. Kim, Jan O. Korbel, Erik Larsson, Shantao Li, Xiaotong Li, Shaoke Lou, Kathleen Marchal, Iñigo Martincorena, Alexander Martínez-Fundichely, Patrick D. McGillivray, William Meyerson, Ferran Muiños, Marta Paczkowska, Kiejung Park, Jakob Skou Pedersen, Tirso Pons, Sergio Pulido-Tamayo, Iker Reyes-Salazar, Matthew A. Reyna, Carlota Rubio-Perez, Süleyman Cenk Sahinalp, Leonidas Salichos, Mark Shackleton, Raunak Shrestha, Alfonso Valencia, Miguel Vazquez, Lieven P. C. Verbeke, Jiayin Wang, Jonathan Warrell, Sebastian M. Waszak, Joachim Weischenfeldt, Guanming Wu, Jun Yu, Xuanping Zhang, Yan Zhang 0032, Zhongming Zhao, Lihua Zou, Kadir C. Akdemir, Eva G. Alvarez, Adrian Baez-Ortega, Paul C. Boutros, David D. L. Bowtell, Benedikt Brors, Kathleen H. Burns, Kin Chan, Isidro Cortés-Ciriano, Ana Dueso-Barroso, Andrew J. Dunford, Paul A. Edwards, Xavier Estivill, Dariush Etemadmoghadam, Milana Frenkel-Morgenstern, Dmitry A. Gordenin, Barbara Hutter, David T. W. Jones, Young Seok Ju, Marat D. Kazanov, Leszek J. Klimczak, Youngil Koh, Eunjung Alice Lee, Jake June-Koo Lee, Andy G. Lynch, Geoff MacIntyre, Florian Markowetz, Matthew Meyerson, Satoru Miyano, Fabio C. P. Navarro, Stephan Ossowski, Peter J. Park, John V. Pearson, Montserrat Puiggròs, Karsten Rippe, Steven A. Roberts, Bernardo Rodriguez-Martin, Ralph Scully, David Torrents, Izar Villasante, Nicola Waddell, Jeremiah A. Wala, Lixing Yang, Sung-Soo Yoon, Jorge Zamora	Analyses of non-coding somatic drivers in 2,658 cancer whole genomes.	Nat.	2020	DBLP DOI BibTeX RDF
36	Xuhong Li 0001, Mohamad Abou Nasa, Farshid Rezaei, Fredrik Tufvesson	Target Tracking using Signal Strength Differences for Long-Range IoT Networks.	ICC Workshops	2020	DBLP DOI BibTeX RDF
36	Patchara Nasa-Ngium, Khamron Sunat, Sirapat Chiewchanwattana	Impacts of Linnik Flight Usage Patterns on Cuckoo Search for Real-Parameter Global Optimization Problems.	IEEE Access	2019	DBLP DOI BibTeX RDF
36	Nasa Yoshioka, Nobuyuki Kobayashi, Seiko Shirasaka	The Methodology to Integrate the Information Concerned About the Safety Between Many Kinds of Materials About the Space System.	CSDM Asia	2016	DBLP DOI BibTeX RDF
36	Jon Whittle 0001, William Simm, Maria Angela Ferrario, Katerina Frankova, Laurence Garton, Andrée Woodcock, Baseerit Nasa, Jane M. Binner, Aom Ariyatum	VoiceYourView: collecting real-time feedback on the design of public spaces.	UbiComp	2010	DBLP DOI BibTeX RDF
35	Julia M. Badger, Kristin Yvonne Rozier (eds.)	NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina	Incremental Verification of Compiler Optimizations.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Robert M. Hierons, Uraz Cengiz Türker	Distinguishing Sequences for Partially Specified FSMs.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Stephan Merz, Hernán Vanzetto	Refinement Types for tla +.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Mohamed Yousri Mahmoud, Sofiène Tahar	On the Quantum Formalization of Coherent Light in HOL.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri	JKelloy: A Proof Assistant for Relational Specifications of Java Programs.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Dustin Hoffman, Aditi Tagore, Diego Zaccai, Bruce W. Weide	Providing Early Warnings of Specification Problems.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Darren D. Cofer, Steven P. Miller	DO-333 Certification Case Studies.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Paolo Masci 0001, Yi Zhang 0051, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby	Combining PVSio with Stateflow.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb	Formal Verification of kLIBC with the WP Frama-C Plug-in.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Fabian Immler	Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Paul B. Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson	Verifying Hybrid Systems Involving Transcendental Functions.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans	Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein 0001, Sascha Klüppelholz	Energy-Utility Quantiles.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar	The Gradual Verifier.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Björn Bartels, Nils Jähnig	Mechanized, Compositional Verification of Low-Level Code.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist	Memory Efficient Data Structures for Explicit Verification of Timed Systems.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Adrià Gascón, Ashish Tiwari 0001	A Synthesized Algorithm for Interactive Consistency.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Anton Wijs, Luc Engelen	REFINER: Towards Formal Verification of Model Transformations.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari 0001	Designing a Deadlock-Free Train Scheduler: A Model Checking Approach.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Ethel Bardsley, Alastair F. Donaldson	Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto	A Compositional Monitoring Framework for Hard Real-Time Systems.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik	On Proving Recoverability of Smart Electrical Grids.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Loïc Correnson	Qed. Computing What Remains to Be Proved.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Bogdan Mihaila, Axel Simon	Synthesizing Predicates from Abstract Domain Losses.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Lars Noschinski, Christine Rizkallah, Kurt Mehlhorn	Verification of Certifying Computations through AutoCorres and Simpl.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Matthew Danish, Hongwei Xi	Using Lightweight Theorem Proving in an Asynchronous Systems Context.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	William Denman	Verifying Nonpolynomial Hybrid Systems by Qualitative Abstraction and Automated Theorem Proving.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux	Testing-Based Compiler Validation for Synchronous Languages.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Johann Schumann, Stefan-Alexander Schneider	Automated Testcase Generation for Numerical Support Functions in Embedded Systems.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
35	Guillaume Brat, Neha Rungta, Arnaud Venet (eds.)	NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Ewen Denney, Ganesh Pai, Iain Whiteside	Hierarchical Safety Cases.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Steven Lyde, Matthew Might	Extracting Hybrid Automata from Control Code.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Kevin Krause, Jim Alves-Foss	On Designing an ACL2-Based C Integer Type Safety Checking Tool.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis	Optimizing Control Strategy Using Statistical Model Checking.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Malte Isberner, Falk Howar, Bernhard Steffen	Inferring Automata with State-Local Alphabet Abstractions.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp	A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Daniel Ratiu, Markus Voelter, Bernd Kolb, Bernhard Schätz	Using Language Engineering to Lift Languages and Analyses at the Domain Level.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko C. J. D. van Eekelen	Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Alexey Solovyev, Thomas C. Hales	Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont	Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi	Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Alwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson	Verification of Numerical Programs: From Real Numbers to Floating Point Numbers.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar	Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Brian R. Larson, Patrice Chalin, John Hatcliff	BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Arnd Hartmanns, Mark Timmer	On-the-Fly Confluence Detection for Statistical Model Checking.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Peter Höfner, Annabelle McIver	Statistical Model Checking of Wireless Mesh Routing Protocols.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
35	Aditi Tagore, Bruce W. Weide	Automatically Detecting Inconsistencies in Program Specifications.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF