Search results for "state-charts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Paula J. Pingree, Erich Mikk	The HiVy Tool Set.	CAV	2004	DBLP DOI BibTeX RDF	model checking, translation, Spin, state-charts, Stateflow
48	Hung Ledang, Jeanine Souquières	Contributions for Modelling UML State-Charts in B.	IFM	2002	DBLP DOI BibTeX RDF	class operation, B abstract machine, B operation, UML, event, activity, B method, state-chart
37	Doron Drusinsky-Yoresh	A state assignment procedure for single-block implementation of state charts.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
32	Lihua Xu, Scott A. Hendrickson, Eric Hettwer, Hadar Ziv, André van der Hoek, Debra J. Richardson	Towards supporting the architecture design process through evaluation of design alternatives.	ROSATEA	2006	DBLP DOI BibTeX RDF	simulation, analysis, non-functional requirements, software architecture design, state charts, aspect-oriented design
32	Richard J. Botting	Small Errors in "Toward Formalizing Domain Modeling Semantics in Language Syntax'.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	UML, semantics, state charts
32	Peter Fröhlich 0001, Johannes Link	Automated Test Case Generation from Dynamic Models.	ECOOP	2000	DBLP DOI BibTeX RDF
31	Jan Magott, Pawel Skrobanek	Partially automatic generation of fault-trees with time dependencies.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
30	Klaus Buchenrieder, Christian Veith	A prototyping environment for control-oriented HW/SW systems using state-charts, activity-charts and FPGA's.	EURO-DAC	1994	DBLP DOI BibTeX RDF
28	Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia	Detecting Design Flaws in UML State Charts for Embedded Software.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
23	Fulvio Corno, Muhammad Sanaullah	Formal Verification of Device State Chart Models.	Intelligent Environments	2011	DBLP DOI BibTeX RDF	Model Checking, Formal Verification, Smart Home, Intelligent Environment, State Charts
23	Jirí Hýsek, Milan Ceska 0001, Vladimír Janousek	Model-Based Design and Verification of Reactive Systems.	EUROCAST	2009	DBLP DOI BibTeX RDF	formal verification, reactive systems, model-based design, state charts
23	Edzard Höfig, Hakan Coskun	Intrinsic Monitoring Using Behaviour Models in IPv6 Networks.	MACE	2009	DBLP DOI BibTeX RDF	Intrinsic Monitoring, IPv6 Extension Headers, Network Management, IPv6, Autonomic Communication, Behaviour Model, State Charts
23	Ralph-Johan Back, Johannes Eriksson, Magnus Myreen	Testing and Verifying Invariant Based Programs in the SOCOS Environment.	TAP	2007	DBLP DOI BibTeX RDF	Invariant based programming, static program verification, state charts, verification conditions
23	Joachim Fischer, Eckhardt Holz, Birger Møller-Pedersen	Structural and Behavioral Decomposition in Object Oriented Models.	ISORC	2000	DBLP DOI BibTeX RDF	distributed systems, object-orientation, composition, aggregation, concurrent systems, state charts
22	Mohammad Zulkernine, Mathew Graves, Muhammad Umair Ahmed Khan	Integrating software specifications into intrusion detection.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Software specification languages, Intrusion detection, State machines, Attack scenarios
21	Jan Miksatko, Michael Kipp	Hybrid Control for Embodied Agents Applications.	KI	2009	DBLP DOI BibTeX RDF
19	Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel	Revisiting Statechart Synthesis with an Algebraic Approach.	ICSE	2004	DBLP DOI BibTeX RDF
18	Felix Breitenecker, Nikolas Popper	Structure of Simulation Systems for Structural-Dynamic Systems.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
18	Leila Ribeiro 0001, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes	Model Transformation Using Graph Transactions.	ICSR	2009	DBLP DOI BibTeX RDF
18	Sita Ramakrishnan	VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile.	FATES	2003	DBLP DOI BibTeX RDF
17	Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler	Formal verification and validation of run-to-completion style state charts using Event-B.	Innov. Syst. Softw. Eng.	2022	DBLP DOI BibTeX RDF
17	David Wille, Sandro Schulze, Ina Schaefer	Variability mining of state charts.	FOSD	2016	DBLP DOI BibTeX RDF
17	Paul Muntean, Adnan Rabbi, Andreas Ibing, Claudia Eckert 0001	Automated Detection of Information Flow Vulnerabilities in UML State Charts and C Code.	QRS Companion	2015	DBLP DOI BibTeX RDF
17	Dennis Stampfer, Christian Schlegel	Dynamic State Charts: composition and coordination of complex robot behavior and reuse of action plots.	Intell. Serv. Robotics	2014	DBLP DOI BibTeX RDF
17	Georg Hinkel, Thomas Goldschmidt, Lucia Happe	An NMF solution for the Petri Nets to State Charts case study at the TTC 2013.	TTC	2013	DBLP DOI BibTeX RDF
17	Pankaj Vyas, R. K. Mittal	Hazard analysis of Unified Modelling Language sequence and state charts using software fault tree analysis.	Int. J. Crit. Comput. Based Syst.	2013	DBLP DOI BibTeX RDF
17	Daniel Mauser, Alexander Klaus, Konstantin Holl	Towards a GUI Test Model Using State Charts and Programming Code.	ICTSS	2013	DBLP DOI BibTeX RDF
17	Dennis Stampfer, Christian Schlegel	Dynamic state charts: Composition and coordination of complex robot behavior and reuse of action plots.	TePRA	2013	DBLP DOI BibTeX RDF
17	Rainer Findenig, Thomas Leitner, Wolfgang Ecker	Transaction-Level Modeling and Refinement Using State Charts.	EUROCAST (1)	2013	DBLP DOI BibTeX RDF
17	Jan Magott, Pawel Skrobanek	Timing analysis of safety properties using fault trees with time dependencies and timed state-charts.	Reliab. Eng. Syst. Saf.	2012	DBLP DOI BibTeX RDF
17	Ranjita Kumari Swain, Prafulla Kumar Behera, Durga Prasad Mohapatra	Minimal TestCase Generation for Object-Oriented Software with State Charts	CoRR	2012	DBLP BibTeX RDF
17	Rainer Findenig, Thomas Leitner, Wolfgang Ecker	Single-source hardware modeling of different abstraction levels with State Charts.	HLDVT	2012	DBLP DOI BibTeX RDF
17	Martín Ochoa, Jan Jürjens, Jorge Cuéllar	Non-interference on UML State-Charts.	TOOLS (50)	2012	DBLP DOI BibTeX RDF
17	Gregor Mehlmann, Birgit Endrass, Elisabeth André	Modeling parallel state charts for multithreaded multimodal dialogues.	ICMI	2011	DBLP DOI BibTeX RDF
17	Sebastian Feuerstack, Mauro dos Santos Anjo, Jessica Colnago, Ednaldo Brigante Pizzolato	Modeling of user interfaces with state-charts to accelerate test and evaluation of different gesture-based multimodal interactions.	GI-Jahrestagung	2011	DBLP BibTeX RDF
17	Valentin Chimisliu, Franz Wotawa	Abstracting timing information in UML state charts via temporal ordering and LOTOS.	AST	2011	DBLP DOI BibTeX RDF
17	Christian Schwarzl, Bernhard Peischl	Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems.	QSIC	2010	DBLP DOI BibTeX RDF
17	Armin Zimmermann, Jan Trowitzsch	Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation.	MBEES	2009	DBLP BibTeX RDF
17	Pablo Sánchez 0002, Dominik Stein, Stefan Hanenberg	State charts as an intermediate representation of JPDDs which help developers to map them to executable artifacts.	AOM@AOSD	2008	DBLP DOI BibTeX RDF
17	Patrick M. Sain, Ying Shang, Michael K. Sain	Reachability analysis for N-squared state charts over a Boolean semiring applied to a hysteretic discrete event structural control model.	ACC	2005	DBLP DOI BibTeX RDF
17	Olga Fengler, Wolfgang Fengler 0001, Vesselka Duridanova	Modeling of Complex Automation Systems using Colored State Charts.	ICRA	2002	DBLP DOI BibTeX RDF
17	Luca Pazzi	Explicit Aspect Composition by Part-Whole State Charts.	ECOOP Workshops	1999	DBLP BibTeX RDF
17	Dirk Wodtke, Gerhard Weikum	A Formal Foundation for Distributed Workflow Execution Based on State Charts.	ICDT	1997	DBLP DOI BibTeX RDF
17	Jürgen Ebert	Efficient Interpretation of State Charts.	FCT	1993	DBLP DOI BibTeX RDF
17	Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg	Slicing of State-Based Models.	ICSM	2003	DBLP DOI BibTeX RDF
14	Markus Stumptner, Michael Schrefl	Behavior Consistent Inheritance in UML.	ER	2000	DBLP DOI BibTeX RDF
13	Luís Gomes 0001, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho	Towards usage of formal methods within embedded systems co-design.	ETFA	2005	DBLP DOI BibTeX RDF
11	Nasreddine Aoumeur, Gunter Saake	A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS.	UNISCON	2008	DBLP DOI BibTeX RDF	Architectural connectors, Distributed IS, Evolution and Adaptability, UML, Rewriting logic
11	Fevzi Belli, Axel Hollmann	Test generation and minimization with "basic" statecharts.	SAC	2008	DBLP DOI BibTeX RDF	fault modeling, statecharts, test case generation, test coverage, test optimization
11	Philipp Graf, Klaus D. Müller-Glaser	Dynamic Mapping of Runtime Information Models for Debugging Embedded Software.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
11	Gábor Huszerl, István Majzik	Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts.	EUROMICRO	2001	DBLP DOI BibTeX RDF
11	Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan	Automated Software Engineering Using Concurrent Class Machines.	ASE	2001	DBLP DOI BibTeX RDF
11	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
10	Adrien Guillon, Deborah Loach	YetiSim: a C++ simulation library with execution graphs instead of coroutines.	SpringSim	2008	DBLP DOI BibTeX RDF	execution graph, threading building blocks, UML, C++, coroutines
10	Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parízek, Frantisek Plásil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma 0001	CoCoME in Fractal.	CoCoME	2007	DBLP DOI BibTeX RDF
10	Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plásil, Tomás Poch, Ondrej Sery, Petr Tuma 0001	CoCoME in SOFA.	CoCoME	2007	DBLP DOI BibTeX RDF
10	Ashley T. McNeile, Ella E. Roubtsova	Protocol Modelling Semantics for Embedded Systems.	SIES	2007	DBLP DOI BibTeX RDF
10	Andrew David Eisenberg, Gregor Kiczales	A simple edit-time metaobject protocol: controlling the display of metadata in programs.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	metadata, annotations, metaobject protocol
10	Ankur Agarwal, Saeed Rajput, Abhijit S. Pandya	Power Management System for Embedded RTOS: An Object Oriented Approach.	CCECE	2006	DBLP DOI BibTeX RDF
10	Nawal Addouche, Christian Antoine, Jacky Montmain	UML models for dependability analysis of real-time systems.	SMC (6)	2004	DBLP DOI BibTeX RDF
10	Kay Schröter, Diemo Urbig	C-IPS: Specifying Decision Interdependencies in Negotiations.	MATES	2004	DBLP DOI BibTeX RDF
10	Mikael Berndtsson, Bengt Calestam	Graphical notations for active rules in UML and UML-A.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF
10	Dirk Ohst, Michael Welle, Udo Kelter	Difference Tools for Analysis and Design Documents.	ICSM	2003	DBLP DOI BibTeX RDF	fine-grained data model, design transaction, configuration, versions, software engineering environments, UML diagrams, differences, meta CASE
10	Paolo Ballarini, Simona Bernardi 0001, Susanna Donatelli	Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.	DSN	2002	DBLP DOI BibTeX RDF
10	Oliver Obst	Specifying Rational Agents with Statecharts and Utility Functions.	RoboCup	2001	DBLP DOI BibTeX RDF
10	Paulo G. Costa, Armando Sousa, Paulo Marques, Pedro Costa 0001, Susana Gaio, António Paulo Moreira	5dpo Team Description.	RoboCup	2001	DBLP DOI BibTeX RDF
10	Graham McLeod, Terry A. Halpin, Hannu Kangassalo, Keng Siau	Unified Modeling Language (UML): A Critical Evaluation and Suggested Future - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
10	Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano	Super Actors for Real Time.	WORDS	2001	DBLP DOI BibTeX RDF
10	James Odell, H. Van Dyke Parunak, Bernhard Bauer	Representing Agent Interaction Protocols in UML.	AOSE	2000	DBLP DOI BibTeX RDF
10	Johan Lilius, Ivan Paltor	vUML: A Tool for Verifying UML Models.	ASE	1999	DBLP DOI BibTeX RDF
10	Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev	Coupling Asynchrony and Interrupts: Place Chart Nets.	ICATPN	1997	DBLP DOI BibTeX RDF