Search results for "RSML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl	Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language.	ICFEM	2003	DBLP DOI BibTeX RDF
100	David Y. W. Park, Jens U. Skakkebæk, David L. Dill	Static Analysis to Identify Invariants in RSML Specifications.	FTRTFT	1998	DBLP DOI BibTeX RDF
68	Mats Per Erik Heimdahl, David J. Keenan	Generating Code from Hierarchical State-Based Requirements.	RE	1997	DBLP DOI BibTeX RDF	hierarchical state-based requirements, safety-critical embedded computer systems, environmental damage, monetary loss, Irvine Safety Research Group, requirements specification language, Requirements State Machine Language, formal specification, code generation, system complexity, RSML
61	Juyoung Kang 0001, Jae Kyu Lee	Extraction of Structured Rules from Web Pages and Maintenance of Mutual Consistency: XRML Approach.	RuleML	2003	DBLP DOI BibTeX RDF
61	Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese	Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
59	Yunja Choi, Mats Per Erik Heimdahl	Model Checking RSML-e Requirements.	HASE	2002	DBLP DOI BibTeX RDF
48	Mats Per Erik Heimdahl, Jeffrey M. Thompson	Specifying and Analysing System-Level Inter-Component Interfaces.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Inter-component communication, Safety kernel, State-based specification, Formal methods, Static analysis, Requirements specification, RSML
48	William Chan 0001, Richard J. Anderson, Paul Beame, David Notkin	Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.	ISSTA	1998	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, system requirements specification, formal verification, abstraction, binary decision diagrams, statecharts, reachability analysis, symbolic model checking, RSML
48	Mats Per Erik Heimdahl, Barbara J. Czerny	Using PVS to analyze hierarchical state-based requirements for completeness and consistency.	HASE	1996	DBLP DOI BibTeX RDF	hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
41	Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl	Proving the shalls.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Formal verification, Software requirements, Model-based development
41	Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl	Proving the Shalls.	FME	2003	DBLP DOI BibTeX RDF
41	Mats Per Erik Heimdahl	Experiences and Lessons from the Analysis of TCAS II.	ISSTA	1996	DBLP DOI BibTeX RDF
39	Howell R. Jordan, Sarah Beecham, Goetz Botterweck	Modelling software engineering research with RSML.	EASE	2014	DBLP DOI BibTeX RDF
39	Mats Per Erik Heimdahl	Verifying Communication Constraints in RSML Specifications.	HASE	1997	DBLP DOI BibTeX RDF
27	William Chan 0001, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner	Optimizing Symbolic Model Checking for Statecharts.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, automatic abstraction, fault tolerance, Formal verification, binary decision diagrams, statecharts, requirements specifications, symbolic model checking, RSML, avionic systems
27	Jeffrey M. Thompson, Mats Per Erik Heimdahl	An Integrated Development Environment for Prototyping Safety Critical Systems.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	Specification-based Prototyping, Software Engineering, Embedded Systems, Safety-critical Systems, RSML
20	Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao	Auto-generating Test Sequences Using Model Checkers: A Case Study.	FATES	2003	DBLP DOI BibTeX RDF
20	Constance L. Heitmeyer	Transferring Research Results in Requirements to Practice: Obstacles and Incentives.	ICRE	2000	DBLP DOI BibTeX RDF
20	Michael W. Whalen	High-integrity code generation for state-based formalisms.	ICSE	2000	DBLP DOI BibTeX RDF	correctness preserving code generation, formal methods, code optimization
20	Tevfik Bultan	Action Language: a specification language for model checking reactive systems.	ICSE	2000	DBLP DOI BibTeX RDF	model checking, specification languages, reactive systems
20	Michael W. Whalen, Mats Per Erik Heimdahl	An Approach to Automatic Code Generation for Safety-Critical Systems.	ASE	1999	DBLP DOI BibTeX RDF