|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 50 occurrences of 30 keywords
|
|
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten |
Connectors as designs: Modeling, refinement and test case generation.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Farhad Arbab, Christel Baier |
Synthesis of Reo circuits from scenario-based interaction specifications. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Soares Barbosa, Sun Meng |
Bringing class diagrams to life. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Bernhard Schätz |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Farhad Arbab |
A Model for Web Service Coordination in Long-Running Transactions. |
SOSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Luís Soares Barbosa |
Towards the introduction of QoS information in a component model. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
QoS properties, component-based design, coalgebra |
| 1 | Luís Soares Barbosa, Sun Meng |
QoS-aware Component Composition. |
CISIS |
2010 |
DBLP DOI BibTeX RDF |
QoS, Component, Composition, Coalgebra |
| 1 | Sun Meng, Farhad Arbab |
Connectors as Designs. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Sun Meng, Christel Baier |
Synthesis of Reo Circuits from Scenario-based Specifications. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Farhad Arbab |
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng |
A First Step towards Security Policy Compliance of Connectors. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef |
From Coordination to Stochastic Models of QoS. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
Performance evaluation, Markov Chains, Coordination language, Reo |
| 1 | Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten |
Fault-Based Test Case Generation for Component Connectors. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu |
Reo2MC: a tool chain for performance analysis of coordination models. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
performance analysis, markov chain, coordination model, reo |
| 1 | Sun Meng, Farhad Arbab |
QoS-driven service selection and composition. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Soares Barbosa, Sun Meng |
UML Model Refactoring as Refinement: A Coalgebraic Perspective. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Sun Meng |
Synthesis of Connectors from Scenario-Based Interaction Specifications. |
CBSE |
2008 |
DBLP DOI BibTeX RDF |
Scenario-based Specification, UML, Synthesis, Connector, Reo, Constraint Automata |
| 1 | Sun Meng, Luís Soares Barbosa |
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
UML, Algebra, Sequence diagram, Coalgebra |
| 1 | Farhad Arbab, Natallia Kokash, Sun Meng |
Towards Using Reo for Compliance-Aware Business Process Modeling. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Farhad Arbab |
On Resource-Sensitive Timed Component Connectors. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
Resource-Sensitive Timed Constraint Automata, Simulation, Coordination, Constraint Automata |
| 1 | Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon |
Component Connectors with QoS Guarantees. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
Quantitative Constraint Automata, Quality of Service, Coordination, Composition, Reo |
| 1 | Sun Meng, Farhad Arbab |
Web services choreography and orchestration in Reo and constraint automata. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
web services, orchestration, choreography, Reo, constraint automata |
| 1 | Sun Meng |
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
Q-algebra, QCCS, Quantified Bisimulation, QCTL, Quality of Service |
| 1 | Sun Meng, Zhang Naixiao |
On Composition and Refinement of Domain-Specific Languages in the Model of Language Family. |
Software Engineering Research and Practice |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sun Meng, Luís Soares Barbosa |
Components as coalgebras: The refinement dimension. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao |
A Coalgebraic Semantic Framework for Component-based Development in UML. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Luís Soares Barbosa, Zhang Naixiao |
On Refinement of Software Architectures. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
software architecture, refinement, Software component, coalgebra |
| 1 | Sun Meng, Bernhard K. Aichernig, Zhang Naixiao |
Coalgebraic Component Specification and Verification in RSL. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
renunciation, group decision-makin, non-structural system |
| 1 | Sun Meng, Zhang Naixiao, Luís Soares Barbosa |
On Semantics and Refinement of UML Statecharts: A Coalgebraic View. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
Semantics, Refinement, Statechart, Coalgebra |
| 1 | Sun Meng, Luís Soares Barbosa |
On Refinement of Generic State-Based Software Components. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
coalgebraic models, Components, refinement |
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")