Search results for "mu-Charts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Kosuke Araki, Tetsuya Watanabe	Comparison of reading accuracy between tactile pie charts and tactile band charts.	ASSETS	2013	DBLP DOI BibTeX RDF
26	Tsuneaki Kato, Mitsunori Matsushita, Eisaku Maeda	Answering it with Charts: Dialogue in Natural Language and Charts.	COLING	2002	DBLP BibTeX RDF
26	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
25	Saturnino Luz, Masood Masoodian, Daniel McKenzie, Wim Vanden Broeck	Chronos: A Tool for Interactive Scheduling and Visualisation of Task Hierarchies.	IV	2009	DBLP DOI BibTeX RDF
25	Georg Sander	ILOG Elixir.	GD	2008	DBLP DOI BibTeX RDF
25	Kapil Bhattad, Krishna R. Narayanan	An MSE-Based Transfer Chart for Analyzing Iterative Decoding Schemes Using a Gaussian Approximation.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
25	Ankit Goel, Abhik Roychoudhury	Synthesis and Traceability of Scenario-Based Executable Models.	ISoLA	2006	DBLP DOI BibTeX RDF
25	Jan Magott, Pawel Skrobanek	Partially automatic generation of fault-trees with time dependencies.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
25	Andre Suslik Spritzer, Carla Maria Dal Sasso Freitas	A visual tool to support technical analysis of stock market data.	AVI	2006	DBLP DOI BibTeX RDF	information visualization, stock market, technical analysis
25	Stefan Biffl, Bettina Thurnher, G. Goluch, Dietmar Winkler 0001, Wolfgang Aigner, Silvia Miksch	An empirical investigation on the visualization of temporal uncertainties in software engineering project planning.	ISESE	2005	DBLP DOI BibTeX RDF
25	Yu-ming Liu, Jun Liang, Ji-Xin Qian	Moving blocks bootstrap control chart for dependent multivariate data.	SMC (6)	2004	DBLP DOI BibTeX RDF
25	Gladys Castillo, João Gama 0001, Pedro Medas	Adaptation to Drifting Concepts.	EPIA	2003	DBLP DOI BibTeX RDF
25	Benedikt Bollig, Martin Leucker, Philipp Lucas 0001	Extending Compositional Message Sequence Graphs.	LPAR	2002	DBLP DOI BibTeX RDF
25	Grant Anderson, Greg Reeve, Steve Reeves	Idioms for mu-Chart.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
25	Ingo Redeke	Image & Graphic Reader.	ICIP (1)	2001	DBLP DOI BibTeX RDF
25	Pedro V. Sander, John M. Snyder, Steven J. Gortler, Hugues Hoppe	Texture mapping progressive meshes.	SIGGRAPH	2001	DBLP DOI BibTeX RDF	surface flattening, texture stretch, mesh simplification, surface parametrization
25	David Harel, Hillel Kugler	Synthesizing State-Based Object Systems from LSC Specifications.	CIAA	2000	DBLP DOI BibTeX RDF
25	Peter Fröhlich 0001, Johannes Link	Automated Test Case Generation from Dynamic Models.	ECOOP	2000	DBLP DOI BibTeX RDF
25	Nathan Charles, Colin Runciman	An Interactive Approach to Profiling Parallel Functional Programs.	IFL	1998	DBLP DOI BibTeX RDF
25	Tiziana Catarci, Isabel F. Cruz	Information Visualization, Guest Editors' Foreword.	SIGMOD Rec.	1996	DBLP DOI BibTeX RDF
25	Edward A. Bender, Jon T. Butler	Enumeration of Structured Flowcharts	J. ACM	1985	DBLP DOI BibTeX RDF
25	Michael V. Doran, Victor J. Law	Structured programming environments (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
24	Tuan-Anh Doan, David Lo 0001, Shahar Maoz, Siau-Cheng Khoo	LM: a miner for scenario-based specifications.	ICSE (2)	2010	DBLP DOI BibTeX RDF	tool, live sequence charts, specification mining
24	David Lo 0001, Shahar Maoz	Mining scenario-based specifications with value-based invariants.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	value-based invariants, live sequence charts, specification mining
24	J. A. Vazquez-Lopez, Ismael López-Juárez	SPC without Control Limits and Normality Assumption: A New Method.	CIARP	2009	DBLP DOI BibTeX RDF	Neural Networks, Pattern Recognition, Control Charts
24	Craig Henderson	Managing software defects: defect analysis and traceability.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	radial charts, software builds, metrics, software quality, bugs, defect analysis, defect management
24	Lei Ju 0001, Abhik Roychoudhury, Samarjit Chakraborty	Schedulability Analysis of MSC-based System Models.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Message Sequence Charts / Graphs, Schedulability analysis
24	Christoph Knieke, Michaela Huhn, Malte Lochau	Modeling and Validation of Executable Requirements Using Live Activity Diagrams.	SERA	2008	DBLP DOI BibTeX RDF	Unified Modeling Language, Requirements Engineering, Model Driven Engineering, Activity Diagrams, Live Sequence Charts
24	Christoph Knieke, Michaela Huhn, Malte Lochau	Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.	TASE	2008	DBLP DOI BibTeX RDF	Unified Modeling Language, Requirements Engineering, Activity Diagrams, Live Sequence Charts
24	Lei Feng 0002, Walter Murray Wonham, P. S. Thiagarajan	Designing communicating transaction processes by supervisory control theory.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Communicating transaction processes, Discrete-event systems, Supervisory control, Message sequence charts
24	Hillel Kugler, Cory Plock, Amir Pnueli	Synthesizing reactive systems from LSC requirements using the play-engine.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	reactive systems, live sequence charts, controller synthesis
24	David Lo 0001, Shahar Maoz, Siau-Cheng Khoo	Mining modal scenarios from execution traces.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	live sequence charts, specification mining, UML sequence diagrams
24	Christopher M. Gold, Rafal Goralski	3D Graphics Applied to Maritime Safety.	IF&GIS	2007	DBLP DOI BibTeX RDF	Marine GIS, Maritime Safety, ECDIS, ENC, Marine Charts, Voronoi Diagram, AIS, 3D Visualization, Kinetic Data Structures
24	David Lo 0001, Shahar Maoz, Siau-Cheng Khoo	Mining modal scenario-based specifications from execution traces of reactive systems.	ASE	2007	DBLP DOI BibTeX RDF	dynamic analysis, live sequence charts, specification mining, UML sequence diagrams
24	Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè	Iterative model-driven development of adaptable service-based applications.	ASE	2007	DBLP DOI BibTeX RDF	visual languages, graph transformations, service integration, live sequence charts, automated analysis
24	Jun Sun 0001, Jin Song Dong	Design Synthesis from Interaction and State-Based Specifications.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	specification, synthesis, live sequence charts, Z language
24	Christophe Damas, Bernard Lambeau, Axel van Lamsweerde	Scenarios, goals, and state machines: a win-win partnership for model synthesis.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	scenario-based elicitation, synthesis of behavior models, incremental learning, labelled transition systems, message sequence charts, goal-oriented requirements engineering, analysis tools, scenario generation
24	Shahar Maoz, David Harel	From multi-modal scenarios to code: compiling LSCs into aspectJ.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	inter-object approach, aspect oriented programming, code generation, scenarios, live sequence charts, visual formalisms, UML sequence diagrams, scenario-based programming
24	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
24	Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan	Interacting process classes.	ICSE	2006	DBLP DOI BibTeX RDF	unified modeling language (UML), symbolic execution, message sequence charts, active objects
24	Thomas Bauer, Jens Herrmann, Peter Liggesmeyer, Christopher Robinson-Mallett	A flexible integration strategy for in-car telematics systems.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	components, automotive, message sequence charts, integration testing, telematics, test planning
24	Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde	Generating Annotated Behavior Models from End-User Scenarios.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Scenario-based elicitation, synthesis of behavior models, incremental learning, labeled transition systems, model validation, message sequence charts, analysis tools, scenario generation, invariant generation
24	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
24	Ingolf Krüger, Wolfgang Prenninger, Robert Sandner	Broadcast MSCs.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Semantics, Broadcasting, Message sequence charts
24	Jose M. Armingol, Javier Otamendi, Arturo de la Escalera, José Manuel Pastor 0001, Francisco José Rodríguez	Statistical Pattern Modeling in Vision-Based Quality Control Systems.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	quality control charts, steel surfaces, image processing, statistical pattern recognition, automated visual inspection
24	David Harel, Rami Marelly	Specifying and executing behavioral requirements: the play-in/play-out approach.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Live sequence charts (LSCs), System modeling and execution, UML, Testing, Requirements engineering, Scenarios
24	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Synthesis of Behavioral Models from Scenarios.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	scenario-based specification, sequence chart combination, requirements analysis, Requirements specification, Message Sequence Charts
24	Daniel Amyot, Xiangyang He, Yong He, Dae Yong Cho	Generating Scenarios from Use Case Map Specifications.	QSIC	2003	DBLP DOI BibTeX RDF	XML, Validation, Transformations, Scenarios, Message Sequence Charts, Use Case Maps
24	Bart Kienhuis, Ed F. Deprettere, Pieter van der Wolf, Kees A. Vissers	A Methodology to Design Programmable Embedded Systems - The Y-Chart Approach.	Embedded Processor Design Challenges	2002	DBLP DOI BibTeX RDF	Y-chart approach, Architecture Template, Stack of Y-charts, Abstraction Pyramid, Embedded Systems, Design Space Exploration
24	V. S. Phanindra, Mala Murugappan, Gargi Keeni	Process Diagnostics.	COMPSAC	2002	DBLP DOI BibTeX RDF	Process Trends and Control Charts, Process Monitoring
24	Jürgen Ruf, Thomas Kropf, Jochen Klose	A Visual Approach to Validating System Level Designs.	ISSS	2002	DBLP DOI BibTeX RDF	sequence charts, simulation, validation methodology
24	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Detecting implied scenarios in message sequence chart specifications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	FSP, implementability, synthesis, labelled transition systems, message sequence charts, LTSA
24	Patrick Heymans, Eric Dubois 0001	Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements.	Requir. Eng.	1998	DBLP DOI BibTeX RDF	Formal methods, Animation, Scenarios, Message sequence charts
24	Francis Bordeleau, Raymond J. A. Buhr	UCM-ROOM modelling: from use case maps to communicating state machines.	ECBS	1997	DBLP DOI BibTeX RDF	UCM-ROOM modelling, communicating state machines, internal state machines, intercomponent messages, UCM models, message sequence charts, communicating sequential processes, modelling methodology, computer-based systems, use case maps
24	David Harel, Eran Gery	Executable Object Modeling with Statecharts.	ICSE	1996	DBLP BibTeX RDF	O-charts, diagrammatic languages, direct invocation, executable object modeling, hierarchical OMT-like language, integrated set, multiple-thread concurrency, object-oriented programming, C++, software tools, statecharts, object-oriented languages, object-oriented systems, active objects
24	Tai M. Chung, Henry G. Dietz	Language Constructs and Transformation for Hard Real-time Systems.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP DOI BibTeX RDF	timing constraint, hard real-time, CHaRTS, real-time language
24	Ahmet M. Eskicioglu	Application of Multi-Dimensional Quality Measures to Reconstructed Medical Images.	CBMS	1995	DBLP DOI BibTeX RDF	multi-dimensional quality measures, reconstructed medical images, operating costs, digital medical imaging systems, transmission facilities, archival facilities, doctors' offices, standards development, reconstructed image quality, normalized mean squared error, graphical output, Eskicioglu charts, compression losses, data compression, image reconstruction, image coding, medical image processing, quality control, human visual system, hospitals, local features, standardisation, lossy compression, losses, receiver operating characteristic
24	Maurizio Tucci, Giuliana Vitiello, Gennaro Costagliola	Parsing Nonlinear Languages.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	nonlinear language parsing, diagrammatic approach, computer-aided software development toolkits, VLG system, Visual Language Generator, icon-oriented visual languages, syntactical model, nonlinear languages, relation grammars, general parsing algorithm, multidimensional languages, user interfaces, graphical user interfaces, software tools, programming environments, visual programming, visual languages, visual language, parsing, grammars, diagrams, diagrams, graph grammars, rewriting rules, graphical languages, charts, visual programming environments, visual query systems
21	Philippe Moret, Walter Binder, Alex Villazón, Danilo Ansaloni	Exploring large profiles with calling context ring charts.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	calling context profiles, calling context tree (cct), visualization, performance analysis, dynamic metrics
21	Martin Klein 0001, Olena Hunsicker, Michael L. Nelson	Correlation of music charts and search engine rankings.	JCDL	2009	DBLP DOI BibTeX RDF	search engine, correlation, real-world objects
21	Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma	Making Microsoft ExcelTM: multimodal presentation of charts.	ASSETS	2009	DBLP DOI BibTeX RDF	accessible graphs, haptic, assistive technology
21	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Complexity, MSC, Hierarchical specifications
21	Diaa Eldin M. Nassar, Ayman Abaza, Xin Li 0005, Hany H. Ammar	Automatic Construction of Dental Charts for Postmortem Identification.	IEEE Trans. Inf. Forensics Secur.	2008	DBLP DOI BibTeX RDF
21	George Tsaramirsis, Iman Poernomo	Prototype Generation from Ontology Charts.	ITNG	2008	DBLP DOI BibTeX RDF	Ontology Chart, Prototype Generation, Semantic Analysis Toolkit, Semantic Analysis
21	Kamrul Hasan Talukder, Koichi Harada	Message Sequence Charts to Specify the Communicating Threads for Concurrent Discrete Wavelet Transform Based Image Compression and a Verification Analysis.	SNPD	2008	DBLP DOI BibTeX RDF	Verification Analysis, Concurrency, Wavelet Transform, Image Compression, Message Sequence Chart
21	Alessandro Fantechi, Elie Najm	Session Types for Orchestration Charts.	COORDINATION	2008	DBLP DOI BibTeX RDF
21	Abdolmajid Mousavi, Behrouz H. Far	Revisiting Safe Realizability of Message Sequence Charts Specifications.	ICECCS	2008	DBLP DOI BibTeX RDF
21	Claudia Täubner, Brigitte Mathiak, Silke Eckstein	Modeling and Management of Signal Transduction Pathways with Live Sequence Charts.	ICDM Workshops	2007	DBLP DOI BibTeX RDF
21	Hui Peng, Wenli Shang, Haibo Shi, Wei Peng	On-Line Monitoring and Diagnosis of Failures Using Control Charts and Fault Tree Analysis (FTA) Based on Digital Production Model.	KSEM	2007	DBLP DOI BibTeX RDF	Fault tree analysis (FTA), Manufacturing execution system (MES), Statistic process control (SPC), Fault diagnosis, Knowledge base
21	Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar	Local Testing of Message Sequence Charts Is Difficult.	FCT	2007	DBLP DOI BibTeX RDF
21	Edith Elkind, Blaise Genest, Doron A. Peled	Detecting Races in Ensembles of Message Sequence Charts.	TACAS	2007	DBLP DOI BibTeX RDF
21	S. Akshay 0001, Benedikt Bollig, Paul Gastin	Automata and Logics for Timed Message Sequence Charts.	FSTTCS	2007	DBLP DOI BibTeX RDF
21	Stephanie Elzer, Sandra Carberry, Seniz Demir	Communicative Signals as the Key to Automated Understanding of Simple Bar Charts.	Diagrams	2006	DBLP DOI BibTeX RDF
21	Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke	Check It Out: On the Efficient Formal Verification of Live Sequence Charts.	CAV	2006	DBLP DOI BibTeX RDF
21	Connor Upton, Gavin J. Doherty	Designing Usable Charts for ComplexWork Settings.	IV	2006	DBLP DOI BibTeX RDF
21	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
21	Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano	Instantiation Semantics for Message Sequence Charts.	ENC	2006	DBLP DOI BibTeX RDF
21	Bernd Westphal, Tobe Toben	The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts.	FASE	2006	DBLP DOI BibTeX RDF
21	Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens	From Live Sequence Charts to State Machines and Back: A Guided Tour.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Requirements engineering, program verification, life cycle
21	Chien-An Chen, Sara Kalvala, Jane E. Sinclair	A Process-Based Semantics for Message Sequence Charts with Data.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
21	Chien-An Chen, Sara Kalvala, Jane E. Sinclair	Race-free Scenarios of Message Sequence Charts.	APSEC	2005	DBLP DOI BibTeX RDF
21	Egidio Astesiano, Gianna Reggio	From Conditional Specifications to Interaction Charts.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
21	Bikram Sengupta, Rance Cleaveland	Executable Requirements Specifications Using Triggered Message Sequence Charts.	ICDCIT	2005	DBLP DOI BibTeX RDF
21	Pierre Combes, David Harel, Hillel Kugler	Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool.	ATVA	2005	DBLP DOI BibTeX RDF
21	Chien-An Chen, Sara Kalvala, Jane E. Sinclair	Race Conditions in Message Sequence Charts.	APLAS	2005	DBLP DOI BibTeX RDF
21	Blaise Genest, Anca Muscholl	Message Sequence Charts: A Survey.	ACSD	2005	DBLP DOI BibTeX RDF
21	Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert	Semantics of Message Sequence Charts.	SDL Forum	2005	DBLP DOI BibTeX RDF
21	Arnab Ray, Bikram Sengupta, Rance Cleaveland	Secure Requirements Elicitation Through Triggered Message Sequence Charts.	ICDCIT	2004	DBLP DOI BibTeX RDF
21	Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner	Coverage Metrics for Continuous Function Charts.	ISSRE	2004	DBLP DOI BibTeX RDF	mixed continuous-discrete and real-time systems, model-based testing, Integration testing, data flow testing, block diagrams, MC/DC
21	Jouni Viinikka, Hervé Debar	Monitoring IDS Background Noise Using EWMA Control Charts and Alert Information.	RAID	2004	DBLP DOI BibTeX RDF	IDS background noise, alert volume reduction, EWMA
21	Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke	Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
21	Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell	A Unifying Semantics for Sequential Function Charts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
21	Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg	Verification of PLC Programs Given as Sequential Function Charts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	Model Checking, Analysis, Automata, Logic Control
21	Amor Messaoud, Winfried Theis, Claus Weihs, Franz Hering	Application and Use of Multivariate Control Charts in a BTA Deep Hole Drilling Process.	GfKl	2004	DBLP DOI BibTeX RDF
21	Bikram Sengupta, Rance Cleaveland	TRIM: A Tool for Triggered Message Sequence Charts.	CAV	2003	DBLP DOI BibTeX RDF
21	Anca Muscholl, Doron A. Peled	Deciding Properties of Message Sequence Charts.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
21	Blaise Genest, Anca Muscholl, Doron A. Peled	Message Sequence Charts.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
21	Bikram Sengupta, Rance Cleaveland	Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts.	RE	2003	DBLP DOI BibTeX RDF
21	Olaf Kluge	Modelling a Railway Crossing with Message Sequence Charts and Petri Nets.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
21	Rami Marelly, David Harel, Hillel Kugler	Multiple instances and symbolic variables in executable sequence charts.	OOPSLA	2002	DBLP DOI BibTeX RDF