Slicing Software for Model Construction
Higher-Order and Symbolic Computation
A Theory of Object-Oriented Design
Information Systems Frontiers
Compositional Checking of Communication among Observers
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Safety Patterns - The Key to Formal Specification of Safety Requirements
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Model-Checking over Multi-valued Logics
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Principles in formal specification of object oriented design and architecture
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Foundations of the Bandera abstraction tools
The essence of computation
Software is discrete mathematics
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Multi-valued symbolic model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Correct Execution of Transactions at Different Isolation Levels
IEEE Transactions on Knowledge and Data Engineering
Mathematics for the exploration of requirements
ACM SIGCSE Bulletin
Semi-formal design of reliable mesh generation systems
Advances in Engineering Software
ACM SIGACT News
An Equivalent CTL Formulation for Condition Sequences
Discrete Event Dynamic Systems
Properties and scopes in web model checking
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
CDM: Teaching discrete mathematics to computer science majors
Journal on Educational Resources in Computing (JERIC)
Automatic workflow verification and generation
Theoretical Computer Science
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science
Data structures for symbolic multi-valued model-checking
Formal Methods in System Design
Software fault avoidance issues
Ubiquity
Semantic patches for documenting and automating collateral evolutions in Linux device drivers
Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems
Detecting feature interactions in CPL
Journal of Network and Computer Applications
Connectionist modal logic: Representing modalities in neural networks
Theoretical Computer Science
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Alternative Logics: a book review: SIGACT news logic column 18
ACM SIGACT News
Formal Verification of Object-Oriented Graph Grammars Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal analysis techniques for gossiping protocols
ACM SIGOPS Operating Systems Review - Gossip-based computer networking
Symbolic model checking for temporal-epistemic logics
ACM SIGACT News
A conceptual approach to teaching induction for computer science
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Documenting and automating collateral evolutions in linux device drivers
Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
Implementation of CTL model checker update
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Array-based logic for realising inference engine in mobile applications
International Journal of Mobile Learning and Organisation
Open answer set programming with guarded programs
ACM Transactions on Computational Logic (TOCL)
Specification, decomposition and agent synthesis for situation-aware service-based systems
Journal of Systems and Software
Extracting Requirements from Scenarios with ILP
Inductive Logic Programming
Verifying Dominant Strategy Equilibria in Auctions
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Applying a Grouping Operator in Model Transformations
Applications of Graph Transformations with Industrial Relevance
Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study
ICICS '08 Proceedings of the 10th International Conference on Information and Communications Security
Revising Specifications with CTL Properties Using Bounded Model Checking
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Description Logic Reasoning with Decision Diagrams
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Knowledge Assessment: A Modal Logic Approach
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
Declarative Agent Languages and Technologies VI
An application CTL formula based on problem solving methodology
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Canonical representation genetic programming
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation
CTL Model Update: Semantics, Computations and Implementation
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Automated deduction for verification
ACM Computing Surveys (CSUR)
Induction as a tool for conceptual coherence in computer science
Proceedings of the 46th Annual Southeast Regional Conference on XX
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
Electronic Notes in Theoretical Computer Science (ENTCS)
A design framework for metaheuristics
Artificial Intelligence Review
Terminological reasoning in SHIQ with ordered binary decision diagrams
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Specification and verification of knowledge in a multi-agent system
ASM '07 The 16th IASTED International Conference on Applied Simulation and Modelling
Analysing scientific workflows with Computational Tree Logic
Cluster Computing
Implementation of Epistemic Operators for Model Checking Multi-agent Systems
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
On Rough Sets with Structures and Properties
RSFDGrC '09 Proceedings of the 12th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Interactive Theorem Proving with Tasks
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-checking the Preservation of Temporal Properties upon Feature Integration
Electronic Notes in Theoretical Computer Science (ENTCS)
Genetic programming with fitness based on model checking
EuroGP'07 Proceedings of the 10th European conference on Genetic programming
Formal modeling and analysis of an avionics triplex sensor voter
SPIN'03 Proceedings of the 10th international conference on Model checking software
A verification framework for agent knowledge
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
On the complexity monotonicity thesis for environment, behaviour and cognition
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Using CTL model checker for verification of domain application systems
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
An interoperable usage management framework
Proceedings of the tenth annual ACM workshop on Digital rights management
An optimised algorithm to tackle the model explosion problem in CTL model update
PRICAI'10 Proceedings of the 11th Pacific Rim international conference on Trends in artificial intelligence
Local model update with an application to sliding window protocol
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part IV
Semantics of trace relations in requirements models for consistency checking and inferencing
Software and Systems Modeling (SoSyM)
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
FAST'10 Proceedings of the 7th International conference on Formal aspects of security and trust
Modeling the broker behavior using a BDI agent
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume II
Approximations of arbitrary binary relations by partial orders: classical and rough set models
Transactions on rough sets XIII
Proceedings of the 33rd International Conference on Software Engineering
ECC'11 Proceedings of the 5th European conference on European computing conference
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
Parameter inference for asynchronous logical networks using discrete time series
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Synthesis from temporal specifications using preferred answer set programming
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Analysing user confusion in context aware mobile applications
INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
A case study for CTL model update
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Algebras as knowledge structures
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Towards symbolic model checking for multi-agent systems via OBDD's
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
A logic approach for LTL system modification
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Algorithms for CTL system modification
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Test generation based on symbolic specifications
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Detecting malicious code by model checking
DIMVA'05 Proceedings of the Second international conference on Detection of Intrusions and Malware, and Vulnerability Assessment
Guarded open answer set programming with generalized literals
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Metareasoning for multi-agent epistemic logics
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
The complexity of model checking concurrent programs against CTLK specifications
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Investigating finite models of non-classical logics with relation algebra and RELVIEW
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Teaching experience: logic and formal methods with coq
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Symbolic model checking for temporal-epistemic logic
Logic Programs, Norms and Action
Formal verification methodology considerations for network on chips
Proceedings of the International Conference on Advances in Computing, Communications and Informatics
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Global view on reactivity: switch graphs and their logics
Annals of Mathematics and Artificial Intelligence
A formal approach for run-time verification of web applications using scope-extended LTL
Information and Software Technology
ACM Transactions on Computational Logic (TOCL)
Automated verification of design patterns: A case study
Science of Computer Programming
| Hi-index | 0.00 |