|
|
|
|
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.  |
SFM  |
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. |
SFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Nicolas Gast |
Mean-Field Limits Beyond Ordinary Differential Equations. |
SFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Beal, Mirko Viroli |
Aggregate Programming: From Foundations to Applications. |
SFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Vashti Galpin |
Spatial Representations and Analysis Techniques. |
SFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Vandin, Mirco Tribastone |
Quantitative Abstractions for Collective Adaptive Systems. |
SFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Loreti, Jane Hillston |
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. |
SFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Ghezzi |
Dependability of Adaptable and Evolvable Distributed Systems. |
SFM |
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 |
SFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jade Alglave |
Modeling of Architectures. |
SFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Elias Castegren, Johan Östlund, Tobias Wrigstad |
Refined Ownership: - Fine-Grained Controlled Internal Sharing. |
SFM |
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. |
SFM |
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 |
SFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Sung-Shik T. Q. Jongmans |
Coordinating Multicore Computing. |
SFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida |
A Gentle Introduction to Multiparty Asynchronous Session Types. |
SFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle |
Analysis of Executable Software Models. |
SFM |
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. |
SFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer |
Model-Based Testing. |
SFM |
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 |
SFM |
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. |
SFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Stijn de Gouw |
Combining Monitoring with Run-Time Assertion Checking. |
SFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Giachino, Cosimo Laneve |
Deadlock Detection in Linear Recursive Programs. |
SFM |
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. |
SFM |
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. |
SFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Milan Ceska 0002, David Safránek |
Model Checking of Biological Systems. |
SFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Köpf, Andrey Rybalchenko |
Automation of Quantitative Information-Flow Analysis. |
SFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana-Elena Gratie, Bogdan Iancu, Ion Petre |
ODE Analysis of Biological Systems. |
SFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Jane Hillston |
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. |
SFM |
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 |
SFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiannis K. Pachos |
Topological Quantum Computation. |
SFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio |
Model Transformations. |
SFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel |
Abstractions for Validation in Action. |
SFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorina C. Petriu, Mohammad Alhaj, Rasha Tawhid |
Software Performance Modeling. |
SFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cabot, Martin Gogolla |
Object Constraint Language (OCL): A Definitive Guide. |
SFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bran Selic |
The Less Well Known UML - A Short User Guide. |
SFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer, Lars Hamann |
Formal Specification and Testing of Model Transformations. |
SFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani |
Software Performance Antipatterns: Modeling and Analysis. |
SFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Becker 0001 |
Model Transformations in Non-functional Analysis. |
SFM |
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 |
SFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer |
An Introduction to Model Versioning. |
SFM |
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. |
SFM |
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. |
SFM |
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. |
SFM |
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 |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson 0001 |
Learning of Automata Models Extended with Data. |
SFM |
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. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Moschitti |
Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Automated Verification Techniques for Probabilistic Systems. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tretmans |
Model-Based Testing and Some Steps towards Test-Based Modelling. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Joachim Klein 0001, Sascha Klüppelholz |
Modeling and Verification of Components and Connectors. |
SFM |
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. |
SFM |
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. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro |
Dependability and Performance Assessment of Dynamic CONNECTed Systems. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, Falk Howar, Maik Merten |
Introduction to Active Automata Learning from a Practical Perspective. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon S. Blair, Massimo Paolucci 0001, Paul Grace, Nikolaos Georgantas |
Interoperability in Complex Distributed Systems. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitra Giannakopoulou, Corina S. Pasareanu |
Context Synthesis. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Costa 0001, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi |
Security and Trust. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Romina Spalazzese, Massimo Tivoli |
Application-Layer Connector Synthesis. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Probabilistic Semantics and Program Analysis. |
SFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Broadbent, Joseph F. Fitzsimons, Elham Kashefi |
Measurement-Based and Universal Blind Quantum Computation. |
SFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pasquale Malacaria, Jonathan Heusser |
Information Theory and Security: Quantitative Information Flow. |
SFM |
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 |
SFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Katinka Wolter, Philipp Reinecke |
Performance and Security Tradeoff. |
SFM |
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 |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos |
Fundamentals of Session Types. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore, Mirco Tribastone |
Quantitative Analysis of Web Services Using SRMC. |
SFM |
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. |
SFM |
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. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani |
Contract-Based Discovery and Adaptation of Web Services. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Gianluigi Zavattaro |
Contract-Based Discovery and Composition of Web Services. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni |
Calculi for Service-Oriented Computing. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Annapaola Marconi, Marco Pistore |
Synthesis and Composition of Web Services. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman |
Formal Cell Biology in Biocham. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Versari, Roberto Gorrieri |
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus |
| 1 | Carolyn L. Talcott |
Pathway Logic. |
SFM |
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. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Dematté, Corrado Priami, Alessandro Romanel |
The BlenX Language: A Tutorial. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Monika Heiner, David R. Gilbert, Robin Donaldson |
Petri Nets for Systems and Synthetic Biology. |
SFM |
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 |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Jane Hillston |
Process Algebras in Systems Biology. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gheorghe Paun, Francisco José Romero-Campero |
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Degasperi, Stephen Gilmore |
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher |
Hierarchical Modeling for Computational Biology. |
SFM |
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. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni |
Cells in Silico: A Holistic Approach. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel T. Gillespie |
Simulation Methods in Systems Biology. |
SFM |
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. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Murray Woodside |
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. |
SFM |
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 |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone |
Stochastic Process Algebras. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Ciardo |
Data Representation and Efficient Solution: A Decision Diagram Approach. |
SFM |
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. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | William J. Stewart 0001 |
Performance Modelling and Markov Chains. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo |
Introduction to Generalized Stochastic Petri Nets. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simonetta Balsamo, Andrea Marin |
Queueing Networks. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo 0001 |
A Survey of Markovian Behavioral Equivalences. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Connie U. Smith |
Introduction to Software Performance Engineering: Origins and Outstanding Problems. |
SFM |
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. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Miklós Telek |
Fluid Models in Performance Analysis. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Roberto Sebastiani |
Building Efficient Decision Procedures on Top of SAT Solvers. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 139 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license