Search results for "Propulsion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Sylvain Martel, Walder Andre, Mahmood Mohammadi, Zhao Lu, Ouajdi Felfoul	Towards swarms of communication-enabled and intelligent sensotaxis-based bacterial microrobots capable of collective tasks in an aqueous medium.	ICRA	2009	DBLP DOI BibTeX RDF
12	Michael Sfakiotakis, Dimitris P. Tsakiris	Undulatory and pedundulatory robotic locomotion via direct and retrograde body waves.	ICRA	2009	DBLP DOI BibTeX RDF
12	Pål Liljebäck, Sigurd Aksnes Fjerdingen, Kristin Ytterstad Pettersen, Øyvind Stavdahl	A snake robot joint mechanism with a contact force measurement system.	ICRA	2009	DBLP DOI BibTeX RDF
12	Bradley Kratochvil, Dominic R. Frutiger, Karl Vollmers, Bradley J. Nelson	Visual servoing and characterization of resonant magnetic actuators for decoupled locomotion of multiple untethered mobile microrobots.	ICRA	2009	DBLP DOI BibTeX RDF
12	Sigurd Aksnes Fjerdingen, Pål Liljebäck, Aksel Andreas Transeth	A snake-like robot for internal inspection of complex pipe structures (PIKo).	IROS	2009	DBLP DOI BibTeX RDF
12	Seyed Nasr Tabatabaei, Jacinthe Lapointe, Sylvain Martel	Hydrogel encapsulated magnetic nanoparticles as hyperthermic actuators for microrobots designed to operate in the vascular network.	IROS	2009	DBLP DOI BibTeX RDF
12	Wen Li, Tianmiao Wang, Jianhong Liang, Jinlan Li	Fuzzy logic vorticity control of ocillating foil UUV.	IROS	2009	DBLP DOI BibTeX RDF
12	Amer Farhan Rafique, He LinShu, Qasim Zeeshan, Ali Kamran	Multidisciplinary Design of Air-Launched Space Launch Vehicle Using Simulated Annealing.	KI	2009	DBLP DOI BibTeX RDF	Air-launched Space Launch Vehicle, Simulated Annealing, Multidisciplinary Design Optimization
12	Eric Feron, Eric N. Johnson	Aerial Robotics.	Springer Handbook of Robotics	2008	DBLP DOI BibTeX RDF
12	Frédéric Boyer, Mathieu Porez, Alban Leroyer, Michel Visonneau	Fast Dynamics of an Eel-Like Robot - Comparisons With Navier-Stokes Simulations.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
12	Junzhi Yu, Long Wang 0001, Wei Zhao 0007, Min Tan 0001	Optimal design and motion control of biomimetic robotic fish.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	biomimetic robotic fish, motion control, optimization design, central pattern generator (CPG), mechatronics
12	Peter Dabnichki	Modelling, Computing and Sport.	Inform. Spektrum	2008	DBLP DOI BibTeX RDF
12	Rong-Jong Wai, Jeng-Dao Lee	Adaptive Fuzzy-Neural-Network Control for Maglev Transportation System.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
12	Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustrup, David A. Wagner 0002	C++ Dynamic Cast in Autonomous Space Systems.	ISORC	2008	DBLP DOI BibTeX RDF
12	Panagiotis Chatzakos, Evangelos Papadopoulos	The influence of DC electric drives on sizing quadruped robots.	ICRA	2008	DBLP DOI BibTeX RDF
12	Mircea Badescu, Sergiu Stroescu, Stewart Sherrit, Jack B. Aldrich, Xiaoqi Bao, Yoseph Bar-Cohen, Zensheu Chang, Wilson Hernandez, Alaa Ibrahim	Rotary hammer ultrasonic/sonic drill system.	ICRA	2008	DBLP DOI BibTeX RDF
12	Klaus Havelund	Runtime Verification of C Programs.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
12	Anthony S. David, Olivier Bruneau	Sequential Method of Analytical Potentials an approach for the biped robots dynamic gait generation.	IROS	2008	DBLP DOI BibTeX RDF
12	Hyatt Nakadoi, David Sobey, Masaki Yamakita, Toshiharu Mukai	Liquid environment-adaptive IPMC fish-like robot using extremum seeking feedback.	IROS	2008	DBLP DOI BibTeX RDF
12	Marcus J. Holzinger, Jeremiah DiMatteo, Jeremy D. Schwartz, Mark Milam	Passively safe Receding Horizon Control for satellite proximity operations.	CDC	2008	DBLP DOI BibTeX RDF
12	Dominic R. Frutiger, Karl Vollmers, Bradley Kratochvil, Bradley J. Nelson	Small, Fast, and under Control: Wireless Resonant Magnetic Micro-agents.	ISER	2008	DBLP DOI BibTeX RDF
12	Faming Sun, Xinsheng Xu	The Control Mechanism of a New Fish-Like Underwater Robot with Two Tails.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	Underwater robot, control mechanism, magnetic field, fish-like robot
12	Xibo Wang, Song Liu, Ge Yu 0001, Qian Li	Underwater Glider Embedded Control System Design Based on QNX Real-time Kernel.	RAM	2008	DBLP DOI BibTeX RDF
12	Jianhong Liang, Li Wen, Yuxiao Guo 0003	Experimental design and performance of underwater vehicle based on capacity of voyage.	RAM	2008	DBLP DOI BibTeX RDF
12	Gregory Dudek, Philippe Giguère, Chris Prahacs, Shane Saunderson, Junaed Sattar, Luz Abril Torres-Méndez, Michael Jenkin, Andrew German, Andrew Hogue, Arlene Ripsman, James E. Zacher, Evangelos E. Milios, Hui Liu, Pifu Zhang, Martin Buehler, Christina Georgiades	AQUA: An Amphibious Autonomous Robot.	Computer	2007	DBLP DOI BibTeX RDF	AQUA, Autonomous robot development, SASR tasks, Robotics
12	G. P. Briggs, Tapabrata Ray, J. F. Milthorpe	Optimal design of an Australian medium launch vehicle.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Launch vehicles, Evolutionary algorithms, Optimisation, Systems analysis
12	Joanne Bechta Dugan, Ganesh J. Pai, Hong Xu	Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering.	HASE	2007	DBLP DOI BibTeX RDF
12	Shuxiang Guo, Qinxue Pan	Mechanism and Control of a Novel Type Microrobot for Biomedical Application.	ICRA	2007	DBLP DOI BibTeX RDF
12	Sardis Azongha, Hui Li	Modeling and simulation of the dynamic control of a cascaded multilevel inverter using single DC source for induction motor drive application.	SCSC	2007	DBLP BibTeX RDF	dynamic modulation control, multilevel inverter, induction motor
12	Julia M. B. Braman, Richard M. Murray, David A. Wagner 0002	Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system.	IROS	2007	DBLP DOI BibTeX RDF
12	Junaed Sattar, Gregory Dudek	Where is your dive buddy: tracking humans underwater using spatio-temporal features.	IROS	2007	DBLP DOI BibTeX RDF
12	I. Carnelli, Bernd Dachwald, Massimiliano Vasile	Optimizing low-thrust gravity assist interplanetary trajectories using evolutionary neurocontrollers.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
12	Michèle Lavagna, Guido Sangiovanni	A Possible Approach to Cope with Uncertainties in Space Applications.	WILF	2007	DBLP DOI BibTeX RDF
12	Antonio J. Plaza	Cluster-Based Implementation of a Morphological Watershed Algorithm for Parallel Classification of Multichannel Images.	SYNASC	2007	DBLP DOI BibTeX RDF
12	Alex Groce, Gerard J. Holzmann, Rajeev Joshi	Randomized Differential Testing as a Prelude to Formal Verification.	ICSE	2007	DBLP DOI BibTeX RDF
12	Polyhronis Spanoudakis, Nikos Tsourveloudis, Kimon P. Valavanis	Design Considerations of a Prototype VTOL Robotic Vehicle through Market Survey Data Collection.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	drop test, vertical take-off and landing, unmanned aerial vehicle, design specifications
12	Dong-U Lee, John D. Villasenor, Wayne Luk, Philip Heng Wai Leong	A Hardware Gaussian Noise Generator Using the Box-Muller Method and Its Error Analysis.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	elementary function approximation, minimax approximation and algorithms, simulation, optimization, field programmable gate arrays, computer arithmetic, error analysis, random number generation, Algorithms implemented in hardware
12	David Valencia, Alexey L. Lastovetsky, Antonio Plaza	Design and Implementation of a Parallel Heterogeneous Algorithm for Hyperspectral Image Analysis Using HeteroMPI.	ISPDC	2006	DBLP DOI BibTeX RDF
12	Kevin Nickels, Brett Kennedy, Hrand Aghazarian, Curtis Collins, Michael Garrett, Lee Magnone, Avi Okon, Julie A. Townsend	Lemur IIa Capabilities.	IROS	2006	DBLP DOI BibTeX RDF
12	Walder Andre, Sylvain Martel	Design of Photovoltaic Cells to Power Control Electronics Embedded in Untethered Aqueous Microrobots Propelled by Bacteria.	IROS	2006	DBLP DOI BibTeX RDF
12	Kevin Nickels, Brett Kennedy, Hrand Aghazarian, Curtis Collins, Michael Garrett, Lee Magnone, Avi Okon, Julie A. Townsend	In-Space Robotic Assembly with Lemur IIa.	IROS	2006	DBLP DOI BibTeX RDF
12	Thomas M. Howard, Alonzo Kelly	Trajectory and Spline Generation for All-Wheel Steering Mobile Robots.	IROS	2006	DBLP DOI BibTeX RDF
12	Kentaro Takagi, Masanori Yamamura, Zhi Wei Luo, Masaki Onishi, Shinya Hirano, Kinji Asaka, Yoshikazu Hayakawa	Development of a Rajiform Swimming Robot using Ionic Polymer Artificial Muscles.	IROS	2006	DBLP DOI BibTeX RDF
12	Jean-Christophe Fauroux, F. Chapelle, B. C. Bouzgarrou	A New Principle for Climbing Wheeled Robots: Serpentine Climbing with the Open WHEEL Platform.	IROS	2006	DBLP DOI BibTeX RDF
12	Changlong Ye 0001, Shugen Ma, Bin Li 0001	Design and Basic Experiments of a Shape-shifting Mobile Robot for Urban Search and Rescue.	IROS	2006	DBLP DOI BibTeX RDF
12	Sumit Roy 0001, Payman Arabshahi, Dan Rouseff, Warren L. J. Fox	Wide area ocean networks: architecture and system design considerations.	Underwater Networks	2006	DBLP DOI BibTeX RDF	energy efficiency, autonomous vehicles, underwater networking
12	Tao Qian, Xiaokun Li, Bulent Ayhan, Roger Xu, Chiman Kwan, Tim Griffin	Application of Support Vector Machines to Vapor Detection and Classification for Environmental Monitoring of Spacecraft.	ISNN (2)	2006	DBLP DOI BibTeX RDF
12	Kris K. Hauser, Timothy Bretl, Jean-Claude Latombe, Brian Wilcox	Motion Planning for a Six-Legged Lunar Robot.	WAFR	2006	DBLP DOI BibTeX RDF
12	Javier Setoain, Christian Tenllado, Manuel Prieto 0001, David Valencia, Antonio Plaza, Javier Plaza	Parallel Hyperspectral Image Processing on Commodity Graphics Hardware.	ICPP Workshops	2006	DBLP DOI BibTeX RDF
12	Rolf Pfeifer, Max Lungarella, Olaf Sporns, Yasuo Kuniyoshi	On the Information Theoretic Implications of Embodiment - Principles and Methods.	50 Years of Artificial Intelligence	2006	DBLP DOI BibTeX RDF	Embodiment, Morphology, Materials, Information Processing
12	Jack Jai-ick Yoh	High-End Modeling and Simulation of Cookoff of HMX-Based Energetic Materials.	ICCSA (5)	2006	DBLP DOI BibTeX RDF
12	Guangming Wang 0003, Lincheng Shen, Tianjiang Hu	Kinematic Modeling and Dynamic Analysis of the Long-Based Undulation Fin of Gymnarchus Niloticus.	SAB	2006	DBLP DOI BibTeX RDF
12	David P. Gilliam, John D. Powell, Matt Bishop, Chris Andrew, Sameer Jog	Security Verification Techniques Applied to PatchLink COTS Software.	WETICE	2006	DBLP DOI BibTeX RDF
12	Takahisa Ohji, Masaaki Sato, Kenji Amei, Masaaki Sakui	Analytical Study on a New Induction Type Magnetic Levitation System Creating Quasi-Static Lorentz Forces for a Non-Magnetic Sheet Metal.	DELTA	2006	DBLP DOI BibTeX RDF
12	Antonio J. Plaza	Heterogeneous Parallel Computing in Remote Sensing Applications: Current Trends and Future Perspectives.	CLUSTER	2006	DBLP DOI BibTeX RDF
12	Roberto Manduchi, Andres Castano, Ashit Talukder, Larry H. Matthies	Obstacle Detection and Terrain Classification for Autonomous Off-Road Navigation.	Auton. Robots	2005	DBLP DOI BibTeX RDF	ladar classification, autonomous navigation, obstacle detection, color classification, terrain classification
12	Ronald Mak, Joan D. Walton	The Collaborative Information Portal and NASA's Mars Rover Mission.	IEEE Internet Comput.	2005	DBLP DOI BibTeX RDF
12	Mark Baker, Aamir Shafi, Bryan Carpenter, Sylvia C. Wong, Victor Tan, Weijian Fang, Simon Miles, Luc Moreau 0001	Cluster Computing and Grid 2005 Works in Progress.	IEEE Distributed Syst. Online	2005	DBLP DOI BibTeX RDF
12	Adrian Stoica, Ricardo Salem Zebulum, Didier Keymeulen, Taher Daud	Transistor-Level Circuit Experiments Using Evolvable Hardware.	IWINAC (2)	2005	DBLP DOI BibTeX RDF
12	S. Sitharama Iyengar	The Distributed Sensor Networks - An Emerging Technology.	ICDCIT	2005	DBLP DOI BibTeX RDF
12	David Valencia, Antonio J. Plaza, Pablo Martínez 0001, Javier Plaza	On the Use of Cluster Computing Architectures for Implementation of Hyperspectral Image Analysis Algorithms.	ISCC	2005	DBLP DOI BibTeX RDF
12	Prasant Kumar Pattnaik 0002, Bh. Vijayaaditya, T. Srinivas, A. Selvarajan	Optical MEMS pressure sensor using ring resonator on a circular diaphragm.	ICMENS	2005	DBLP DOI BibTeX RDF
12	H. M. Prasanna, Debasish Ghose, M. Seetharama Bhat, Chiranjib Bhattacharyya, J. Umakant	Ascent Phase Trajectory Optimization for a Hypersonic Vehicle Using Nonlinear Programming.	ICCSA (4)	2005	DBLP DOI BibTeX RDF
12	David P. Gilliam, John D. Powell, Matt Bishop	Application of Lightweight Formal Methods to Software Security.	WETICE	2005	DBLP DOI BibTeX RDF
12	Samir Bouabdallah, Roland Siegwart	Towards Intelligent Miniature Flying Robots.	FSR	2005	DBLP DOI BibTeX RDF	VTOL design, quadrotor, quadrotor modelling
12	Eva Alfaro-Cid, Euan William McGookin, David James Murray-Smith	Evolution of a Strategy for Ship Guidance Using Two Implementations of Genetic Programming.	EuroGP	2005	DBLP DOI BibTeX RDF
12	Richard Terrile, Hrand Aghazarian, Michael I. Ferguson, Wolfgang Fink, Terrance L. Huntsberger, Didier Keymeulen, Gerhard Klimeck, Mark A. Kordon, Seungwon Lee, Paul von Allmen	Evolutionary Computation Technologies for the Automated Design of Space Systems.	Evolvable Hardware	2005	DBLP DOI BibTeX RDF
12	Saqlain Akhtar, He Linshu	Support Vector Machine Based Trajectory Metamodel for Conceptual Design of Multi-stage Space Launch Vehicle.	CIS (1)	2005	DBLP DOI BibTeX RDF
12	Terrance L. Huntsberger, Ashitey Trebi-Ollennu, Hrand Aghazarian, Paul S. Schenker, Paolo Pirjanian, Hari Das Nayar	Distributed Control of Multi-Robot Systems Engaged in Tightly Coupled Tasks.	Auton. Robots	2004	DBLP DOI BibTeX RDF	tight coordination, distributed control architecture, multiple mobile robots
12	Emanuele Cavallo, Rinaldo C. Michelini, Vladimir F. Filaretov	Conceptual Design of an AUV Equipped with a Three Degrees of Freedom Vectored Thruster.	J. Intell. Robotic Syst.	2004	DBLP DOI BibTeX RDF	3 dof vectored thruster, integrated path-and-attitude follower, autonomous underwater vehicles
12	Keith Whisnant, Ravishankar K. Iyer, Zbigniew Kalbarczyk, Phillip H. Jones III, David A. Rennels, Raphael R. Some	The Effects of an ARMOR-Based SIFT Environment on the Performance and Dependability of User Applications.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	distributed systems, high availability, Software-implemented fault tolerance
12	Robyn R. Lutz, Ines Carmen Mikulski	Ongoing Requirements Discovery in High-Integrity Systems.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	requirements/specifications management, maintenance and enhancement, software and system safety, error processing, distribution, product metrics
12	Jeffrey S. Norris, Poul-Henning Kamp	Mission-Critical Development with Open Source Software: Lessons Learned.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	mission-critical software, open source development
12	Daniel L. Dvorak, Gregory Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Brian Giovannoni, Mark B. Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz	Project Golden Gate: Towards Real-Time Java in Space Missions.	ISORC	2004	DBLP DOI BibTeX RDF
12	Thomas Kämpke, Alberto Elfes	Optimal Wind-assisted Flight Planning for Planetary Aerobots.	ICRA	2004	DBLP DOI BibTeX RDF
12	Gianluca Antonelli, Fabrizio Caccavale, Carlo Sansone, Luigi Villani	Fault Diagnosis for AUVs using Support Vector Machines.	ICRA	2004	DBLP DOI BibTeX RDF
12	Peter D. Neuhaus, Michael O'Sullivan, David Eaton, John Carff, Jerry E. Pratt	Concept Designs for Underwater Swimming Exoskeletons.	ICRA	2004	DBLP DOI BibTeX RDF
12	Chris Mattmann, Daniel J. Crichton, J. Steven Hughes, Sean C. Kelly, Paul M. Ramirez	Software Architecture for Large-Scale, Distributed, Data-Intensive Systems.	WICSA	2004	DBLP DOI BibTeX RDF
12	Allen P. Nikora, John C. Munson	The Effects of Fault Counting Methods on Fault Model Quality.	COMPSAC	2004	DBLP DOI BibTeX RDF	defect content estimation techniques, software measurement, software modeling, fault prediction
12	Raymond K. Clark, E. Douglas Jensen, Nicolas F. Rouquette	Software Organization to Facilitate Dynamic Processor Scheduling.	IPDPS	2004	DBLP DOI BibTeX RDF
12	Jon Ahn, Kyungtae Lee	A Computational Method for the Performance Modeling and Design of a Ducted Fan System.	AsiaSim	2004	DBLP DOI BibTeX RDF
12	A. E. Lindsey, Charles Pecheur	Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder.	TACAS	2004	DBLP DOI BibTeX RDF
12	Barry W. Boehm, Jesal Bhuta, David Garlan, Eric Gradman, LiGuo Huang, Alexander Lam, Raymond J. Madachy, Nenad Medvidovic, Kenneth Meyer, Steven Meyers, Gustavo Pérez, Kirk Reinholtz, Roshanak Roshandel, Nicolas Rouquette	Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience.	ISESE	2004	DBLP DOI BibTeX RDF	SCRover, empirical testbeds, seeded defects, Empirical methods, technology evaluation, software dependability, architecture definition languages
12	Lynne P. Cooper, Rebecca L. Nash, Tu-Anh T. Phan, Teresa R. Bailey	Using Knowledge-Based Systems to Support Learning of Organizational Knowledge: A Case Study.	HICSS	2004	DBLP DOI BibTeX RDF
12	Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer	A Foundation for Adaptive Fault Tolerance in Software.	ECBS	2003	DBLP DOI BibTeX RDF
12	Nicolas F. Rouquette	UML/MDA Reality Check: Heterogenous Architecture Style.	UML	2003	DBLP DOI BibTeX RDF
12	David P. Gilliam	Managing Information Technology Security Risk.	ISSS	2003	DBLP DOI BibTeX RDF
12	In-Hak Joo, Ki Won Lee, Min-Soo Kim 0001, Jong-Hun Lee	ISP (Information Strategy Planning) for 4S-Based Integration of Spatial Information Systems as Korean Nationwide Project.	EGOV	2003	DBLP DOI BibTeX RDF
12	Pietro Torasso, Gianluca Torta	Computing Minimum-Cardinality Diagnoses Using OBDDs.	KI	2003	DBLP DOI BibTeX RDF
12	Xenofon D. Koutsoukos, James Kurien, Feng Zhao 0001	Estimation of Distributed Hybrid Systems Using Particle Filtering Methods.	HSCC	2003	DBLP DOI BibTeX RDF
12	Heather Kincaid, Sean C. Kelly, Daniel J. Crichton, Donald Johnsey, Marcy D. Winget, Sudhir Srivastava	A National Virtual Specimen Database for Early Cancer Detection.	CBMS	2003	DBLP DOI BibTeX RDF
12	David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop	Addressing Software Security and Mitigations in the Life Cycle.	SEW	2003	DBLP DOI BibTeX RDF
12	David W. Curkendall, Eric J. Fielding, Tsan-Huei Cheng, Josef M. Pohl	A Computational-Grid Based System for Continental Drainage Network Extraction Using SRTM Digital Elevation Models.	ICPP Workshops	2003	DBLP DOI BibTeX RDF
12	Allen P. Nikora, John C. Munson	Understanding the Nature of Software Evolution.	ICSM	2003	DBLP DOI BibTeX RDF
12	Gloria Mark	Extreme collaboration.	Commun. ACM	2002	DBLP DOI BibTeX RDF
12	Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora	Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System.	DSN	2002	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed systems, Markov chains, Transient faults, Hierarchical modeling, Fault trees, Dependability modeling, Stochastic reward nets
12	Raphael R. Some, Won S. Kim, Garen Khanoyan, Leslie Callum, Anil Agrawal, John J. Beahan	Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance.	DSN	2001	DBLP DOI BibTeX RDF
12	Daniel J. Crichton, J. Steven Hughes, Gregory J. Downing, Heather Kincaid, Sudhir Srivastava	An Interoperable Data Architecture for Data Exchange in a Biomedical Research Network.	CBMS	2001	DBLP DOI BibTeX RDF
12	Gregory J. Follen, Chan M. Kim, Isaac Lopez, Scott Townsend, Janche Sang	A CORBA-Based Development Environment for Wrapping and Coupling Legacy Scientific Codes.	HPDC	2001	DBLP DOI BibTeX RDF
12	David P. Gilliam, John C. Kelly, John D. Powell, Matt Bishop	Development of a Software Security Assessment Instrument to Reduce Software Security Risk.	WETICE	2001	DBLP DOI BibTeX RDF	Security Toolset, Vulnerability Matrix, Model Checking, Security Verification, Property-Based Testing