Search results for "state-based models"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Ankit Goel, Bikram Sengupta, Abhik Roychoudhury	Footprinter: Round-trip engineering via scenario and state based models.	ICSE Companion	2009	DBLP DOI BibTeX RDF
2	Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco, Valdivino A. Santiago, Wendell Pereira da Silva, Eliane Martins	Designing Fault Injection Experiments Using State-Based Model to Test a Space Software.	LADC	2007	DBLP DOI BibTeX RDF	deterministic fault injection, software testing method, state-based models
2	Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg	Slicing of State-Based Models.	ICSM	2003	DBLP DOI BibTeX RDF
2	Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev	Synthesizing Petri nets from state-based models.	ICCAD	1995	DBLP DOI BibTeX RDF	Petri nets, Synthesis, Finite State Machines, Asynchronous Circuits, Transition Systems
1	Kirill Bogdanov, Neil Walkinshaw	Computing the Structural Difference between State-Based Models.	WCRE	2009	DBLP DOI BibTeX RDF
1	Kai Lampka, Simon Perathoner, Lothar Thiele	Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems.	EMSOFT	2009	DBLP DOI BibTeX RDF	performance analysis, timed automata, hard real-time systems, real-time calculus
1	Sujit Kumar Chakrabarti, Srihari Sukumaran	Using spreadsheets for finite state modelling.	ISEC	2009	DBLP DOI BibTeX RDF	finite state machines, spreadsheets, sal
1	Petros Kefalas, Ioanna Stamatopoulou, George Eleftherakis, Marian Gheorghe	Transforming State-Based Models to P Systems Models in Practice.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
1	Tao Zheng, C. Murray Woodside, Marin Litoiu	Performance Model Estimation and Tracking Using Optimal Filters.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Parameter tracking, Measurement, Performance model, Kalman filtering, Modeling techniques
1	Wolfram Büttner	Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity.	ABZ	2008	DBLP DOI BibTeX RDF	Formal Verification, Design Process, Abstract State Machine
1	Farhad Arbab, Sun Meng	Synthesis of Connectors from Scenario-Based Interaction Specifications.	CBSE	2008	DBLP DOI BibTeX RDF	Scenario-based Specification, UML, Synthesis, Connector, Reo, Constraint Automata
1	Carlo Zaniolo	Time Versus Standards: A Tale of Temporal Databases.	ER Workshops	2008	DBLP DOI BibTeX RDF
1	Shahar Maoz	Model-Based Traces.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
1	Jing Liu, Josh Dehlinger, Hongyu Sun, Robyn R. Lutz	State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines.	ECBS	2007	DBLP DOI BibTeX RDF
1	Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele	Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.	RTSS	2007	DBLP DOI BibTeX RDF
1	Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin	Reverse Engineering State Machines by Interactive Grammar Inference.	WCRE	2007	DBLP DOI BibTeX RDF
1	Chafika Chettaoui, Franck Delaplace, Pierre Lescanne, Mun'delanji Vestergaard, René Vestergaard	Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation.	CMSB	2006	DBLP DOI BibTeX RDF
1	Hongzhi Liang, Jürgen Dingel, Zinovy Diskin	A comparative survey of scenario-based to state-based model synthesis approaches.	SCESM	2006	DBLP DOI BibTeX RDF	model, UML, petri nets, synthesis, scenario, SDL, state machines, MSC
1	Swapna S. Gokhale, Kishor S. Trivedi	Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework.	IEEE Transactions on Reliability	2006	DBLP DOI BibTeX RDF
1	Charles Pecheur, Franco Raimondi	Symbolic Model Checking of Logics with Actions.	MoChArt	2006	DBLP DOI BibTeX RDF
1	Michael von der Beeck	A Formal Semantics of UML-RT.	MoDELS	2006	DBLP DOI BibTeX RDF
1	Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner	Reconciling scenario-centered controller design with state-based system models.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
1	Bogdan Korel, Luay Ho Tahat, Mark Harman	Test Prioritization Using System Models.	ICSM	2005	DBLP DOI BibTeX RDF
1	Gaëlle Largeteau, Dominique Geniet, Eric Andres	Discrete Geometry Applied in Hard Real-Time Systems Validation.	DGCI	2005	DBLP DOI BibTeX RDF	operational validation, Real-time, multiprocessors, geometrical modeling, resource sharing
1	Martin Mutz	Metriken und Regeln für eine zustandsbasierte SW-Entwicklung im Automobilbereich.	Inform., Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	Modelling guidelines, Rule checker, UML, Software metrics, Statecharts, Automotive
1	Bogdan Korel, Luay Ho Tahat	Understanding Modifications in State-Based Models.	IWPC	2004	DBLP DOI BibTeX RDF
1	William H. Allen, Gerald A. Marin	MAGNA: Modeling And Generating Network Attacks.	LCN	2004	DBLP DOI BibTeX RDF	computer attacks, intrusion detection
1	Jon M. Pearce, Steve Howard	Designing for Flow in a Complex Activity.	APCHI	2004	DBLP DOI BibTeX RDF
1	M. Lanus, Liang Yin, Kishor S. Trivedi	Hierarchical composition and aggregation of state-based availability and performability models.	IEEE Transactions on Reliability	2003	DBLP DOI BibTeX RDF
1	Ralf König	State-Based Modeling Method for Multiagent Conversation Protocols and Decision Activities.	Agent Technologies, Infrastructures, Tools, and Applications for E-Services	2002	DBLP DOI BibTeX RDF	multiagent communication, decision activity, conversation specification, conversation
1	Nancy A. Day, Mark Aagaard, Byron Cook	Combining Stream-Based and State-Based Verification Techniques.	FMCAD	2000	DBLP DOI BibTeX RDF
1	Michael Young, David L. Levine, Richard N. Taylor	Comments on ``Temporal Logic-Based Deadlock Analysis for Ada''.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models