|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 63 occurrences of 41 keywords
|
|
|
Results
Found 67 publication records. Showing 67 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
176 | Jun Sun 0001, Jin Song Dong |
Model Checking Live Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 529-538, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, pp. 230-246, 2006, Springer, 3-540-33093-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 219-233, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 5(2), pp. 223-234, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pillars of Computer Science ![In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pp. 351-366, 2008, Springer, 978-3-540-78126-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
77 | David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli |
Smart play-out. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 68-69, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSCS ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
66 | Fang He, Rong Qu |
A Constraint-directed Local Search Approach to Nurse Rostering Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSCS ![In: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., pp. 69-80, 2009. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSCS ![In: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., pp. 97-111, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
66 | David Pereira, Inês Lynce, Steven D. Prestwich |
On Improving Local Search for Unsatisfiability ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSCS ![In: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., pp. 41-53, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
66 | Jun He 0001, Pierre Flener, Justin Pearson |
Toward an automaton Constraint for Local Search ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSCS ![In: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., pp. 13-25, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
66 | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
Integrating Conflict Driven Clause Learning to Local Search ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSCS ![In: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., pp. 55-68, 2009. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSCS ![In: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., pp. 27-40, 2009. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSCS ![In: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., pp. 5-11, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
66 | Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet |
Sonet Network Design Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSCS ![In: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., pp. 81-95, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 465-468, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 494-516, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
59 | Yoram Atir, David Harel |
Using LSCs for scenario authoring in tactical simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 437-442, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 183-194, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 119-126, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | David Harel |
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 3-4, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
49 | David Harel, Hillel Kugler |
Synthesizing State-Based Object Systems from LSC Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers, pp. 1-33, 2000, Springer, 3-540-42491-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Shahar Maoz, David Harel |
From multi-modal scenarios to code: compiling LSCs into aspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006, pp. 219-230, 2006, ACM, 1-59593-468-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scenarios: Models, Transformations and Tools ![In: Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, pp. 26-42, 2003, Springer, 3-540-26189-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
48 | David Harel, Rami Marelly |
Playing with Time: On the Specification and Execution of Time-Enriched LSCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 10th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), 11-16 October 2002, Fort Worth, Texas, USA, pp. 193-202, 2002, IEEE Computer Society, 0-7695-1840-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(2), pp. 157-175, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(7), pp. 467-485, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 2(2), pp. 82-107, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(4), pp. 567-583, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings, pp. 456-467, 2009, Springer, 978-3-642-00381-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | David Lo 0001, Shahar Maoz |
Specification mining of symbolic scenario-based models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008, pp. 29-35, 2008, ACM, 978-1-60558-382-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Claudia Täubner, Brigitte Mathiak, Silke Eckstein |
Modeling and Management of Signal Transduction Pathways with Live Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: Workshops Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), October 28-31, 2007, Omaha, Nebraska, USA, pp. 119-126, 2007, IEEE Computer Society, 0-7695-3033-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Werner Damm, Tobe Toben, Bernd Westphal |
On the Expressive Power of Live Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Analysis and Compilation ![In: Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, pp. 225-246, 2006, Springer, 978-3-540-71315-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Cory Plock, Benjamin Goldberg, Lenore D. Zuck |
From Requirements to Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA, pp. 183-190, 2005, IEEE Computer Society, 0-7695-2308-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 414-428, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers, pp. 236-241, 2004, Springer, 3-540-25375-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | David Harel, Hillel Kugler, Amir Pnueli |
Smart Play-Out Extended: Time and Forbidden Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany, pp. 2-10, 2004, IEEE Computer Society, 0-7695-2207-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Juliana Küster Filipe |
Giving Life to Agent Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Objects, Agents, and Features ![In: Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers, pp. 98-116, 2003, Springer, 3-540-21989-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Jürgen Ruf, Thomas Kropf, Jochen Klose |
A Visual Approach to Validating System Level Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), October 2-4, 2002, Kyoto, Japan, pp. 186-191, 2002, ACM / IEEE Computer Society, 1-58113-576-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
sequence charts, simulation, validation methodology |
33 | Jochen Klose, Hartmut Wittke |
An Automata Based Interpretation of Live Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 512-527, 2001, Springer, 3-540-41865-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Shahar Maoz, David Harel, Asaf Kleinbort |
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 20(4), pp. 18:1-18:41, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Sven Patzina, Lars Patzina, Andy Schürr |
Extending LSCs for Behavioral Signature Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: Future Challenges in Security and Privacy for Academia and Industry - 26th IFIP TC 11 International Information Security Conference, SEC 2011, Lucerne, Switzerland, June 7-9, 2011. Proceedings, pp. 293-304, 2011, Springer, 978-3-642-21423-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Shahar Maoz, Jani Metsä, Mika Katara |
Model-Based Testing Using LSCs and S2A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 301-306, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 149-164, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | David Harel |
Come, let's play - scenario-based programming using LSCs and the play-engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
32 | David Harel, Rami Marelly |
Come, Let's Play, Scenario-Based Programming Using LSCs and the Play-Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
DOI RDF |
|
32 | Werner Damm, David Harel |
LSCs: Breathing Life into Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 19(1), pp. 45-80, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Werner Damm, David Harel |
LSCs: Breathing Life into Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy, 1999, Kluwer, 0-7923-8429-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
16 | Dirk Fahland |
Oclets - Scenario-Based Modeling with Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings, pp. 223-242, 2009, Springer, 978-3-642-02423-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Petri nets, scenarios, operational semantics, partial order |
16 | Hillel Kugler, Cory Plock, Amir Pnueli |
Controller Synthesis from LSC Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 79-93, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Christoph Knieke, Michaela Huhn, Malte Lochau |
Modeling and Validation of Executable Requirements Using Live Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic, pp. 51-58, 2008, IEEE Computer Society, 978-0-7695-3302-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 801-802, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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, . ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 485-499, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | David Harel, Asaf Kleinbort, Shahar Maoz |
S2A: A Compiler for Multi-modal UML Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 121-124, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind |
Live sequence charts applied to hardware requirements specification and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(4), pp. 341-350, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, pp. 435-449, 2005, Springer, 3-540-29797-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Software and Systems Modeling ![In: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, pp. 309-324, 2005, Springer, 3-540-24936-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings, pp. 50-62, 2005, Springer, 3-540-30881-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps |
Temporal Logic for Scenario-Based Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 445-460, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary |
Symbolic Execution of Behavioral Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings, pp. 178-192, 2004, Springer, 3-540-22253-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled |
Specifying and Verifying Partial Order Properties Using Template MSCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 195-210, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Alessandra Cavarra, Juliana Küster Filipe |
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings, pp. 62-77, 2004, Springer, 3-540-22094-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Dan Barak, David Harel, Rami Marelly |
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 66-86, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | David Harel |
A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings, pp. 2, 2003, Springer, 3-540-00913-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Rami Marelly, David Harel, Hillel Kugler |
Multiple instances and symbolic variables in executable sequence charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002., pp. 83-100, 2002, ACM, 1-58113-471-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | David Harel |
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings, pp. 30-31, 2002, Springer, 3-540-44307-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Werner Damm, Bernd Westphal |
Live and Let Die: LSC-Based Verification of UML-Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, pp. 99-135, 2002, Springer, 3-540-20303-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #67 of 67 (100 per page; Change: )
|
|