Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
42 | Franck Barbier |
Supporting the UML State Machine Diagramsat Runtime. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
UML, Statecharts, model executability |
42 | Ahmed Khoumsi |
A new method for testing real time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
real-time systems testing, test sequence executability, test sequence execution, real-time systems, constraints, automatic test pattern generation, program testing, timed automata, conformance testing, conformance testing, sequences, test case generation, automata theory, state explosion, test architecture, test sequence generation, continuous-time systems |
42 | Jan van Katwijk, W. J. Toetenel |
Comparing formal specifications by measuring. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
formal specification notations, software engineering, software engineering, formal specification, software development, computer science education, tool support, software development management, notation, executability, maturity, analyzability, software engineering courses |
42 | Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang |
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation |
42 | Masahiro Tanaka, Toru Ishida 0001 |
Predicting and Learning Executability of Composite Web Services. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Mahadevan Subramaniam, Parvathi Chundi |
An Approach to Preserve Protocol Consistency and Executability Across Updates. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Néstor Cataño, Tim Wahls |
Executing JML specifications of Java card applications: a case study. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
executable specifications, Java card, JML |
30 | Reda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais |
Definition of an Executable SPEM 2.0. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Rachid Bouaziz, Ousmane Koné |
Symbolic and on the Fly Testing with Real-Time Observers. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Ranga Raju Vatsavai, Sharma Chakravarthy, Mukesh K. Mohania |
Access Control Inference And Feedback For Policy Managers: A Fine-Grained Analysis. |
POLICY |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Risto Pitkänen, Petri Selonen |
A UML Profile for Executable and Incremental Specification-Level Modeling. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Marta Cialdea Mayer, Carla Limongelli |
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Dave Arnold, Jean-Pierre Corriveau, Wei Shi 0001 |
Modeling and Validating Requirements Using Executable Cotnracts and Scenarios. |
SERA |
2010 |
DBLP DOI BibTeX RDF |
validation, model-based testing, executability |
27 | Gustavo Santos-García, Miguel Palomino, Alberto Verdejo |
Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. |
DCAI |
2008 |
DBLP DOI BibTeX RDF |
Neural networks, strategies, rewriting logic, Maude, executability |
27 | Guizhen Yang, Michael Kifer, Vinay K. Chaudhri |
Efficiently ordering subgoals with access constraints. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
binding pattern, nonrecursive datalog, query, executability |
27 | Thomas Macaulay Ferguson |
Executability and Connexivity in an Interpretation of Griss. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
27 | Aisling Third, John Domingue |
Ethics and Executability: Tracing Decency in Decentralised Knowledge Graph Applications. |
ESWC Workshops |
2023 |
DBLP BibTeX RDF |
|
27 | Hadjer Benkraouda, Jingyu Qian, Hung Quoc Tran, Berkay Kaplan |
Attacks on Visualization-Based Malware Detection: Balancing Effectiveness and Executability. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
27 | Chenguang Zhu 0002, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid |
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Samim Mirhosseini, Chris Parnin |
Docable: evaluating the executability of software tutorials. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Md. Monir Hossain, Nima Mahmoudi, Changyuan Lin, Hamzeh Khazaei, Abram Hindle |
Executability of Python Snippets in Stack Overflow. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
27 | Eleonora Giunchiglia, Michele Colledanchise, Lorenzo Natale, Armando Tacchella |
Conditional Behavior Trees: Definition, Executability, and Applications. |
SMC |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Eric Horton, Chris Parnin |
Gistable: Evaluating the Executability of Python Code Snippets on GitHub. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
27 | Eric Horton, Chris Parnin |
Gistable: Evaluating the Executability of Python Code Snippets on GitHub. |
ICSME |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni |
SEA: String Executability Analysis by Abstract Interpretation. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
27 | Ting Shu, Zuohua Ding, Mei-Hwa Chen, Jinsong Xia |
A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences. |
Inf. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Bas Luttik, Fei Yang |
On the Executability of Interactive Computation. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
27 | Bas Luttik, Fei Yang |
On the Executability of Interactive Computation. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Sardar Hussain, Richard O. Sinnott, Ron Poet |
Service-Oriented Workflow Executability from a Security Perspective. |
SpaCCS |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Yuan Yao 0007, Lavindra de Silva, Brian Logan 0001 |
Reasoning About the Executability of Goal-Plan Trees. |
EMAS@AAMAS |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Rudolf Mayer, Andreas Rauber |
A Quantitative Study on the Re-executability of Publicly Shared Scientific Workflows. |
e-Science |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Ping Gong 0004, Jianmin Jiang, Shi Zhang, Zhi Qin Chen |
Executability Analysis for Semantically Annotated Process Model. |
APSCC |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè |
Enhancing structural software coverage by incrementally computing branch executability. |
Softw. Qual. J. |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Julien Bourgeois, Vaidy S. Sunderam, Jaroslaw Slawinski, Bogdan Florin Cornea |
Extending Executability of Applications on Varied Target Platforms. |
HPCC |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Elena Planas, Jordi Cabot, Cristina Gómez 0001 |
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage. |
MtATL@TOOLS |
2011 |
DBLP BibTeX RDF |
|
27 | Timothy Joseph Cerexhe, Maurice Pagnucco |
Executability in the Situation Calculus. |
Australasian Conference on Artificial Intelligence |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Elena Planas, Jordi Cabot, Cristina Gómez 0001, Esther Guerra, Juan de Lara |
Lightweight Executability Analysis of Graph Transformation Rules. |
VL/HCC |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Robert Lorenz 0001, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser |
Executability of scenarios in Petri nets. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Lihua Duan |
Testing in context: Efficiency and executability. |
|
2009 |
RDF |
|
27 | Ileana Ober, Ali Abou Dib |
Using ASM to Achieve Executability within a Family of DSL. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Franck Barbier, Eric Cariou |
Component Design based on Model Executability. |
EUROMICRO-SEAA |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Servet Hasgül, Zuhal Kartal |
Analyzing a drum-buffer-rope scheduling system executability through simulation. |
SCSC |
2007 |
DBLP BibTeX RDF |
drum-buffer-rope, theory of constraints, scheduling |
27 | Robert Lorenz 0001, Sebastian Mauser, Robin Bergenthum |
Testing the executability of scenarios in general inhibitor nets. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Michael Keating |
Simplicity and Executability: Cornerstones of Quality. |
ISQED |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Riccardo Rasconi, Nicola Policella, Amedeo Cesta |
SEaM: Analyzing Schedule Executability Through Simulation. |
IEA/AIE |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano, Francesco Poletti |
Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip. |
Intelligenza Artificiale |
2005 |
DBLP BibTeX RDF |
|
27 | Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel |
Weaving Executability into Object-Oriented Meta-languages. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Margaret Mary West |
Issues in validation and executability of formal specifications in the Z notation. |
|
2002 |
RDF |
|
27 | Erwan Breton, Jean Bézivin |
Towards an understanding of model executability. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
process meta-models, models, meta-models, MOF, model execution, action semantics |
27 | David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy |
Structuring Interactive Systems Specifications for Executability and Prototypability. |
DSV-IS |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Chung-Ming Huang, Meng-Shu Chiang, Ming-Yuhe Jang |
UIOE: protocol test sequence generation method using the transition executability analysis (TEA). |
Comput. Commun. |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Franck Barbier, Henri Briand, Bénédicte Dano, Stéphane Rideau |
The Executability of Object-Oriented Finite State Machines. |
J. Object Oriented Program. |
1998 |
DBLP BibTeX RDF |
|
27 | Michael von der Beeck |
Improving Structured Analysis - Achieving Preciseness, Executability, and Real-Time Specification. |
Requirements Engineering |
1993 |
DBLP BibTeX RDF |
|
27 | Alexander D. Stoyenko, Wolfgang A. Halang |
Analysing PEARL Programs for Timely Schedulability and Executability. |
Prozeßrechnersysteme |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Toru Ishida 0001 |
Analyzing Parallel Executability of Production Systems. |
Syst. Comput. Jpn. |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Wladyslaw M. Turski |
Completeness and executability of specifications: Two confusing notions. |
ISPW |
1984 |
DBLP BibTeX RDF |
|
27 | Harry B. Hunt III, Daniel J. Rosenkrantz |
The Complexity of Monadic Recursion Schemes: Executability Problems, Nesting Depth, and Applications. |
Theor. Comput. Sci. |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Manoli Albert, Jordi Cabot, Cristina Gómez 0001, Vicente Pelechano |
Automatic generation of basic behavior schemas from UML class diagrams. |
Softw. Syst. Model. |
2010 |
DBLP DOI BibTeX RDF |
Behavior schema, Structural event, UML, OCL, Operation, Class diagram |
15 | Daniela Inclezan |
Modular Action Language ALM{\cal ALM}. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jordi Cabot, Robert Clarisó, Daniel Riera |
Verifying UML/OCL Operation Contracts. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf |
Formalisms for Specifying Markovian Population Models. |
RP |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Zhiliang Wang, Xia Yin, Chuanming Jing |
A formal method to real-time protocol interoperability testing. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
real-time testing, timed input output automata (TIOA), test generation, interoperability testing, protocol testing |
15 | Marco Baioletti, Alfredo Milani, Valentina Poggioni, Silvia Suriani |
Parallel Actions and Generalized Multivalued Constraints in Multivalued Planning. |
ICCSA (2) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Hallvard Trætteberg, John Krogstie |
Enhancing the Usability of BPM-Solutions by Combining Process and User-Interface Modelling. |
PoEM |
2008 |
DBLP DOI BibTeX RDF |
Process modelling, user interface modelling |
15 | Cyril Ballagny, Nabil Hameurlain, Franck Barbier |
Dynamic adaptive software components: the MOCAS approach. |
CSTST |
2008 |
DBLP DOI BibTeX RDF |
UML2 state machine, dynamic adaptation, component model |
15 | Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi |
Formal digital license language with OTS/CafeOBJ method. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, Prasanna Thati |
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Rewrite theories, Security protocols, Reachability, Narrowing |
15 | Matthias Kuntz, Boudewijn R. Haverkort |
Faster SPDL Model Checking Through Property-Driven State Space Generation. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Liang Chang 0003, Fen Lin, Zhongzhi Shi |
A Dynamic Description Logic for Representation and Reasoning About Actions. |
KSEM |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Suman Ranjan Sensarma, Norio Okada |
Game theoretic analysis of the process of player empowerment in resolving social conflict. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | David H. Akehurst, Martin Gogolla, Steffen Zschaler |
7th International Workshop on Ocl4All: Modelling Systems with OCL. |
MoDELS (Workshops) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Pierre Corriveau |
Testable Requirements for Offshore Outsourcing. |
SEAFOOD |
2007 |
DBLP DOI BibTeX RDF |
|
15 | David Harel |
Statecharts in the making: a personal account. |
HOPL |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Franck Barbier |
MDE-based Design and Implementation of Autonomic Software Components. |
IEEE ICCI |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Christian Glodt, Pierre Kelsen |
DEMOS: a tool for declarative executable modeling of object-based systems. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
Java, object-oriented programming, code generation, functional programming, visual programming, eclipse, coupling, executable models, declarative |
15 | Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz 0001 |
Can I Execute My Scenario in Your Net? VipTool Tells You! |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Abdelaziz Guerrouat, Harald Richter 0001 |
A Combined Approach for Reachability Analysis. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
testing and validation, formal specifications, Formal methods, reachability analysis |
15 | Chitta Baral, Luis Tari |
Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning. |
ICIT |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Azadeh Farzan, José Meseguer 0001 |
State Space Reduction of Rewrite Theories Using Invisible Transitions. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Matthias Kuntz, Markus Siegle |
Symbolic Model Checking of Stochastic Systems: Theory and Implementation. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems |
15 | David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li 0002, Kiarash Mahdavi |
An Empirical Study of Executable Concept Slice Size. |
WCRE |
2006 |
DBLP DOI BibTeX RDF |
Concept Assignment, Program Slicing |
15 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Abstract Interpretation with Specialized Definitions. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Eun-Ha Song, Sung-Kook Han, Laurence Tianruo Yang, Young-Sik Jeong |
Reconfiguration of Information Management Framework Based on Adaptive Grid Computing. |
ISPA |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc 0001 |
UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions. |
EDOC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, Grigore Rosu |
Computational Logical Frameworks and Generic Program Analysis Technologies. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc 0001 |
UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
SP Metamodel, MDD, Software Process Modelling, Process Modelling Languages |
15 | Sang-Kyun Kim, Taekyung Lee, Kyu-Chul Lee |
Toward Knowledge Preconditions for Composition of SemanticWeb Services. |
DEEC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Chia-Chu Chiang |
An Introduction to TUG: A Language for Writing Reusable Formal Program Specifications. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
Generic Specifications, Reusable Specifications, Software Reuse and TUG, Formality |
15 | Hendry, Munchurl Kim |
A Dynamically Configurable Multimedia Middleware. |
PCM (2) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
Model Checking Action- and State-Labelled Markov Chains. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Amit M. Paradkar, Tim Klinger |
Automated Consistency and Completeness Checking of Testing Models for Interactive Systems. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
Completeness Checking, Reachability, Consistency Checking |
15 | Tim Wahls |
Compiling Formal Specifications to Oz Programs. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, Miguel Palomino, Narciso Martí-Oliet |
Equational Abstractions. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni |
Planning under Uncertainty in Linear Time Logic. |
AI*IA |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Robert S. Boyer, J Strother Moore |
Single-Threaded Objects in ACL2. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Hudson Turner |
Polynomial-Length Planning Spans the Polynomial Hierarchy. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Maier, Daniel Moldt |
Object Coloured Petri Nets - A Formal Technique for Object Oriented Modeling. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
15 | J Strother Moore |
Finite Set Theory in ACL2. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Jackson 0001 |
Lightweight Formal Methods. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Jin-Cherng Lin, Ian Ho |
A New Framework for Testing Real-Time Software. |
COMPSAC |
2000 |
DBLP DOI BibTeX RDF |
|