|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 21 keywords
|
|
|
Results
Found 139 publication records. Showing 139 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink |
Spatial Logic and Spatial Model Checking for Closure Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, pp. 156-201, 2016, Springer, 978-3-319-34095-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé |
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, pp. 1-35, 2016, Springer, 978-3-319-34095-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Nicolas Gast |
Mean-Field Limits Beyond Ordinary Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, pp. 61-82, 2016, Springer, 978-3-319-34095-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Beal, Mirko Viroli |
Aggregate Programming: From Foundations to Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, pp. 233-260, 2016, Springer, 978-3-319-34095-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vashti Galpin |
Spatial Representations and Analysis Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, pp. 120-155, 2016, Springer, 978-3-319-34095-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Vandin, Mirco Tribastone |
Quantitative Abstractions for Collective Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, pp. 202-232, 2016, Springer, 978-3-319-34095-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michele Loreti, Jane Hillston |
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, pp. 83-119, 2016, Springer, 978-3-319-34095-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Ghezzi |
Dependability of Adaptable and Evolvable Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, pp. 36-60, 2016, Springer, 978-3-319-34095-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Rocco De Nicola, Jane Hillston (eds.) |
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![Springer, 978-3-319-34095-1 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jade Alglave |
Modeling of Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, pp. 97-145, 2015, Springer, 978-3-319-18940-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Elias Castegren, Johan Östlund, Tobias Wrigstad |
Refined Ownership: - Fine-Grained Controlled Internal Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, pp. 179-210, 2015, Springer, 978-3-319-18940-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Brandauer, Elias Castegren, Dave Clarke 0001, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang |
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, pp. 1-56, 2015, Springer, 978-3-319-18940-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Einar Broch Johnsen (eds.) |
Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![Springer, 978-3-319-18940-6 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Sung-Shik T. Q. Jongmans |
Coordinating Multicore Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, pp. 57-96, 2015, Springer, 978-3-319-18940-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida |
A Gentle Introduction to Multiparty Asynchronous Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, pp. 146-178, 2015, Springer, 978-3-319-18940-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle |
Analysis of Executable Software Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures, pp. 1-25, 2014, Springer, 978-3-319-07316-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Bernd Becker 0001, Christian Dehnert, Nils Jansen 0001, Joost-Pieter Katoen, Ralf Wimmer 0001 |
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures, pp. 65-121, 2014, Springer, 978-3-319-07316-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer |
Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures, pp. 310-342, 2014, Springer, 978-3-319-07316-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.) |
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![Springer, 978-3-319-07316-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Annu Gmeiner, Igor Konnov 0001, Ulrich Schmid 0001, Helmut Veith, Josef Widder |
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures, pp. 122-171, 2014, Springer, 978-3-319-07316-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Stijn de Gouw |
Combining Monitoring with Run-Time Assertion Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures, pp. 217-262, 2014, Springer, 978-3-319-07316-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elena Giachino, Cosimo Laneve |
Deadlock Detection in Linear Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures, pp. 26-64, 2014, Springer, 978-3-319-07316-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas |
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures, pp. 263-309, 2014, Springer, 978-3-319-07316-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski |
Verification of Concurrent Systems with VerCors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures, pp. 172-216, 2014, Springer, 978-3-319-07316-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Brim, Milan Ceska 0002, David Safránek |
Model Checking of Biological Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures, pp. 63-112, 2013, Springer, 978-3-642-38873-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Boris Köpf, Andrey Rybalchenko |
Automation of Quantitative Information-Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures, pp. 1-28, 2013, Springer, 978-3-642-38873-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Diana-Elena Gratie, Bogdan Iancu, Ion Petre |
ODE Analysis of Biological Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures, pp. 29-62, 2013, Springer, 978-3-642-38873-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Jane Hillston |
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures, pp. 113-149, 2013, Springer, 978-3-642-38873-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.) |
Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![Springer, 978-3-642-38873-6 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jiannis K. Pachos |
Topological Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures, pp. 150-179, 2013, Springer, 978-3-642-38873-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio |
Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, pp. 91-136, 2012, Springer, 978-3-642-30981-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel |
Abstractions for Validation in Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, pp. 192-218, 2012, Springer, 978-3-642-30981-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dorina C. Petriu, Mohammad Alhaj, Rasha Tawhid |
Software Performance Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, pp. 219-262, 2012, Springer, 978-3-642-30981-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Cabot, Martin Gogolla |
Object Constraint Language (OCL): A Definitive Guide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, pp. 58-90, 2012, Springer, 978-3-642-30981-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bran Selic |
The Less Well Known UML - A Short User Guide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, pp. 1-20, 2012, Springer, 978-3-642-30981-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer, Lars Hamann |
Formal Specification and Testing of Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, pp. 399-437, 2012, Springer, 978-3-642-30981-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani |
Software Performance Antipatterns: Modeling and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, pp. 290-335, 2012, Springer, 978-3-642-30981-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Becker 0001 |
Model Transformations in Non-functional Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, pp. 263-289, 2012, Springer, 978-3-642-30981-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Vittorio Cortellessa, Alfonso Pierantonio (eds.) |
Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![Springer, 978-3-642-30981-6 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer |
An Introduction to Model Versioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, pp. 336-398, 2012, Springer, 978-3-642-30981-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff |
MDE Basics with a DSL Focus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, pp. 21-57, 2012, Springer, 978-3-642-30981-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann 0002, Thomas Vogel 0001, Sebastian Wätzoldt |
Graph Transformations for MDE, Adaptation, and Models at Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, pp. 137-191, 2012, Springer, 978-3-642-30981-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul Grace, Nikolaos Georgantas, Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Valérie Issarny, Massimo Paolucci 0001, Rachid Saadi, Bertrand Souville, Daniel Sykes |
The CONNECT Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 27-52, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Valérie Issarny (eds.) |
Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![Springer, 978-3-642-21454-7 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bengt Jonsson 0001 |
Learning of Automata Models Extended with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 327-349, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens, Martín Ochoa, Holger Schmidt 0001, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam |
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 504-526, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Moschitti |
Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 458-503, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Automated Verification Techniques for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 53-113, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Tretmans |
Model-Based Testing and Some Steps towards Test-Based Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 297-326, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Joachim Klein 0001, Sascha Klüppelholz |
Modeling and Verification of Components and Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 114-147, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Valérie Issarny, Amel Bennaceur, Yérom-David Bromberg |
Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 217-255, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dave Clarke 0001, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer 0002, Rudolf Schlatte, Peter Y. H. Wong |
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 417-457, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro |
Dependability and Performance Assessment of Dynamic CONNECTed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 350-392, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Steffen, Falk Howar, Maik Merten |
Introduction to Active Automata Learning from a Practical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 256-296, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gordon S. Blair, Massimo Paolucci 0001, Paul Grace, Nikolaos Georgantas |
Interoperability in Complex Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 1-26, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dimitra Giannakopoulou, Corina S. Pasareanu |
Context Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 191-216, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Costa 0001, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi |
Security and Trust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 393-416, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Paola Inverardi, Romina Spalazzese, Massimo Tivoli |
Application-Layer Connector Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 148-190, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Probabilistic Semantics and Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures, pp. 1-42, 2010, Springer, 978-3-642-13677-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anne Broadbent, Joseph F. Fitzsimons, Elham Kashefi |
Measurement-Based and Universal Blind Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures, pp. 43-86, 2010, Springer, 978-3-642-13677-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pasquale Malacaria, Jonathan Heusser |
Information Theory and Security: Quantitative Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures, pp. 87-134, 2010, Springer, 978-3-642-13677-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Marco Bernardo 0001, Alessandra Di Pierro, Herbert Wiklicky (eds.) |
Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![Springer, 978-3-642-13677-1 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Katinka Wolter, Philipp Reinecke |
Performance and Security Tradeoff. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures, pp. 135-167, 2010, Springer, 978-3-642-13677-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Luca Padovani, Gianluigi Zavattaro (eds.) |
Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![Springer, 978-3-642-01917-3 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vasco Thudichum Vasconcelos |
Fundamentals of Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, pp. 158-186, 2009, Springer, 978-3-642-01917-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Allan Clark, Stephen Gilmore, Mirco Tribastone |
Quantitative Analysis of Web Services Using SRMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, pp. 296-339, 2009, Springer, 978-3-642-01917-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf |
Service Interaction: Patterns, Formalization, and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, pp. 42-88, 2009, Springer, 978-3-642-01917-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Open Nets, Service Interaction Patterns, Verification, Service Orientation, Service Choreography |
1 | Marco Carbone, Nobuko Yoshida, Kohei Honda 0001 |
Asynchronous Session Types: Exceptions and Multiparty Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, pp. 187-212, 2009, Springer, 978-3-642-01917-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani |
Contract-Based Discovery and Adaptation of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, pp. 213-260, 2009, Springer, 978-3-642-01917-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Gianluigi Zavattaro |
Contract-Based Discovery and Composition of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, pp. 261-295, 2009, Springer, 978-3-642-01917-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni |
Calculi for Service-Oriented Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, pp. 1-41, 2009, Springer, 978-3-642-01917-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Annapaola Marconi, Marco Pistore |
Synthesis and Composition of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, pp. 89-157, 2009, Springer, 978-3-642-01917-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | François Fages, Sylvain Soliman |
Formal Cell Biology in Biocham. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 54-80, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Versari, Roberto Gorrieri |
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 449-506, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus |
1 | Carolyn L. Talcott |
Pathway Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 21-53, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Symbolic systems biology, Pathway Logic, Epidermal Growth Factor signaling, rewriting logic, signal transduction |
1 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
The Calculus of Looping Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 387-423, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Dematté, Corrado Priami, Alessandro Romanel |
The BlenX Language: A Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 313-365, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Monika Heiner, David R. Gilbert, Robin Donaldson |
Petri Nets for Systems and Synthetic Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 215-264, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Pierpaolo Degano, Gianluigi Zavattaro (eds.) |
Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![Springer, 978-3-540-68892-1 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Federica Ciocchetta, Jane Hillston |
Process Algebras in Systems Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 265-312, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gheorghe Paun, Francisco José Romero-Campero |
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 168-214, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Degasperi, Stephen Gilmore |
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 1-20, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher |
Hierarchical Modeling for Computational Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 81-124, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model components, DEVS, hierarchical models, pi calculus, multi-level modeling |
1 | Gianluigi Zavattaro |
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 507-523, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni |
Cells in Silico: A Holistic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 366-386, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel T. Gillespie |
Simulation Methods in Systems Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 125-167, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
stochastic chemical kinetics, stochastic simulation algorithm, tau-leaping, Langevin equation, Fokker-Planck equation, stiff systems, slow-scale stochastic simulation algorithm, Michaelis-Menten, enzyme-substrate reaction, multiscale, master equation |
1 | Luca Bortolussi, Alberto Policriti |
Hybrid Systems and Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 424-448, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | C. Murray Woodside |
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 429-467, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Jane Hillston (eds.) |
Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![Springer, 978-3-540-72482-7 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone |
Stochastic Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 132-179, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Ciardo |
Data Representation and Efficient Solution: A Decision Diagram Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 371-394, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
edge-valued decision diagrams, binary decision diagrams, symbolic model checking, Kronecker algebra, multi-valued decision diagrams, state-space generation |
1 | William J. Knottenbelt, Jeremy T. Bradley |
Tackling Large State Spaces in Performance Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 318-370, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | William J. Stewart 0001 |
Performance Modelling and Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 1-33, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Balbo |
Introduction to Generalized Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 83-131, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Simonetta Balsamo, Andrea Marin |
Queueing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 34-82, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001 |
A Survey of Markovian Behavioral Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 180-219, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Connie U. Smith |
Introduction to Software Performance Engineering: Origins and Outstanding Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 395-428, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Performance patterns, Performance Antipattterns, SPE Process, Performance models, Performance prediction, Software Performance Engineering, SPE, Queueing Network Models |
1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Stochastic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 220-270, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gribaudo, Miklós Telek |
Fluid Models in Performance Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 271-317, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Roberto Sebastiani |
Building Efficient Decision Procedures on Top of SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures, pp. 144-175, 2006, Springer, 978-3-540-34304-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 139 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|