Search results for "Critical software systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett	Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems.	APSEC	2007	DBLP DOI BibTeX RDF
1	W. Eric Wong, Vidroha Debroy, Adithya Surampudi, HyeonJeong Kim, Michael F. Siok	Recent Catastrophic Accidents: Investigating How Software was Responsible.	SSIRI	2010	DBLP DOI BibTeX RDF	catastrophic accidents, mishaps, safety-critical software systems, Software safety
1	Indika Meedeniya	An incremental methodology for quantitative software architecture evaluation with probabilistic models.	ICSE	2010	DBLP DOI BibTeX RDF	delta evaluation, incremental evaluation models, architecture evaluation, probabilistic properties
1	Haklin Kimm, Sung Y. Shin, Ho-sang Ham, Chang Oan Sung	Failure management development for integrated automotive safety-critical software systems.	SAC	2009	DBLP DOI BibTeX RDF
1	Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska	Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.	SAFECOMP	2009	DBLP DOI BibTeX RDF
1	Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong	Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
1	Haruka Nakao, Adam Trendowicz, Jürgen Münch	Estimating the Effort of Independent Verification and Validation in the Context of Mission-critical Software Systems - A Case Study.	SEKE	2008	DBLP BibTeX RDF
1	Emanuel S. Grant, Hassan Reza	Towards Model Driven Testing for Mission Critical Software Systems.	Software Engineering Research and Practice	2008	DBLP BibTeX RDF
1	Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki	Compositional Model-Checking Verification of Critical Systems.	ICEIS	2008	DBLP DOI BibTeX RDF	Critical software systems, Model-checking, Formal methods, Case study, Compositional verification
1	Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo	Certifying low-level programs with hardware interrupts and preemptive threads.	PLDI	2008	DBLP DOI BibTeX RDF	certified system software, hardware interrupts, preemptive threads, concurrency, separation logic
1	Gabriella Carrozza, Domenico Cotroneo, Stefano Russo	Software Faults Diagnosis in Complex OTS Based Safety Critical Systems.	EDCC	2008	DBLP DOI BibTeX RDF
1	Christian Esposito, Stefano Russo, Dario Di Crescenzo	Performance assessment of OMG compliant data distribution middleware.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Josh Dehlinger, Joanne Bechta Dugan	Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo.	QSIC	2008	DBLP DOI BibTeX RDF	dependability engineering, multi-agent systems, agent-oriented software engineering, dynamic fault trees
1	Venkata U. B. Challagulla, Farokh B. Bastani, Raymond A. Paul, Wei-Tek Tsai, Yinong Chen	A Machine Learning-Based Reliability Assessment Model for Critical Software Systems.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Hongxu Cai, Zhong Shao, Alexander Vaynberg	Certified self-modifying code.	PLDI	2007	DBLP DOI BibTeX RDF	assembly code verification, runtime code manipulation, self-modifying code, hoare logic, modular verification
1	Juha Savolainen, Ian Oliver, Varvana Myllärniemi, Tomi Männistö	Analyzing and Re-structuring Product Line Dependencies.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Chien-Min Wang, Shun-Te Wang, Hsi-Min Chen, Chi-Chang Huang	A Reliability-Aware Approach for Web Services Execution Planning.	IEEE SCW	2007	DBLP DOI BibTeX RDF
1	Michael Jiang, Zhihui Yang	A Model-Driven Approach for Dependable Software Systems.	QSIC	2007	DBLP DOI BibTeX RDF	web services and software component, reliability, Dependability, availability, Meta-model
1	Andres S. Orrego, Gregory E. Mundy	A study of software reuse in NASA legacy systems.	ISSE	2007	DBLP DOI BibTeX RDF	Context variables, Genealogy classifications, Software reuse, Legacy software
1	Weihang Wu, Tim Kelly	Managing Architectural Design Decisions for Safety-Critical Software Systems.	QoSA	2006	DBLP DOI BibTeX RDF
1	Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen	A Unified Framework for Defect Data Analysis Using the MBR Technique.	ICTAI	2006	DBLP DOI BibTeX RDF
1	Daniel Lübke, Kurt Schneider	Leveraging Feedback on Processes in SOA Projects.	EuroSPI	2006	DBLP DOI BibTeX RDF
1	Søren Top, Bo Nørregaard Jørgensen, Hans Jørgen Nørgaard	Separation of Concerns in Mission Critical Software Systems - An Industrial Applicable Approach.	IASTED Conf. on Software Engineering	2005	DBLP BibTeX RDF
1	Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall	DOA 2005 PC Co-chairs' Message.	OTM Conferences	2005	DBLP DOI BibTeX RDF
1	Pramod Gupta, Johann Schumann	A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems.	HASE	2004	DBLP DOI BibTeX RDF
1	Jiong Yan, Ji Wang, Huowang Chen	UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.	ISPA	2004	DBLP DOI BibTeX RDF
1	Holger Giese, Matthias Tichy, Daniela Schilling	Compositional Hazard Analysis of UML Component and Deployment Models.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Robert G. Pettit IV, Julie A. Street	Lessons Learned Applying UML in the Design of Mission Critical Software.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
1	Taghi M. Khoshgoftaar, Naeem Seliya	Fault Prediction Modeling for Software Quality Estimation: Comparing Commonly Used Techniques.	Empirical Software Engineering	2003	DBLP DOI BibTeX RDF	neural networks, software metrics, case-based reasoning, CART, fault prediction, multiple linear regression, Software quality prediction, S-PLUS
1	Silke Kuball	Scenario-Based System Assessment.	Ada-Europe	2001	DBLP DOI BibTeX RDF
1	Howard E. Shrobe	Model-Based Diagnosis for Information Survivability.	IWSAS	2001	DBLP DOI BibTeX RDF
1	Mehmet Sahinoglu, Edward Chow	Empirical-Bayesian Availability Indices of Safety & Time Critical Software Systems with Corrective Maintenance.	PRDC	1999	DBLP DOI BibTeX RDF	Empirical Bayesian, Time-Critical, Availability, Safety, mle, Corrective Maintenance
1	Emin Gün Sirer, Brian N. Bershad	Using production grammars in software testing.	DSL	1999	DBLP DOI BibTeX RDF
1	Souâd Taouil-Traverson, Sylvie Vignes	Designing a B Model for Safety-Critical Software Systems.	B	1998	DBLP DOI BibTeX RDF
1	Vijay K. Vaishnavi, Martin D. Fraser	A validation framework for a maturity measurement model for safety-critical software systems.	ACM Southeast Regional Conference	1998	DBLP DOI BibTeX RDF
1	Norman E. Fenton, Martin Neil	A Strategy for Improving Safety Related Software Engineering Standards.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	IEC1508, measurement, prediction, Standards, assessment, safety-critical
1	Lon D. Gowen	Workshop on Software Safety-Summary of the '94 CMBS Syposium's Software Safety Workshop.	CBMS	1995	DBLP DOI BibTeX RDF
1	Lon D. Gowen, James S. Collofello	Assessing traditional verification's effectiveness on safety-critical software systems.	Journal of Systems and Software	1994	DBLP DOI BibTeX RDF
1	Lon D. Gowen	Specifying and verifying safety-critical software systems.	CBMS	1994	DBLP DOI BibTeX RDF
1	Jean-Claude Laprie	On the Assessment of Safety-Critical Software Systems.	ICSE	1990	DBLP BibTeX RDF