|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1160 occurrences of 734 keywords
|
|
|
Results
Found 2329 publication records. Showing 2329 according to the selection in the facets
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 |
|
Displaying result #101 - #200 of 2329 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|