Search results for "Modechart"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
206	Farnam Jahanian, Aloysius K. Mok	Modechart: A Specification Language for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	Modechart, absolute timing, real-time clock, RTL formulas, RTL assertions, graphical implementation, SARTOR, real-time systems, real-time systems, semantics, specification languages, specification language, rapid prototyping, timing constraints, abstraction levels, logic programming languages, hierarchical organization, real-time logic
112	Jin Yang, Aloysius K. Mok, Douglas A. Stuart	A new generation modechart verifie.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	modechart verifier, vf3, arbitrary hierarchy, verification process speed, zone-based computation graph, on-the-fly deterministic pruning, outgoing edge reduction, graph nodes, quotient graph, real-time logic formula, graph size, SARTOR project, real-time systems, formal verification, graph theory, operational semantics, diagrams, computer aided software engineering, search space reduction
52	Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen	A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Modechart, VFSM, Formal methods, specification languages, Z, SDL, industrial applications, LOTOS, ESTEREL, technology assessment
52	Wael M. Elseaidy, Rance Cleaveland	A tool for modeling and verifying real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time systems verification, verification environment, graphical design la, Modechart, textually based language, Temporal CCS, system minimization, active structural control systems, real-time systems, formal verification, software tools, visual languages, equivalence checking, modeling tool
36	Jan Fiedor, Marek Gach, Milan Ceska 0001	A Novel Approach to Modechart Verification of Real-Time Systems.	EUROCAST (1)	2011	DBLP DOI BibTeX RDF
36	Monica Brockmeyer	Using Modechart Modules for Testing Formal Specifications.	HASE	1999	DBLP DOI BibTeX RDF	real-time systems, verification, testing, formal methods, specification
36	Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart	Compiling Modechart Specifications.	RTSS	1995	DBLP DOI BibTeX RDF
36	Farnam Jahanian, Douglas A. Stuart	A Method for Verifying Properties of Modechart Specifications.	RTSS	1988	DBLP BibTeX RDF
28	Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian	Simulation-Verification: Biting at the State Explosion Problem.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Modechart, simulation, Real-time systems, verification, formal methods, specification, requirements analysis, timing constraints
23	Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Elly Winner	A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	monitoring and assertion checking, Simulation, formal methods, specification, symbolic execution
23	Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw	A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.	HASE	1997	DBLP DOI BibTeX RDF
23	Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw	A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF
23	Kyo Chul Kang, Kwang-Il Ko	Formalization and Verification of Safety Properties of Statechart Specifications.	APSEC	1996	DBLP DOI BibTeX RDF	real-time system, temporal logic, Statecharts, safety property, specification technique, reachability graph