Search results for "communicating systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	A. V. S. Rajan, S. Bavan, Geetha Abeysinghe	Semantics for the Specification of Asynchronous Communicating Systems (SACS).	SCSS	2007	DBLP DOI BibTeX RDF	Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation
3	Linas Laibinis, Elena Troubitsyna, Sari Leppänen	Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development
3	Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik	Formal Service-Oriented Development of Fault Tolerant Communicating Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	fault tolerance, UML, B Method, communicating systems, service-oriented development
3	Ismail Berrada, Richard Castanet, Patrick Félix	Testing Communicating Systems: a Model, a Methodology, and a Tool.	TestCom	2005	DBLP DOI BibTeX RDF
3	Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale	DCCA: a versatile paradigm for the description and development of concurrent communicating systems.	HICSS	1995	DBLP DOI BibTeX RDF	DCCA, concurrent communicating systems development, concurrent communicating systems description, Dynamic Coordinated Concurrent Activities, automated factory, multiprocessor cache coherence system, attendant toolset, model, distributed systems, software engineering, formal specification, formal specification, protocols, specification, prototyping, distributed processing, program verification, rapid prototyping, software prototyping, distributed control system
2	Xian Xu	Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	encoding, bisimulation, full abstraction, process calculus, higher order
2	Raul Monroy, Alan Bundy, Ian Green	On Process Equivalence = Equation Solving in CCS.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Unique fixpoint induction, Equational verification Calculus of communicating systems
2	Constantin Werner, Sebastian Kraatz, Dieter Hogrefe	A UML Profile for Communicating Systems.	SAM	2006	DBLP DOI BibTeX RDF
2	Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik	Formal Model-Driven Development of Communicating Systems.	ICFEM	2005	DBLP DOI BibTeX RDF
2	Sarolta Dibuz, Péter Krémer	Framework and Model for Automated Interoperability Test and Its Application to ROHC.	TestCom	2003	DBLP DOI BibTeX RDF
2	Ina Schieferdecker, Theofanis Vassiliou-Gioles	Realizing Distributed TTCN-3 Test Systems with TCI.	TestCom	2003	DBLP DOI BibTeX RDF
2	Juhani Latvakoski, H. Honka	Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems.	IWTCS	1999	DBLP BibTeX RDF
2	David Harel	Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. (PDF / PS)	RE	1997	DBLP DOI BibTeX RDF	reactive highly concurrent systems, calculus of communicating systems, formal specification, parallel programming, system design, systems engineering, communicating sequential processes, applied research
2	George R. R. Justo	A rigorous method for the constructive design of parallel and distributed programs.	HICSS	1995	DBLP DOI BibTeX RDF	constructive design, distributed systems engineers, well-structured programs, SASD, behavioural specifications, performance, formal specification, parallel programming, parallel programs, formal verification, specification, program verification, CSP, distributed programs, software performance evaluation, diagrams, diagrams, communicating systems, communicating sequential processes, sequential systems
2	Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra	Analyzing the logical structure of data flow diagrams in software documents. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram
2	Tarek Ben Ismail, Mohamed Abid, Ahmed Amine Jerraya	COSMOS: a codesign approach for communicating systems.	CODES	1994	DBLP DOI BibTeX RDF	System Design Model, Hardware/Software Codesign, Communication Synthesis
2	Manfred Broy	Functional Specification of Time-Sensitive Communicating Systems.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	functional system models, real-time systems, specification
2	Ed Brinksma, Bengt Jonsson, Fredrik Orava	Refining Interfaces of Communicating Systems.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
2	Stephan Rössig, Michael Schenke	Specification and Stepwise Development of Communicating Systems.	VDM Europe	1991	DBLP DOI BibTeX RDF
2	Anne Rasse	Error Diagnosis in Finite Communicating Systems.	CAV	1991	DBLP DOI BibTeX RDF
2	Faron Moller, Chris M. N. Tofts	A Temporal Calculus of Communicating Systems.	CONCUR	1990	DBLP DOI BibTeX RDF
2	Bent Thomsen	A Calculus of Higher Order Communicating Systems.	POPL	1989	DBLP DOI BibTeX RDF	CCS
2	Manfred Broy	Functional Specification of Time Sensitive Communicating Systems.	REX Workshop	1989	DBLP DOI BibTeX RDF
1	Jetty Kleijn, Maciej Koutny	Step coverability algorithms for communicating systems.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Samik Basu, Tevfik Bultan, Meriem Ouederni	Synchronizability for Verification of Asynchronously Communicating Systems.	VMCAI	2012	DBLP DOI BibTeX RDF
1	Ryoko Uno, Davide Marocco, Stefano Nolfi, Takashi Ikegami	Emergence of Protosentences in Artificial Communicating Systems.	IEEE T. Autonomous Mental Development	2011	DBLP DOI BibTeX RDF
1	Linas Laibinis, Elena Troubitsyna, Sari Leppänen	Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach.	IJERTCS	2010	DBLP DOI BibTeX RDF
1	Levente Erös, Tibor Csöndes	An automatic performance testing method based on a formal model for communicating systems.	IWQoS	2010	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf	Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed!	Software Composition	2010	DBLP DOI BibTeX RDF
1	Kevin Atighehchi, Traian Muntean, Sylvain Parlanti, Robert Rolland, Laurent Vallet	A Cryptographic Keys Transfer Protocol for Secure Communicating Systems.	SYNASC	2010	DBLP DOI BibTeX RDF
1	Martin Korsgaard, Sverre Hendseth	Design Patterns for Communicating Systems with Deadline Propagation.	CPA	2009	DBLP DOI BibTeX RDF
1	Antoine Rollet, Sébastien Salva	Testing robustness of communicating systems using ioco-based approach.	ISCC	2009	DBLP DOI BibTeX RDF
1	Li Zhao, Qing Li, Xiaoli Liu, Nanshan Du	A modeling method based on CCS for workflow.	ICUIMC	2009	DBLP DOI BibTeX RDF	model, workflow, graphical, CCS
1	Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu	Modeling Cost-Aware Web Services Composition Using PTCCS.	ICWS	2009	DBLP DOI BibTeX RDF
1	Ismael Bouassida Rodriguez, Khalil Drira, Christophe Chassot, Mohamed Jmaiel	A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
1	Thomas Hornung, Wolfgang May, Georg Lausen	Process Algebra-Based Query Workflows.	CAiSE	2009	DBLP DOI BibTeX RDF
1	Liliana D'Errico, Michele Loreti	Assume-Guarantee Verification of Concurrent Systems.	COORDINATION	2009	DBLP DOI BibTeX RDF
1	Benjamin Zeiss, Jens Grabowski	Analyzing Response Inconsistencies in Test Suites.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
1	Roberto Bruni	Calculi for Service-Oriented Computing.	SFM	2009	DBLP DOI BibTeX RDF
1	Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki	A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems.	ICEIS (3-1)	2008	DBLP BibTeX RDF
1	Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.)	Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings	TestCom/FATES	2008	DBLP BibTeX RDF
1	Farn Wang, Geng-Dian Huang	Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	George Din, Ina Schieferdecker, Razvan Petre	Performance Test Design Process and Its Implementation Patterns for Multi-services Systems.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Roland Groz, Keqin Li 0002, Alexandre Petrenko, Muzammil Shahbaz	Modular System Verification by Inference, Testing and Reachability Analysis.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Guoqiang Shu, Dongluo Chen, Zhijun Liu, Na Li, Lifeng Sang, David Lee	VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Virtualization, Network Modeling, Test Automation, Network Emulation, Security Testing
1	Paul Baker	Models and Testing - A Recipe for Improved Effectiveness?.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Jürgen Großmann, Ina Schieferdecker, Hans-Werner Wiesbrock	Modeling Property Based Stream Templates with TTCN-3.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Lukas Brügger, Burkhart Wolff	Model-Based Firewall Conformance Testing.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Model-based Testing, Firewall, Conformance Testing, Security Testing
1	Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez	Implementation Relations for the Distributed Test Architecture.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Adenilso da Silva Simão, Alexandre Petrenko	Generating Checking Sequences for Partial Reduced Finite State Machines.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil	Test Purpose Concretization through Symbolic Action Refinement.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose
1	Thao Dang, Tarik Nahhal	Using Disparity to Enhance Test Generation for Hybrid Systems.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan	Testing Systems Specified as Partial Order Input/Output Automata.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Testing distributed systems, conformance relations, partial order automata, HMSC, partial order, finite state automata
1	Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, Tuula Pääkkönen	Model-Based Testing Service on the Web.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Klaus Havelund	Runtime Verification of C Programs.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Victor V. Kuliamin	Test Construction for Mathematical Functions.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez	THOTL: A Timed Extension of HOTL.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini	Model-Based Generation of Testbeds for Web Services.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Diana Alina Serbanescu, Victoria Molovata, George Din, Ina Schieferdecker, Ilja Radusch	Real-Time Testing with TTCN-3.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Yutaka Yasuda	All-IP Based Ultra 3G Network/Service Development in a Competitive Market.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	FMBC, Modular Development, All-IP Networks
1	Jens R. Calame, Jaco van de Pol	Applying Model-Based Testing to HTML Rendering Engines - A Case Study.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Fangxiong Xiao, Zhiqiu Huang, Jun Hu, Min Yuan, Junhua Zhang	Support Web Services Composition with Optimal Cost Using PPA.	ICWS	2008	DBLP DOI BibTeX RDF
1	Christian Eisentraut, Holger Hermanns	Teaching Concurrency Concepts to Freshmen.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF
1	Constantin Werner	UML profile for communicating systems: a new UML profile for the specification and description of internet communication and signaling protocols.		2007	RDF
1	Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.)	Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings	TestCom/FATES	2007	DBLP BibTeX RDF
1	Tobe Toben	Non-interference Properties for Data-Type Reduction of Communicating Systems.	IFM	2007	DBLP DOI BibTeX RDF
1	Luiz Kawakami, André Knabben, Douglas Rechia, Denise Bastos, Otavio Pereira, Ricardo Pereira e Silva, Luiz C. V. dos Santos	An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	Software metrics, Software reusability, Software verification
1	Hasan Ural, Zhi Xu	An EFSM-Based Passive Fault Detection Approach.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Tamás Horváth, Tibor Sulyán	A Framework for Testing AIS Implementations.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	Application Interface Specification (AIS), Conformance Testing, Functional Testing, Service Availability
1	Sebastian Schmerl, Hartmut König	Towards Systematic Signature Testing.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh	A Bounded Incremental Test Generation Algorithm for Finite State Machines.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	finite state machine, conformance testing, incremental algorithms, test generation algorithms
1	Sergey V. Zelenov, Sophia A. Zelenova	Model-Based Testing of Optimizing Compilers.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	compiler testing, formalization of requirements, formal data model, model based testing, test data generation
1	Przemyslaw Plesowicz, Mieczyslaw Metzger	Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	TCP/IP communication testing, Ethernet TCP/IP, network-based feedback control, networks
1	Stephan Schulz, Anthony Wiles, Steve Randall	TPLan-A Notation for Expressing Test Purposes.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	David Cebrián, Valentín Valero Ruiz, Fernando Cuartero	Automation of Avionic Systems Testing.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	grammar testing, Real time systems, Testing, Avionics systems
1	Cyril Grepet, Stéphane Maag	Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho	New Approach for EFSM-Based Passive Testing of Web Services.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	EFSM-based passive testing, Web Services testing
1	Stefan Haar, Claude Jard, Guy-Vincent Jourdan	Testing Input/Output Partial Order Automata.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Muzammil Shahbaz, Keqin Li 0002, Roland Groz	Learning and Integration of Parameterized Components Through Testing.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Alexandra Desmoulin, César Viho	A New Method for Interoperability Test Generation.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Antti Huima	Implementing Conformiq Qtronic.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko	Testing Nondeterministic Finite State Machines with Respect to the Separability Relation.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	separability relation, testing nondeterministic FSMs
1	Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier	A Compositional Testing Framework Driven by Partial Specifications.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	László Gönczy, Reiko Heckel, Dániel Varró	Model-Based Testing of Service Infrastructure Components.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	Fault-Tolerant Services, Model Checking, Model-based testing, Graph Transformation
1	Vesa Luukkala, Ian Oliver	Model Based Testing of an Embedded Session and Transport Protocol.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Diana Vega, Ina Schieferdecker, George Din	Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson	Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	Fault distribution, Testing, Software, Fault Classification
1	Maxim Gromov, Tim A. C. Willemse	Testing and Model-Checking Techniques for Diagnosis.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Helmut Neukirchen, Martin Bisanz	Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Alain Faivre, Christophe Gaston, Pascale Le Gall	Symbolic Model Based Testing for Component Oriented Systems.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	ioco-based conformance testing, input/output symbolic transition system, symbolic execution, component based system
1	Camille Constant, Bertrand Jeannet, Thierry Jéron	Automatic Test Generation from Interprocedural Specifications.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Stephan Falke, Deepak Kapur	Dependency Pairs for Rewriting with Non-free Constructors.	CADE	2007	DBLP DOI BibTeX RDF
1	Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar	Local Testing of Message Sequence Charts Is Difficult.	FCT	2007	DBLP DOI BibTeX RDF
1	Maulik A. Dave	Review of "Secure Communicating Systems: Design, analysis, and implementation by Michael R A Huth", Cambridge University Press, 2001.	SIGACT News	2006	DBLP DOI BibTeX RDF
1	Benedikt Bollig	Formal Models of Communicating Systems - Languages, Automata, and Monadic Second-Order Logic		2006	DOI RDF
1	Christel Baier, Nathalie Bertrand, Ph. Schnoebelen	Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness.	FORTE	2006	DBLP DOI BibTeX RDF
1	Jörg Bauer 0001, Reinhard Wilhelm	Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
1	M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.)	Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings	TestCom	2006	DBLP BibTeX RDF
1	Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen	Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.	ISoLA	2006	DBLP DOI BibTeX RDF
1	M. Cihan Yalcin, Hüsnü Yenigün	Using Distinguishing and UIO Sequences Together in a Checking Sequence.	TestCom	2006	DBLP DOI BibTeX RDF