|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bara Buhnova, Lucia Happe, Jan Kofron (eds.) |
Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015.  |
FESCA  |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Jähnig, Thomas Göthel, Sabine Glesner |
A Denotational Semantics for Communicating Unstructured Code. |
FESCA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Cassar, Adrian Francalanza, Simon Said |
Improving Runtime Overheads for detectEr. |
FESCA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasileios Koutsoumpas |
A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems. |
FESCA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Marmsoler, Alexander Malkis, Jonas Eckhardt |
A Model of Layered Architectures. |
FESCA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Hufflen |
Using Model-Checking Techniques for Component-Based Systems with Reconfigurations. |
FESCA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Riener, Rüdiger Ehlers, Görschwin Fey |
Path-Based Program Repair. |
FESCA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Faiz Ul Muram, Huy Tran, Uwe Zdun |
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking. |
FESCA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Lanoix, Olga Kouchnarenko |
Component Substitution through Dynamic Reconfigurations. |
FESCA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar |
Transformation of UML Behavioral Diagrams to Support Software Model Checking. |
FESCA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo 0001, Gordon J. Pace |
Comprehensive Monitor-Oriented Compensation Programming. |
FESCA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Stattelmann, Manuel Oriol, Thomas Gamer |
Execution Time Analysis for Industrial Control Applications. |
FESCA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbora Buhnova, Lucia Happe, Jan Kofron (eds.) |
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. |
FESCA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Couto, António Nestor Ribeiro, José Creissac Campos |
Application of Ontologies in Identifying Requirements Patterns in Use Cases. |
FESCA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Bai 0005, Emmanuel M. Tadjouddine, Yu Guo |
Enabling Automatic Certification of Online Auctions. |
FESCA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux |
Correct-by-construction model composition: Application to the Invasive Software Composition method. |
FESCA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Antinisca Di Marco, Catia Trubiani |
A model-driven approach to broaden the detection of software performance antipatterns at runtime. |
FESCA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt |
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. |
FESCA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Helena Gruhn, Sabine Glesner |
Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks |
FESCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Arcelli, Vittorio Cortellessa |
Software model refactoring based on performance analysis: better working on software or performance side? |
FESCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández, Jeffrey Terrell |
Assembling the Proofs of Ordered Model Transformations |
FESCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Sieverding, Christian Ellen, Peter Battram |
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets |
FESCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbora Buhnova, Lucia Happe, Jan Kofron (eds.) |
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013. |
FESCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo 0001, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace |
Extensible Technology-Agnostic Runtime Verification |
FESCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Olaf Blech |
Towards a Framework for Behavioral Specifications of OSGi Components |
FESCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbora Buhnova, Lucia Kapová Happe, Jan Kofron (eds.) |
Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012 |
FESCA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab |
From Timed Reo Networks to Networks of Timed Automata. |
FESCA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fazle Rabbi 0001, Hao Wang 0003, Wendy MacCaull, Adrian Rutle |
A Model Slicing Method for Workflow Verification. |
FESCA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbora Buhnova, Lucia Kapová Happe, Jan Kofron |
Preface. |
FESCA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Prehofer |
Behavioral Refinement and Compatibility of Statechart Extensions. |
FESCA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius |
Incorporating Formal Techniques into Industrial Practice: an Experience Report. |
FESCA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Chouali, Ahmed Hammad, Hassan Mountassir |
Assembling Components using SysML with Non-Functional Requirements. |
FESCA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Malohlava, Petr Hnetynka, Tomás Bures |
SOFA 2 Component Framework and Its Ecosystem. |
FESCA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Kounev, Christoph Rathfelder, Benjamin Klatt |
Modeling of Event-based Communication in Component-based Architectures: State-of-the-Art and Future Directions. |
FESCA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Cerschi Seceleanu |
A Design Tool for Service-oriented Systems. |
FESCA |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license