Towards Development of Secure Systems Using UMLsec
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Specification-Based Test Generation for Security-Critical Systems Using Mutations
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
From Requirements to Validated Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Modeling Faults of Distributed, Reactive Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Formal semantics for interacting UML subsystems
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
A compositional formalism for object viewpoints
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
ACM SIGSOFT Software Engineering Notes
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Loose synchronization of event-triggered networks for distribution of synchronous programs
Proceedings of the 4th ACM international conference on Embedded software
ACM SIGSOFT Software Engineering Notes
Formally refining software architectures with π-ARL: a case study
ACM SIGSOFT Software Engineering Notes
Sound development of secure service-based systems
Proceedings of the 2nd international conference on Service oriented computing
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Formally modelling software architectures with the UML 2.0 profile for π-ADL
ACM SIGSOFT Software Engineering Notes
Refactoring digital hardware designs with assertion libraries
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
ACM SIGSOFT Software Engineering Notes
Theory of infinite streams and objects
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Refining UML interactions with underspecification and nondeterminism
Nordic Journal of Computing
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
Challenges in automotive software engineering
Proceedings of the 28th international conference on Software engineering
Modular hierarchies of models for embedded systems
Formal methods and models for system design
Mastering the complexity of reactive systems: the AutoFocus approach
Formal methods for embedded distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Service Specification by Composition of Collaborations--An Example
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Theoretical Computer Science
An automated approach to specification animation for validation
Journal of Systems and Software
DisCComp -- A Formal Model for Distributed C oncurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Model checking for input/output properties of a black-box model
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Aspect-oriented modeling approach to define routing in enterprise service bus architectures
Proceedings of the 2008 international workshop on Models in software engineering
Towards an integrated system model for testing and verification of automation machines
Proceedings of the 2008 international workshop on Models in software engineering
Model-driven refinement of software architectures with π-ARL
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Framework for Interactive Agents
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement-Based Verification of Interactive Real-Time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Transformational design of an interactive component straddling communication streams
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
Service-Oriented Modeling of CoCoME with Focus and AutoFocus
The Common Component Modeling Example
Modelling the CoCoME with DisCComp
The Common Component Modeling Example
Model-Based Quality Assurance of Automotive Software
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Towards reasoning about teleo-reactive programs for robust real-time systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Implementing Services by Partial State Machines
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Formalizing the notion of adaptive system behavior
Proceedings of the 2009 ACM symposium on Applied Computing
Formal specification of system functions
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Specifying the worst case: orthogonal modeling of hardware errors
Proceedings of the eighteenth international symposium on Software testing and analysis
Formal specification of bounded buffer using stream functions
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Seamless Model Driven Systems Engineering Based on Formal Models
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
A Coalgebraic Semantic Framework for Component-based Development in UML
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-driven development for early aspects
Information and Software Technology
Integrated behavior models for factory automation systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Deriving state-based implementations of interactive components with history abstractions
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Capturing overlapping, triggered, and preemptive collaborations using MSCs
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A model of component-based programming
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Maintaining information flow security under refinement and transformation
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
From "formal methods" to system modeling
Formal methods and hybrid real-time systems
Deriving specifications for systems that are connected to the physical world
Formal methods and hybrid real-time systems
Services as a paradigm of computation
Formal methods and hybrid real-time systems
Multifunctional software systems: Structured modeling and specification of functional requirements
Science of Computer Programming
Model-based specification of timing requirements
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Models of reactive systems: communication, concurrency, and causality
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
Hazard-based selection of test cases
Proceedings of the 6th International Workshop on Automation of Software Test
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
A unifying model for software quality
Proceedings of the 8th international workshop on Software quality
Requirements engineering as a key to holistic software quality
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
A software component model and its preliminary formalisation
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Model-based security engineering with UML: introducing security aspects
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Specification and refinement of soft real-time requirements using sequence diagrams
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Fundamental concepts for the structuring of functionality into modular parts
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Synthesis of reo circuits for implementation of component-connector automata specifications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Why timed sequence diagrams require three-event semantics
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Component synthesis from service specifications
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Computing refactorings of behavior models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Defining “predictable assembly”
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Transforming stream processing functions into state transition machines
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
A core theory of interfaces and architecture and its impact on object orientation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
An engineering approach to adaptation and calibration
MRC'05 Proceedings of the Second international conference on Modeling and Retrieval of Context
An active architecture approach to dynamic systems co-evolution
ECSA'07 Proceedings of the First European conference on Software Architecture
Compositional reasoning about shared futures
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
A relational trace logic for simple hierarchical actor-based component systems
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Formal semantics of modular time refinement in AutoFocus
Computer Science - Research and Development
Proceedings of the 2012 Extreme Modeling Workshop
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |