Search results for "formal modelling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Elthon A. S. Oliveira, Hyggo Oliveira de Almeida, Leandro Dias da Silva	Formal modelling and verification of a component model using coloured petri nets and model checking.	SAC	2007	DBLP DOI BibTeX RDF
2	Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe	OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems.	ESAW	2007	DBLP DOI BibTeX RDF
2	Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi	Experimenting with diversity in the model driven development of a railway signaling system.	EFTS	2007	DBLP DOI BibTeX RDF	formal modelling, automatic code generation
2	Petros Kefalas, Ioanna Stamatopoulou, Marian Gheorghe	A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour.	CEEMAS	2005	DBLP DOI BibTeX RDF
2	Alastair F. Donaldson, Alice Miller	Automatic Symmetry Detection for Model Checking Using Computational Group Theory.	FM	2005	DBLP DOI BibTeX RDF	Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction
2	Peter Henderson, Robert John Walters, Stephen Crouch	Implementing Hierarchical Features in a Graphically Based Formal Modelling Language.	COMPSAC	2004	DBLP DOI BibTeX RDF
2	Robert John Walters	Automating Checking of Models Built Using a Graphically Based Formal Modelling Language.	COMPSAC	2003	DBLP DOI BibTeX RDF
2	Jessica Chen	Formal Modelling of Java GUI Event Handling.	ICFEM	2002	DBLP DOI BibTeX RDF	Java Swing and AWT, Model Checking, Concurrency, Nondeterminism, Labelled Transition Systems
2	Mieke Massink, Giorgio P. Faconti	A reference framework for continuous interaction.	Universal Access in the Information Society	2002	DBLP DOI BibTeX RDF	Formal modelling and verification, Reference model, Continuous interaction
2	Muffy Calder, Alice Miller	Using SPIN for Feature Interaction Analysis - A Case Study.	SPIN	2001	DBLP DOI BibTeX RDF	Promela/SPIN, analysis and reasoning techniques, distributed systems, formal modelling, feature interaction, communicating processes, telecommunications services
2	Chris Matthews, Paul A. Swatman	Fuzzy concepts and formal methods: some illustrative examples.	APSEC	2000	DBLP DOI BibTeX RDF	fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language
2	G. Michael McGrath	A Process Modelling Framework: Capturing Key Aspects of Organizational Behavior.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	software process modelling framework, organisational behaviour capture, organisation management, social science literature, formal modelling approaches, evaluation environments, persistent process models, software engineering process modelling framework, behavioural aspects, highly abstracted conceptual model, systems dynamics modelling tool, human factors, Prolog, rapid prototyping, systems analysis, modelling formalisms, user views
2	E. J. Younger, Z. Luo, Keith H. Bennett, T. M. Bull	Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF	transformation based approach, core kernel language, formal program transformations, type proof tools, parallel programming, reverse engineering, software maintenance, concurrent programs, formal modelling, safety critical systems, type theory, formal analysis, type checking, WSL, sequential systems
2	David W. Bustard, P. J. Lundy	Enhancing soft systems analysis with formal modelling. (PDF / PS)	RE	1995	DBLP DOI BibTeX RDF	soft systems analysis, initial requirements definition, informal SSM models, computing oriented analysis techniques, book ordering data processing, software requirements engineering method, formal specification, formal specification, software tools, software tools, specification languages, systems analysis, formal modelling, LOTOS, formal techniques, formal descriptions, Soft Systems Methodology, RACE
1	Peter R. Croll	Determining the privacy policy deficiencies of health ICT applications through semi-formal modelling.	I. J. Medical Informatics	2011	DBLP DOI BibTeX RDF
1	Viara Popova, Alexei Sharpanskykh	Formal modelling of organisational goals based on performance indicators.	Data Knowl. Eng.	2011	DBLP DOI BibTeX RDF
1	Antónia Lopes	Formal Modelling of Service-Oriented Systems.	MEDI	2011	DBLP DOI BibTeX RDF
1	Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev	Formal modelling and transformations of processor instruction sets.	MEMOCODE	2011	DBLP DOI BibTeX RDF
1	Achim Ebert, Matthias Deller, Sebastian Thelen, Inga Scheler	iGreen: non-formal modelling in practice.	ECCE	2011	DBLP DOI BibTeX RDF
1	Gerrit C. van der Veer, Achim Ebert, Inga Scheler	Non-formal modelling for interaction design.	ECCE	2011	DBLP DOI BibTeX RDF
1	Sami Taktak, Lars M. Kristensen	Formal Modelling and Initial Validation of the Chelonia Distributed Storage System.	GPC	2011	DBLP DOI BibTeX RDF
1	Bogdan Groza, Marius Minea	Formal modelling and automatic detection of resource exhaustion attacks.	ASIACCS	2011	DBLP DOI BibTeX RDF
1	Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen	A Modeling Framework for Gossip-based Information Spread.	QEST	2011	DBLP DOI BibTeX RDF	dependable gossiping, performance evaluation, formal modelling, large-scale networks, gossip protocols, experimental validation
1	Lotfi Bejaoui, Francois Pinet, Michel Schneider, Yvan Bédard	OCL for formal modelling of topological constraints involving regions with broad boundaries.	GeoInformatica	2010	DBLP DOI BibTeX RDF
1	Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen	Formal Modelling and Analysis of Predictable Java.	ERCIM News	2010	DBLP BibTeX RDF
1	Andrius Velykis, Leo Freitas	Formal Modelling of Separation Kernel Components.	ICTAC	2010	DBLP DOI BibTeX RDF
1	Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane	Applying formal modelling to detect DoS attacks in wireless medium.	CSNDSP	2010	DBLP BibTeX RDF
1	Abdelaziz El Fatni, Guy Juanole, Thierry Val	Formal modelling and verification of the common hopping multi-channel MAC protocols.	MSWiM	2010	DBLP DOI BibTeX RDF
1	Finn Haedicke, Bijan Alizadeh, Görschwin Fey, Masahiro Fujita, Rolf Drechsler	Polynomial datapath optimization using constraint solving and formal modelling.	ICCAD	2010	DBLP DOI BibTeX RDF
1	Annika Hinze, Judy Bowen, Yuting Wang, Robi Malik	Model-driven GUI & interaction design using emulation.	EICS	2010	DBLP DOI BibTeX RDF	mobile, interaction design, formal modelling, gui
1	Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin	Model checking lots of systems: efficient verification of temporal properties in software product lines.	ICSE	2010	DBLP DOI BibTeX RDF	specification, software product lines, features
1	Tina Wieczorek	On foundational frames for formal modelling: sets, ε-sets and a model of conception.		2009	RDF
1	Ali Nasrat Haidar, Ali E. Abdallah	Formal Modelling of PKI Based Authentication.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Ali Nasrat Haidar, Peter V. Coveney, Ali E. Abdallah, Peter Y. A. Ryan, Bruce Beckles, J. M. Brooke, M. A. S. Jones	Formal Modelling of a Usable Identity Management Solution for Virtual Organisations	FAVO	2009	DBLP DOI BibTeX RDF
1	Arnaud Hubaux, Andreas Classen, Patrick Heymans	Formal modelling of feature configuration workflows.	SPLC	2009	DBLP DOI BibTeX RDF
1	Rozilawati Razali, Paul Garratt	A Usability Profile for Graphical Formal Modelling Methods.	SoMeT	2009	DBLP DOI BibTeX RDF
1	Valério Medeiros Júnior, David Déharbe	Formal Modelling of a Microcontroller Instruction Set in B.	SBMF	2009	DBLP DOI BibTeX RDF
1	Vincent Chapurlat, Matthieu Roque	Interoperability Constraints and Requirements Formal Modelling and Checking Framework.	APMS	2009	DBLP DOI BibTeX RDF
1	Jeremy Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth	Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Olivier Bertrand, Patrice Carle, Christine Choppy	Modelling chronicle recognition for distributed simulation processing with coloured Petri nets.	SimuTools	2009	DBLP DOI BibTeX RDF	airport simulation, chronicle recognition formal modelling, distributed simulation processing, HLA, coloured petri nets
1	Christine Choppy, Olivier Bertrand, Patrice Carle	Coloured Petri Nets for Chronicle Recognition.	Ada-Europe	2009	DBLP DOI BibTeX RDF	chronicle recognition formal modelling, distributed simulation processing, coloured Petri nets
1	Artur Oliveira Gomes, Marcel Vinicius Medeiros Oliveira	Formal Specification of a Cardiac Pacing System.	FM	2009	DBLP DOI BibTeX RDF	formal modelling, Z, industrial applications, pacemaker
1	Oliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek	Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.	SPIN	2009	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Distributed systems, Concurrency, Formal Modelling
1	Dominique Cansell, Dominique Méry, Cyril Proch	System-on-chip design by proof-based refinement.	STTT	2009	DBLP DOI BibTeX RDF	Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof
1	Francisco José Romero-Campero, Natalio Krasnogor	An Approach to the Engineering of Cellular Models Based on P Systems.	CiE	2009	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, Gethin Norman, David Parker	Stochastic Games for Verification of Probabilistic Timed Automata.	FORMATS	2009	DBLP DOI BibTeX RDF
1	João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi	A Model-Checking Approach for Service Component Architectures.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Renato Silva, Michael Butler	Supporting Reuse of Event-B Developments through Generic Instantiation.	ICFEM	2009	DBLP DOI BibTeX RDF	generic instantiation, formal methods, reusability, event-B
1	Haiping Xu, Mihir M. Ayachit, Abhinay Reddyreddy	Formal modelling and analysis of XML firewall for service-oriented systems.	IJSN	2008	DBLP DOI BibTeX RDF
1	Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford	Formal Modelling of Salience and Cognitive Load.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Kechar Bouabdellah, Larbi Sekhri	Formal Modelling and Validation of a Novel Energy Efficient Cross-Layer MAC Protocol in Wireless Multi Hop Sensor Networks Using Time Petri Nets.	NTMS	2008	DBLP DOI BibTeX RDF
1	Piotr Matyasik, Marcin Szpyrka	Formal Modelling and Verification of Concurrent Systems with XCCS.	ISPDC	2008	DBLP DOI BibTeX RDF
1	Ying Liang, Huiqiang Wang, Yonggang Pang	A Kind of Formal Modelling for Network Security Situational Awareness Based on HMM.	WAIM	2008	DBLP DOI BibTeX RDF
1	John P. McDermott, Leo Freitas	A formal security policy for xenon.	FMSE	2008	DBLP DOI BibTeX RDF	refinement, open-source, z, csp, hypervisor, information-flow security, circus
1	Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti	Formal verification of an automotive scenario in service-oriented computing.	ICSE	2008	DBLP DOI BibTeX RDF	model checking, service-oriented computing, automotive systems
1	J. Paul Gibson, Eric Lallet, Jean-Luc Raffy	Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements.	ICSEA	2008	DBLP DOI BibTeX RDF
1	Christopher Power, Alice Miller	Prism2Promela.	QEST	2008	DBLP DOI BibTeX RDF
1	Stefan Hallerstede	On the Purpose of Event-B Proof Obligations.	ABZ	2008	DBLP DOI BibTeX RDF
1	Colin F. Snook, Michael J. Butler	UML-B: A Plug-in for the Event-B Tool Set.	ABZ	2008	DBLP DOI BibTeX RDF
1	Stefan Hallerstede	Incremental System Modelling in Event-B.	FMCO	2008	DBLP DOI BibTeX RDF
1	Oksana Tymchyshyn, Marta Z. Kwiatkowska	Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis.	FMSB	2008	DBLP DOI BibTeX RDF
1	Federica Ciocchetta, Jane Hillston	Process Algebras in Systems Biology.	SFM	2008	DBLP DOI BibTeX RDF
1	Leon Horsten, Igor Douven	Formal Methods in the Philosophy of Science.	Studia Logica	2008	DBLP DOI BibTeX RDF	applied logic, formal method, formalization
1	Lars Michael Kristensen, Kurt Jensen	Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF
1	Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi	Formal Modelling and Verification in Service-Oriented Computing.	ERCIM News	2007	DBLP BibTeX RDF
1	David Pereira, Eugénio C. Oliveira, Nelma Moreira	Formal Modelling of Emotions in BDI Agents.	CLIMA	2007	DBLP DOI BibTeX RDF
1	Paola Escudero, Jelle Kastelein, Klara A. Weiand, R. J. J. H. van Son	Formal modelling of L1 and L2 perceptual learning: computational linguistics versus machine learning.	INTERSPEECH	2007	DBLP BibTeX RDF
1	Christian Groß, Holger Hermanns, Reza Pulungan	Does Clock Precision Influence ZigBee's Energy Consumptions?.	OPODIS	2007	DBLP DOI BibTeX RDF	Sensor networks, formal modelling, clock drift, distributed coordination, power-aware design
1	João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell	Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller.	APSEC	2007	DBLP DOI BibTeX RDF
1	Dubravka Ilic	Deriving Formal Specifications from Informal Requirements.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Mani Swaminathan, Martin Fränzle	A Symbolic Decision Procedure for Robust Safety of Timed Systems.	TIME	2007	DBLP DOI BibTeX RDF
1	Arjen Hommersom, Peter J. F. Lucas	Actions with Failures in Interval Temporal Logic.	CLIMA	2007	DBLP DOI BibTeX RDF
1	Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson	Topology-Dependent Abstractions of Broadcast Networks.	CONCUR	2007	DBLP DOI BibTeX RDF
1	Rüdiger Grammes, Reinhard Gotzhein	SDL Profiles - Formal Semantics and Tool Support.	FASE	2007	DBLP DOI BibTeX RDF
1	Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat	Designing Consistent Multimedia Documents: The RT-LOTOS Methodology.	FORMATS	2007	DBLP DOI BibTeX RDF
1	Xin Chen, Zhiming Liu, Vladimir Mencl	Separation of Concerns and Consistent Integration in Requirements Modelling.	SOFSEM	2007	DBLP DOI BibTeX RDF
1	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
1	Valeriy Vyatkin, Hans-Michael Hanisch, Sirko Karras, Thomas Pfeiffer, Victor Dubinin	Rapid engineering and re-configuration of automation objects aided by formal modelling and verification.	IJMR	2006	DBLP DOI BibTeX RDF
1	Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso	Formal Modelling and Verification of an Asynchronous Extension of SOAP.	ECOWS	2006	DBLP DOI BibTeX RDF
1	Hemangee K. Kapoor	Formal Modelling and Verification of an Asynchronous DLX Pipeline.	SEFM	2006	DBLP DOI BibTeX RDF
1	Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio	Formal Modelling of a Coordination System: From Practice to Theory, and Back Again.	ESAW	2006	DBLP DOI BibTeX RDF	Web services, formal methods, coordination, Linda
1	Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels	Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Jeremy Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky	Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Tarik Khoutaif, Guy Juanole	Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth.	ETFA	2006	DBLP DOI BibTeX RDF
1	Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford	Formal Modelling of Cognitive Interpretation.	DSV-IS	2006	DBLP DOI BibTeX RDF	model checking, human error, cognitive architecture, SAL
1	Johannes Borgström, Olga Grinchtein, Simon Kramer	Timed Calculus of Cryptographic Communication.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF	Applied process calculi, timed cryptographic protocols, model-based specification and verification, formal modelling
1	Hans Hüttel, Jirí Srba	Decidability Issues for Extended Ping-Pong Protocols.	J. Autom. Reasoning	2006	DBLP DOI BibTeX RDF	replication, cryptographic protocols, formal modelling, recursion
1	Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty	Running the manual: an approach to high-assurance microkernel development.	Haskell	2006	DBLP DOI BibTeX RDF	formalisation, verification, operating systems, rapid prototyping, Haskell, monads, executable specification, Isabelle/HOL
1	Konstantin Chekin	Theory of infinite streams and objects.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	set of admissible infinite behaviors, stateless representation, systems of objects, theory of objects and streams
1	Ian Warren, Jing Sun 0002, Sanjev Krishnamohan, Thiranjith Weerasinghe	An Automated Formal Approach to Managing Dynamic Reconfiguration.	ASE	2006	DBLP DOI BibTeX RDF
1	Natalia López, Manuel Núñez, Ismael Rodríguez	Assessing the Expressivity of Formal Specification Languages.	AMAST	2006	DBLP DOI BibTeX RDF
1	Monique H. Jansen-Vullers, Mariska Netjes, Hajo A. Reijers, M. J. Stegeman	A Redesign Framework for Call Centers.	Business Process Management	2006	DBLP DOI BibTeX RDF	Simulation, Petri nets, Call centers, Business Process Redesign
1	Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishnan	Verifying BPEL Workflows Under Authorisation Constraints.	Business Process Management	2006	DBLP DOI BibTeX RDF	model-checking, Workflow, RBAC, BPEL
1	L. Jason Steggles, Richard Banks, Anil Wipat	Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets.	CMSB	2006	DBLP DOI BibTeX RDF
1	Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini	Designing Self-organising MAS Environments: The Collective Sort Case.	E4MAS	2006	DBLP DOI BibTeX RDF
1	Nuno Amálio, Susan Stepney, Fiona Polack	A Formal Template Language Enabling Metaproof.	FM	2006	DBLP DOI BibTeX RDF	formal development, patterns, templates, Z, proof
1	Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin	An Open Extensible Tool Environment for Event-B.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Patrick van Bommel, Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide	Giving Meaning to Enterprise Architectures: Architecture Principles with ORM and ORC.	OTM Workshops	2006	DBLP DOI BibTeX RDF
1	Mark Daley, Ian McQuillan	Formal modelling of viral gene compression.	Int. J. Found. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Robert John Walters	Checking of models built using a graphically based formal modelling language.	Journal of Systems and Software	2005	DBLP DOI BibTeX RDF