Adaptiveness in well-typed Java bytecode verification
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Foundations of incremental aspect model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Electronic Notes in Theoretical Computer Science (ENTCS)
Fair multi-party contract signing using private contract signatures
Information and Computation
Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Formal analysis and verification of a communication protocol
ISP'06 Proceedings of the 5th WSEAS International Conference on Information Security and Privacy
Mining temporal rules for software maintenance
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on Program Comprehension through Dynamic Analysis (PCODA)
Model checking with Boolean Satisfiability
Journal of Algorithms
Auditing Business Process Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
High Performance Approach for Multi-QoS Constrained Web Services Selection
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Extending the equivalent transformation framework to model dynamic interactive systems
WSEAS Transactions on Computers
Weaving security aspects into UML 2.0 design models
Proceedings of the 13th workshop on Aspect-oriented modeling
A formalism for reasoning about UML activity diagrams
Nordic Journal of Computing
Automatic generation of local repairs for Boolean programs
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Artificial Intelligence
Boolean satisfiability from theoretical hardness to practical success
Communications of the ACM - A Blind Person's Interaction with Technology
Merging Procedural and Declarative Proof
Types for Proofs and Programs
A Language-Theoretic View on Guidelines and Consistency Rules of UML
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
A Refined Resolution Calculus for CTL
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Another Reason Why Conceptual Graphs Need Actors
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
CTL model update for system modifications
Journal of Artificial Intelligence Research
Model checking of healthcare domain models
Computer Methods and Programs in Biomedicine
Holistic verification: myth or magic bullet?
Proceedings of the 46th Annual Design Automation Conference
Representing metadata constraints in Common Logic
International Journal of Metadata, Semantics and Ontologies
An Aspect-Oriented Approach for Software Security Hardening: from Design to Implementation
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
A formal logic approach to firewall packet filtering analysis and generation
Artificial Intelligence Review
Formalizing a Hierarchical File System
Electronic Notes in Theoretical Computer Science (ENTCS)
Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations
ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
Method-Specific Java Access Control via RMI Proxy Objects Using Annotations
ICISS '09 Proceedings of the 5th International Conference on Information Systems Security
Process SEER: a tool for semantic effect annotation of business process models
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Synthesis of output feedback control for motion planning based on LTL specifications
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
CTL-RP: A computation tree logic resolution prover
AI Communications - Practical Aspects of Automated Reasoning
Receding horizon control for temporal logic specifications
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Hybrid control and verification of a pulsed welding process
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Performability assessment by model checking of Markov reward models
Formal Methods in System Design
The semantics of "semantic patches" in Coccinelle: program transformation for the working programmer
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Knowledge and games in modal semirings
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
An algorithm for calculating the satisfiability degree
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7
Role-based access control (RBAC) in Java via proxy objects using annotations
Proceedings of the 15th ACM symposium on Access control models and technologies
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
Distributed BDD-based BMC for the verification of multi-agent systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Journal of Systems and Software
Foundations of Tree-like Local Model Updates
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Service matchmaking revisited: An approach based on model checking
Web Semantics: Science, Services and Agents on the World Wide Web
An accessible verification environment for UML models of services
Journal of Symbolic Computation
ACTL local model update with constraints
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part IV
Compositional model checking of software product lines using variation point obligations
Automated Software Engineering
Algorithmic verification of population protocols
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Satisfiability degree analysis for transition system
AICI'10 Proceedings of the 2010 international conference on Artificial intelligence and computational intelligence: Part I
Model checking: cleared for take off
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Counterpart semantics for a second-order µ-calculus
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Generating SQL queries from SBVR rules
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4
Journal of Automated Reasoning
An authorization scheme for version control systems
Proceedings of the 16th ACM symposium on Access control models and technologies
Security'08 Proceedings of the 16th International conference on Security protocols
On the verification of social commitments and time
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Automated verification of virtualized infrastructures
Proceedings of the 3rd ACM workshop on Cloud computing security workshop
A self-updating model for analysing system reconfigurability
Engineering Applications of Artificial Intelligence
Keeping calm in the face of change
Higher-Order and Symbolic Computation
Towards a system model for ensembles
Formal modeling
Context-bounded model checking of LTL properties for ANSI-C software
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Towards fixing inconsistencies in models with variability
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Kees van Deemter: Not Exactly: In Praise of Vagueness
Minds and Machines
Kripke modelling and verification of temporal specifications of a multiple UAV system
Annals of Mathematics and Artificial Intelligence
Towards automatic exception safety verification
FM'06 Proceedings of the 14th international conference on Formal Methods
Functional analysis of a real-time protocol for networked control systems
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Interest logic and its application on the web
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Automated tools for teaching formal software verification
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Survey: Linear Temporal Logic Symbolic Model Checking
Computer Science Review
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Relating declarative semantics and usability in access control
Proceedings of the Eighth Symposium on Usable Privacy and Security
Group synthesis for parametric temporal-epistemic logic
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Time Series Dependent Analysis of Unparametrized Thomas Networks
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Specification and verification of multi-agent systems
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Scheduler-specific confidentiality for multi-threaded programs and its logic-based verification
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Verifying conformance of multi-agent commitment-based protocols
Expert Systems with Applications: An International Journal
Dynamic property mining for embedded software
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
SABOT: specification-based payload generation for programmable logic controllers
Proceedings of the 2012 ACM conference on Computer and communications security
Modeling & verification of Sliding Window Protocol with data loss and intruder detection using NuSMV
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
Quantitative analysis for covering-based rough sets through the upper approximation number
Information Sciences: an International Journal
Compliance checking for usage-constrained credentials in trust negotiation systems
ISC'12 Proceedings of the 15th international conference on Information Security
International Journal of Communication Systems
A Framework for Detecting Interactions Between Co-Incident Clinical Processes
International Journal of E-Health and Medical Communications
Reasoning About Truth in First-Order Logic
Journal of Logic, Language and Information
Metamodeling to Control and Audit E-Commerce Web Applications
International Journal of Electronic Commerce
Property-testing real-world authorization systems
Proceedings of the 18th ACM symposium on Access control models and technologies
Task facilitator for special education using MIRA (MIRATaskGen)
Proceedings of the 6th International Conference on Rehabilitation Engineering & Assistive Technology
Flexible Process Compliance with Semantic Constraints Using Mixed-Integer Programming
INFORMS Journal on Computing
A resolution calculus for the branching-time temporal logic CTL
ACM Transactions on Computational Logic (TOCL)
Observations on formal safety analysis in practice
Science of Computer Programming
A rewriting logic approach to the formal specification and verification of web applications
Science of Computer Programming
Detecting and predicting privacy violations in online social networks
Distributed and Parallel Databases
| Hi-index | 0.00 |