Behavioral analysis of software architectures using LTSA
Proceedings of the 21st international conference on Software engineering
“Alfonse, you have a message!”
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
Deriving performance models of software architectures from message sequence charts
Proceedings of the 2nd international workshop on Software and performance
Proceedings of the 2nd international workshop on Software and performance
Reusable component interconnection patterns for distributed software architectures
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
Use petri nets to improve your concurrent programming course (poster session)
Proceedings of the 6th annual conference on Innovation and technology in computer science education
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An explorative journey from architectural tests definition down to code tests execution
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Model checking distributed objects design
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Deadlock detection in distribution object systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Detecting implied scenarios in message sequence chart specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Specific proposals for the use of petri nets in a concurrent programming course
Proceedings of the 7th annual conference on Innovation and technology in computer science education
An infrastructure for the rapid development of XML-based architecture description languages
Proceedings of the 24th International Conference on Software Engineering
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
Model-based adaptation for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Negative scenarios for implied scenario elicitation
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Efficient Computation and Representation of Large Reachability Sets for Composed Automata
Discrete Event Dynamic Systems
An experience on verification of aspect properties
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Negative scenarios for implied scenario elicitation
ACM SIGSOFT Software Engineering Notes
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
View-based animation of communication protocols in design and in operation
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
An Abductive Approach for Analysing Event-Based Requirements Specifications
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Formal Modeling of Service Session Management
MMNS '02 Proceedings of the 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services: Management of Multimedia on the Internet
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Supporting Formal Verification of Crosscutting Concerns
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
A Principled Semantics for inp
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
OPENflow: A CORBA Based Transactional Workflow System
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
How to Make FDR Spin LTL Model Checking of CSP by Refinement
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Performance Engineering of Component-Based Distributed Software Systems
Performance Engineering, State of the Art and Current Trends
Using Model Checking to Detect Deadlocks in Distributed Object Systems
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
RICES: reasoning about information consistency across enterprise solutions
Systems engineering for business process change
Modelling architectures for dynamic systems
Programming methodology
A compositional formalization of connector wrappers
Proceedings of the 25th International Conference on Software Engineering
Modular verification of software components in C
Proceedings of the 25th International Conference on Software Engineering
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A Concurrency Test Tool for Java Monitors
Proceedings of the 16th IEEE international conference on Automated software engineering
Behaviour model elaboration using partial labelled transition systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
JACOT: a tool to dynamically visualise the execution of concurrent Java programs
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
Horizontal communication: a style to compose control software
Software—Practice & Experience
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart
Proceedings of the 26th International Conference on Software Engineering
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Proceedings of the 26th International Conference on Software Engineering
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Verifying process models built using parameterized state machines
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Verifiable Concurrent Programming Using Concurrency Controllers
Proceedings of the 19th IEEE international conference on Automated software engineering
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
System architecture: the context for scenario-based model synthesis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Patterns for behavior modeling and integration
Computers in Industry - Special issue: Object-oriented modelling in design and production
Fluent-based web animation: exploring goals for requirements validation
Proceedings of the 27th international conference on Software engineering
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
Proceedings of the 5th international workshop on Software and performance
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
On-the-fly state space reductions for weak equivalences
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Engineering distributed software: a structural discipline
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Fluent temporal logic for discrete-time event-based models
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Towards software architecture-based regression testing
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
On the usability of process algebra: an architectural view
Theoretical Computer Science - Process algebra
On the complexity of buffer allocation in message passing systems
Journal of Parallel and Distributed Computing
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
Leveraging Eclipse for integrated model-based engineering of web service compositions
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Telecommunications Systems - Modeling, analysis, design and management
Managing space for finite-state verification
Proceedings of the 28th international conference on Software engineering
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
Towards specification, modelling and analysis of fault tolerance in self managed systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Inferring operational requirements from scenarios and goal models using inductive learning
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Scenario-driven modeling and validation of requirements models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Architectural concepts and design patterns for behavior modeling and integration
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning
Proceedings of the 2006 international symposium on Software testing and analysis
A foundation for behavioural conformance in software product line architectures
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Analyzing architectural styles with alloy
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Designing DCCP: congestion control without reliability
Proceedings of the 2006 conference on Applications, technologies, architectures, and protocols for computer communications
Proceedings of the 5th international conference on Generative programming and component engineering
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Complex medical processes as context for embedded systems
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Towards a classification of web service feature interactions
Computer Networks: The International Journal of Computer and Telecommunications Networking
The SAVE approach to component-based development of vehicular systems
Journal of Systems and Software
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
IEEE Transactions on Software Engineering
Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Evaluation of a new assesment scheme for a third-year concurrency course
ACE '07 Proceedings of the ninth Australasian conference on Computing education - Volume 66
A software architecture and framework for Web-based distributed Decision Support Systems
Decision Support Systems
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward a task model of concurrent software maintenance
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
A Game-theoretic Approach to Behavioural Visualisation
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying and verifying requirements for election processes
dg.o '08 Proceedings of the 2008 international conference on Digital government research
A language for advanced protocol analysis in automotive networks
Proceedings of the 30th international conference on Software engineering
Software engineering approach in the design and development of the industrial automation systems
Proceedings of the 2008 international workshop on Software Engineering in east and south europe
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning
Formal Methods in System Design
Teaching students to develop thread-safe java classes
Proceedings of the 13th annual conference on Innovation and technology in computer science education
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Architecture-Based Reasoning About Performability in Component-Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Towards a Versatile Contract Model to Organize Behavioral Specifications
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Extracting Requirements from Scenarios with ILP
Inductive Logic Programming
Assume-Guarantee Verification for Interface Automata
FM '08 Proceedings of the 15th international symposium on Formal Methods
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Automated Assume-Guarantee Reasoning by Abstraction Refinement
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Plug-and-Play Architectural Design and Verification
Architecting Dependable Systems V
Modelling the CoCoME with the Java/A Component Model
The Common Component Modeling Example
The Common Component Modeling Example
Non-synchronous Communications in Process Algebraic Architectural Description Languages
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION
Applied Artificial Intelligence
Modes in component behavior specification via EBP and their application in product lines
Information and Software Technology
Constructive Alignment for Teaching Model-Based Design for Concurrency
Transactions on Petri Nets and Other Models of Concurrency I
Teaching Concurrency Concepts to Freshmen
Transactions on Petri Nets and Other Models of Concurrency I
Supporting user-oriented analysis for multi-view domain-specific visual languages
Information and Software Technology
LTS semantics for use case models
Proceedings of the 2009 ACM symposium on Applied Computing
Interface Generation and Compositional Verification in JavaPathfinder
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
On specifying systems that connect to the physical world
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
A Case Study in Goal-Driven Architectural Adaptation
Software Engineering for Self-Adaptive Systems
An effective framework for assume-guarantee verification of evolving component-based software
Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops
A Minimized Assumption Generation Method for Component-Based Software Verification
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Empirical Software Engineering
A Methodology and Framework for Creating Domain-Specific Development Infrastructures
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
MTSA: The Modal Transition System Analyser
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
On the Observable Behaviour of Composite Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Patterns for behavior modeling and integration
Computers in Industry
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Early Verification of Computer Systems Temporal Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Transforming use case models to class models and OCL-specifications
International Journal of Computers and Applications
Architectural concepts and Design Patterns for behavior modeling and integration
Mathematics and Computers in Simulation
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Refining interface alphabets for compositional verification
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Learning assumptions for compositional verification
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
LTSA-MSC: tool support for behaviour model elaboration using implied scenarios
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
Increasing system dependability through architecture-based self-repair
Architecting dependable systems
Translating FSP into LOTOS and networks of automata
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions
Information Visualization
Software of the future is the future of software?
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Composite contract enforcement in hierarchical component systems
SC'07 Proceedings of the 6th international conference on Software composition
Deriving non-zeno behavior models from goal models using ILP
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Clint: a composition language interpreter (tool paper)
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Analyzing architectural styles
Journal of Systems and Software
The method for verifying software architecture with FSP model
ICACT'10 Proceedings of the 12th international conference on Advanced communication technology
Reasoning about software architecture-based regression testing through a case study
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Role activity diagrams as finite state processes
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Developing model checkers using PAT
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Automatic generation of model checking scripts based on environment modeling
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Monitoring and recovery of web service applications
The smart internet
Monitoring and recovery of web service applications
The smart internet
Property specifications for workflow modelling
Science of Computer Programming
CSSL: a logic for specifying conditional scenarios
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Model extraction using context information
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Process programming to support medical safety: a case study on blood transfusion
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
The BRITNeY suite animation tool
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Software and Systems Modeling (SoSyM)
Property-driven development of a coordination model for distributed simulations
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Using process algebra to validate behavioral aspects of object-oriented models
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Preserving architectural properties in multithreaded code generation
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Reliability prediction in model-driven development
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Learning-based assume-guarantee verification (tool paper)
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Analysis of compositional conflicts in component-based systems
SC'05 Proceedings of the 4th international conference on Software Composition
A java implementation of a component model with explicit symbolic protocols
SC'05 Proceedings of the 4th international conference on Software Composition
Properties of behavioural model merging
FM'06 Proceedings of the 14th international conference on Formal Methods
Enforcing different contracts in hierarchical component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
Architectural building blocks for plug-and-play system design
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Synthesizing concurrency control components from process algebraic specifications
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A pedagogical view on software modeling and graph-structured diagrams
ICSE'05 Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age
Automatic translation from combined B and CSP specification to java programs
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Model-Based design of concurrent programs
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Model-Based prototyping of an interoperability protocol for mobile ad-hoc networks
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Exceptions in component interaction protocols – necessity
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
A new approach in model-based testing: designing test models in TTCN-3
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Generating obstacle conditions for requirements completeness
Proceedings of the 34th International Conference on Software Engineering
Application of Deadlock Risk Evaluation of Architectural Models
Software—Practice & Experience
Integrating model checking and inductive logic programming
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Model checking inconsistency recovery costs
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Specifying and verifying declarative fluent temporal logic properties of workflows
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Towards cost-aware service recovery
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Empirical Software Engineering
Deployment optimization of software objects by design-level delay estimation
The Journal of Supercomputing
| Hi-index | 0.00 |