Search results for "LSCs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
176	Jun Sun 0001, Jin Song Dong	Model Checking Live Sequence Charts.	ICECCS	2005	DBLP DOI BibTeX RDF	Verification, CSP, FDR, LSCs
148	Bernd Westphal, Tobe Toben	The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts.	FASE	2006	DBLP DOI BibTeX RDF
99	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
82	Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel	Toward Verified Biological Models.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	modeling, verification, statecharts, C. elegans
81	David Harel, Shahar Maoz, Itai Segall	Some Results on the Expressive Power and Complexity of LSCs.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
77	David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli	Smart play-out.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	play-out, system modeling and execution, UML, scenarios, object-oriented analysis and design, LSCs
66	Yves Deville, Christine Solnon (eds.)	Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009.	LSCS	2009	DBLP DOI BibTeX RDF
66	Fang He, Rong Qu	A Constraint-directed Local Search Approach to Nurse Rostering Problems	LSCS	2009	DBLP DOI BibTeX RDF
66	Salvador Abreu, Daniel Diaz 0001, Philippe Codognet	Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)	LSCS	2009	DBLP DOI BibTeX RDF
66	David Pereira, Inês Lynce, Steven D. Prestwich	On Improving Local Search for Unsatisfiability	LSCS	2009	DBLP DOI BibTeX RDF
66	Jun He 0001, Pierre Flener, Justin Pearson	Toward an automaton Constraint for Local Search	LSCS	2009	DBLP DOI BibTeX RDF
66	Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais	Integrating Conflict Driven Clause Learning to Local Search	LSCS	2009	DBLP DOI BibTeX RDF
66	Farshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson	Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results	LSCS	2009	DBLP DOI BibTeX RDF
66	Pham Quang Dung, Yves Deville, Pascal Van Hentenryck	A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract)	LSCS	2009	DBLP DOI BibTeX RDF
66	Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet	Sonet Network Design Problems	LSCS	2009	DBLP DOI BibTeX RDF
66	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
65	Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke	Formal Verification of LSCs in the Development Process.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
59	Yoram Atir, David Harel	Using LSCs for scenario authoring in tactical simulators.	SCSC	2007	DBLP BibTeX RDF	live sequence charts (LSCs), scenario authoring, tactical simulators, end-user programming, behavioral specification
49	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	L2C2: logic-based LSC consistency checking.	PPDP	2009	DBLP DOI BibTeX RDF	play-tree, logic programming, memoization, live sequence chart (lsc), scenario-based programming
49	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	Consistency Checking for LSC Specifications.	TASE	2009	DBLP DOI BibTeX RDF
49	David Harel	Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs.	CAV	2006	DBLP DOI BibTeX RDF
49	David Harel, Hillel Kugler	Synthesizing State-Based Object Systems from LSC Specifications.	CIAA	2000	DBLP DOI BibTeX RDF
48	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
48	David Harel, Hillel Kugler, Gera Weiss	Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
48	David Harel, Rami Marelly	Playing with Time: On the Specification and Execution of Time-Enriched LSCs.	MASCOTS	2002	DBLP DOI BibTeX RDF
44	Pierre Combes, David Harel, Hillel Kugler	Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Live sequence charts (LSCs), Verification, Requirements engineering, Telecommunication
44	Dan Barak, David Harel, Rami Marelly	InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	InterPlay, play-engine, intraobject, interobject, transition to design, Modeling methodologies, LSCs, scenario-based programming
44	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
33	Okan Topçu, Mehmet Adak, Halit Oguztüzün	Metamodeling live sequence charts for code generation.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Code generation, Metamodeling, Message sequence charts, Live sequence charts
33	Michal Gordon, David Harel	Generating Executable Scenarios from Natural Language.	CICLing	2009	DBLP DOI BibTeX RDF
33	David Lo 0001, Shahar Maoz	Specification mining of symbolic scenario-based models.	PASTE	2008	DBLP DOI BibTeX RDF
33	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
33	Werner Damm, Tobe Toben, Bernd Westphal	On the Expressive Power of Live Sequence Charts.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
33	Cory Plock, Benjamin Goldberg, Lenore D. Zuck	From Requirements to Specifications.	ECBS	2005	DBLP DOI BibTeX RDF
33	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
33	Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin	Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems.	CMSB	2004	DBLP DOI BibTeX RDF
33	David Harel, Hillel Kugler, Amir Pnueli	Smart Play-Out Extended: Time and Forbidden Elements.	QSIC	2004	DBLP DOI BibTeX RDF
33	Juliana Küster Filipe	Giving Life to Agent Interactions.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
33	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
33	Jochen Klose, Hartmut Wittke	An Automata Based Interpretation of Live Sequence Charts.	TACAS	2001	DBLP DOI BibTeX RDF
32	Shahar Maoz, David Harel, Asaf Kleinbort	A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ.	ACM Trans. Softw. Eng. Methodol.	2011	DBLP DOI BibTeX RDF
32	Sven Patzina, Lars Patzina, Andy Schürr	Extending LSCs for Behavioral Signature Modeling.	SEC	2011	DBLP DOI BibTeX RDF
32	Shahar Maoz, Jani Metsä, Mika Katara	Model-Based Testing Using LSCs and S2A.	MoDELS	2009	DBLP DOI BibTeX RDF
32	Claudia Täubner, Silke Eckstein	Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine.	FBTC@CONCUR	2007	DBLP DOI BibTeX RDF
32	David Harel	Come, let's play - scenario-based programming using LSCs and the play-engine.		2003	RDF
32	David Harel, Rami Marelly	Come, Let's Play, Scenario-Based Programming Using LSCs and the Play-Engine.		2003	DOI RDF
32	Werner Damm, David Harel	LSCs: Breathing Life into Message Sequence Charts.	Formal Methods Syst. Des.	2001	DBLP DOI BibTeX RDF
32	Werner Damm, David Harel	LSCs: Breathing Life into Message Sequence Charts.	FMOODS	1999	DBLP BibTeX RDF
16	Dirk Fahland	Oclets - Scenario-Based Modeling with Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF	Petri nets, scenarios, operational semantics, partial order
16	Hillel Kugler, Cory Plock, Amir Pnueli	Controller Synthesis from LSC Requirements.	FASE	2009	DBLP DOI BibTeX RDF
16	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
16	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
16	David Harel, Itai Segall	Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, .	TACAS	2007	DBLP DOI BibTeX RDF
16	David Harel, Asaf Kleinbort, Shahar Maoz	S2A: A Compiler for Multi-modal UML Sequence Diagrams.	FASE	2007	DBLP DOI BibTeX RDF
16	Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind	Live sequence charts applied to hardware requirements specification and verification.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Protocol compliance, Virtual Component Interface Standard, Formal verification, Specification, Live Sequence Charts
16	Jun Sun 0001, Yuan-Fang Li, Hai H. Wang, Jing Sun 0002	Visualizing and Simulating Semantic Web Services Ontologies.	ICFEM	2005	DBLP DOI BibTeX RDF	Play-Engine, Semantic Web Services, OWL-S, LSC
16	David Harel, Hillel Kugler, Amir Pnueli	Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
16	Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima	A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.	ICESS	2005	DBLP DOI BibTeX RDF
16	Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps	Temporal Logic for Scenario-Based Specifications.	TACAS	2005	DBLP DOI BibTeX RDF
16	Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary	Symbolic Execution of Behavioral Requirements.	PADL	2004	DBLP DOI BibTeX RDF
16	Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled	Specifying and Verifying Partial Order Properties Using Template MSCs.	FoSSaCS	2004	DBLP DOI BibTeX RDF
16	Alessandra Cavarra, Juliana Küster Filipe	Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
16	Dan Barak, David Harel, Rami Marelly	InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
16	David Harel	A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal.	HSCC	2003	DBLP DOI BibTeX RDF
16	Rami Marelly, David Harel, Hillel Kugler	Multiple instances and symbolic variables in executable sequence charts.	OOPSLA	2002	DBLP DOI BibTeX RDF
16	David Harel	Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).	EMSOFT	2002	DBLP DOI BibTeX RDF
16	Werner Damm, Bernd Westphal	Live and Let Die: LSC-Based Verification of UML-Models.	FMCO	2002	DBLP DOI BibTeX RDF