1.9(top 20%)
impact factor
916(top 20%)
papers
20.4K(top 10%)
citations
57(top 10%)
h-index
2.1(top 20%)
impact factor
976
all documents
21.9K
doc citations
117(top 10%)
g-index
Top Articles
| # | Title | Journal | Year | Citations |
|---|---|---|---|---|
| 1 | Uppaal in a nutshell | International Journal on Software Tools for Technology Transfer | 1997 | 1,528 |
| 2 | Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems | International Journal on Software Tools for Technology Transfer | 2007 | 856 |
| 3 | HYTECH: a model checker for hybrid systems | International Journal on Software Tools for Technology Transfer | 1997 | 536 |
| 4 | Model checking JAVA programs using JAVA PathFinder | International Journal on Software Tools for Technology Transfer | 2000 | 528 |
| 5 | Rodin: an open toolset for modelling and reasoning in Event-B | International Journal on Software Tools for Technology Transfer | 2010 | 518 |
| 6 | NUSMV: a new symbolic model checker | International Journal on Software Tools for Technology Transfer | 2000 | 467 |
| 7 | The software model checker Blast | International Journal on Software Tools for Technology Transfer | 2007 | 426 |
| 8 | KRONOS: a verification tool for real-time systems | International Journal on Software Tools for Technology Transfer | 1997 | 421 |
| 9 | An overview of JML tools and applications | International Journal on Software Tools for Technology Transfer | 2005 | 414 |
| 10 | Uppaal SMC tutorial | International Journal on Software Tools for Technology Transfer | 2015 | 354 |
| 11 | ProB: an automated analysis toolset for the B method | International Journal on Software Tools for Technology Transfer | 2008 | 288 |
| 12 | Probabilistic symbolic model checking with PRISM: a hybrid approach | International Journal on Software Tools for Technology Transfer | 2004 | 244 |
| 13 | The practitioner's guide to coloured Petri nets | International Journal on Software Tools for Technology Transfer | 1998 | 231 |
| 14 | TGV: theory, principles and algorithms | International Journal on Software Tools for Technology Transfer | 2005 | 230 |
| 15 | CADP 2011: a toolbox for the construction and analysis of distributed processes | International Journal on Software Tools for Technology Transfer | 2013 | 205 |
| 16 | A survey of recent advances in SAT-based formal verification | International Journal on Software Tools for Technology Transfer | 2005 | 192 |
| 17 | An overview of the MOP runtime verification framework | International Journal on Software Tools for Technology Transfer | 2012 | 176 |
| 18 | A survey of new trends in symbolic execution for software testing and analysis | International Journal on Software Tools for Technology Transfer | 2009 | 167 |
| 19 | PHAVer: algorithmic verification of hybrid systems past HyTech | International Journal on Software Tools for Technology Transfer | 2008 | 165 |
| 20 | Program sketching | International Journal on Software Tools for Technology Transfer | 2013 | 165 |
| 21 | System architecture evaluation using modular performance analysis: a case study | International Journal on Software Tools for Technology Transfer | 2006 | 154 |
| 22 | Numerical vs. statistical probabilistic model checking | International Journal on Software Tools for Technology Transfer | 2006 | 148 |
| 23 | Vacuity detection in temporal model checking | International Journal on Software Tools for Technology Transfer | 2003 | 136 |
| 24 | State space reduction using partial order techniques | International Journal on Software Tools for Technology Transfer | 1999 | 134 |
| 25 | MCMAS: an open-source model checker for the verification of multi-agent systems | International Journal on Software Tools for Technology Transfer | 2017 | 132 |
| 26 | Software diversity: state of the art and perspectives | International Journal on Software Tools for Technology Transfer | 2012 | 129 |
| 27 | Modelling and analysis using GROOVE | International Journal on Software Tools for Technology Transfer | 2012 | 125 |
| 28 | Probabilistic reachability for parametric Markov models | International Journal on Software Tools for Technology Transfer | 2011 | 124 |
| 29 | Directed explicit-state model checking in the validation of communication protocols | International Journal on Software Tools for Technology Transfer | 2004 | 122 |
| 30 | Efficient monitoring of safety properties | International Journal on Software Tools for Technology Transfer | 2004 | 119 |
| 31 | Error explanation with distance metrics | International Journal on Software Tools for Technology Transfer | 2006 | 119 |
| 32 | What can you verify and enforce at runtime? | International Journal on Software Tools for Technology Transfer | 2012 | 119 |
| 33 | MontiCore: a framework for compositional development of domain specific languages | International Journal on Software Tools for Technology Transfer | 2010 | 107 |
| 34 | Rule-based runtime verification revisited | International Journal on Software Tools for Technology Transfer | 2015 | 103 |
| 35 | Bounded synthesis | International Journal on Software Tools for Technology Transfer | 2013 | 101 |
| 36 | Bounded model checking of software using SMT solvers instead of SAT solvers | International Journal on Software Tools for Technology Transfer | 2009 | 98 |
| 37 | Reliable benchmarking: requirements and solutions | International Journal on Software Tools for Technology Transfer | 2019 | 92 |
| 38 | What makes good research in software engineering? | International Journal on Software Tools for Technology Transfer | 2002 | 90 |
| 39 | Model checking software product lines with SNIP | International Journal on Software Tools for Technology Transfer | 2012 | 90 |
| 40 | LearnLib: a framework for extrapolating behavioral models | International Journal on Software Tools for Technology Transfer | 2009 | 89 |
| 41 | Monitoring properties of analog and mixed-signal circuits | International Journal on Software Tools for Technology Transfer | 2013 | 85 |
| 42 | Binary decision diagrams in theory and practice | International Journal on Software Tools for Technology Transfer | 2001 | 83 |
| 43 | The FSAP/NuSMV-SA Safety Analysis Platform | International Journal on Software Tools for Technology Transfer | 2007 | 83 |
| 44 | Zero-suppressed BDDs and their applications | International Journal on Software Tools for Technology Transfer | 2001 | 82 |
| 45 | Automated verification of access control policies using a SAT solver | International Journal on Software Tools for Technology Transfer | 2008 | 82 |
| 46 | A formal analysis of bluetooth device discovery | International Journal on Software Tools for Technology Transfer | 2006 | 79 |
| 47 | Lower and upper bounds in zone-based abstractions of timed automata | International Journal on Software Tools for Technology Transfer | 2006 | 76 |
| 48 | A taxonomy of risk-based testing | International Journal on Software Tools for Technology Transfer | 2014 | 76 |
| 49 | The Electronic Tool Integration platform: concepts and design | International Journal on Software Tools for Technology Transfer | 1997 | 74 |
| 50 | Executable Petri net models for the analysis of metabolic pathways | International Journal on Software Tools for Technology Transfer | 2001 | 74 |