|
|
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 | Rolf Drechsler, Görschwin Fey |
Automatic Test Pattern Generation. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
Hardware Design and Simulation for Verification. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gianpiero Cabodi, Marco Murciano |
BDD-Based Hardware Verification. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aarti Gupta, Malay K. Ganai, Chao Wang 0001 |
SAT-Based Verification Methods and Applications in Hardware Verification. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Manolios |
Refinement and Theorem Proving. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | John Harrison 0001 |
Floating-Point Verification Using Theorem Proving. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Koen Claessen, Jan-Willem Roorda |
An Introduction to Symbolic Trajectory Evaluation. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Alessandro Cimatti (eds.) |
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 |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Alessandro Bogliolo (eds.) |
Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bettini, Rocco De Nicola |
Mobile Distributed Programming in X-Klaim. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Emanuela Merelli |
Hermes: Agent-Based Middleware for Mobile Computing. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Acquaviva, Edoardo Bontà, Emanuele Lattanzi |
Dynamic Power Management Strategies Within the IEEE 802.11 Standard. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Grassi |
Performance Analysis of Mobile Systems. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Acquaviva, Alessandro Aldini, Marco Bernardo 0001, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi |
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Montanari, Marco Pistore |
History-Dependent Automata: An Introduction. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mario Gerla, Ling-Jyh Chen, Yeng-Zhong Lee, Biao Zhou, Jiwei Chen, Guang Yang 0001, Shirshanka Das |
Dealing with Node Mobility in Ad Hoc Wireless Network. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bogliolo |
Network Swapping. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen |
A Tutorial on Uppaal. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Flavio Corradini (eds.) |
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Diletta Cacciagrano, Flavio Corradini |
Expressiveness of Timed Events and Timed Languages. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti |
Real Time and Stochastic Time. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Elmar Bihler, Walter Vogler |
Timed Petri Nets: Efficiency of Asynchronous Systems. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten, Michel A. Reniers |
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, P. Madhusudan |
Decision Problems for Timed Automata: A Survey. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns |
Embedded Software Analysis with MOTOR. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bran Selic |
On the Semantic Foundations of Standard UML 2.0. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis |
The IF Toolset. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Paola Inverardi, Henry Muccini |
Formal Methods in Testing Software Architectures. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Paola Inverardi, Massimo Tivoli |
Software Architecture for Correct Components Assembly. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Simonetta Balsamo, Marco Bernardo 0001, Marta Simeoni |
Performance Evaluation at the Software Architecture Level. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Luís Filipe Andrade, José Luiz Fiadeiro |
Architecture Based Evolution of Software Systems. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Software Architecture Modeling & Analysis: A Rigorous Approach. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | David Garlan |
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Judith A. Stafford, Alexander L. Wolf, Mauro Caporuscio |
The Application of Dependence Analysis to Software Architecture Descriptions. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Valérie Issarny, Apostolos V. Zarras |
Software Architecture and Dependability. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nima Kaveh, Wolfgang Emmerich |
Validating Distributed Object and Component Designs. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Paola Inverardi (eds.) |
Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman |
Software Architecture for Mobile Computing. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Axel van Lamsweerde |
From System Goals to Software Architecture. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #139 of 139 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|